Robin Milner, w całości Arthur John Robin Gorell Milner, (ur. 13 stycznia 1934 r., Yealmpton, Devon, Eng. - zm. 20 marca 2010 r., Cambridge, Cambridgeshire), angielski informatyk i zdobywca nagrody Turinga w 1991 r. najwyższy zaszczyt w dziedzinie informatyki, za pracę z automatycznymi dowodami twierdzeń, językiem programowania komputerowego ML i ogólną teorią współbieżności.
Milner uczęszczał do Eton College i zdobył stypendium na University of Cambridge w 1952 r., Ale musiał przełożyć kurs, gdy służył na Kanale Sueskim z Królewskimi Inżynierami armii brytyjskiej na następne dwa lata. Milner przyjechał do Cambridge w 1954 r., A dyplom licencjata z matematyki ukończył w 1957 r. Po raz pierwszy zetknął się z komputerem latem 1956 r. Z krótkim kursem programowania, w którym korzystał ze szkolnego komputera EDSAC. Następnie Milner przeniósł się do Londynu, gdzie zajmował różne stanowiska, w tym matematykę po szkole w Marylebone Grammar School (1959–60), zanim został programistą komputerowym i opracował kompilatory w Ferranti Ltd. (Ferranti wyprodukował pierwszy komputer komercyjny, Ferranti Mark I, w 1951 r.)
W 1963 roku Milner opuścił Ferranti na stanowisko akademickie na City University London, gdzie uczył matematyki studentów inżynierii i rozpoczął badania nad sztuczną inteligencją (AI) i jej zastosowaniem w bazach danych. W 1968 r. Milner przyjął stanowisko badawcze na Uniwersytecie Walii w Swansea, gdzie pracował nad weryfikacją programu, automatycznym dowodzeniem twierdzeń i semantyką. W 1971 roku Milner wyjechał do Stanów Zjednoczonych, aby pracować z Johnem McCarthym w laboratorium AI na Uniwersytecie Stanforda. Milner powrócił do Wielkiej Brytanii w 1973 r., Aby przyjąć stanowisko na uniwersytecie w Edynburgu, gdzie pomógł zaprojektować ML („metaljęzyk”), język programowania komputerowego opracowany do implementacji automatycznego rozwiązania twierdzeń. W 1995 r. Milner powrócił do Cambridge jako kierownik szkolnego laboratorium komputerowego. Przeszedł na emeryturę w 2001 roku.
Między innymi Milner był autorem A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) oraz The Space and Motion of Communicating Agents (2009). Był redaktorem naczelnym informatyki teoretycznej, notatek badawczych z informatyki teoretycznej, formalnych aspektów obliczeń i struktur matematycznych w informatyce, a także zasiadał w redakcji Proceedings of the Royal Society of Edinburgh: Sekcja A, Matematyka.
Milner został wybrany do Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Association of Computing Machinery (1994), French Academy of Sciences (2005) i US National Academy of Engineering (2008). Oprócz nagrody Turinga, Milner otrzymał nagrodę British Computer Society Technical Award (1987), Royal Society of Edinburgh Royal Gold Medal (2004) oraz nagrodę European Association for Theoretical Computer Science Distinguished Achievements Award (2005).
