Robin Milner, in pieno Arthur John Robin Gorell Milner, (nato il 13 gennaio 1934, Yealmpton, Devon, Inghilterra - deceduto il 20 marzo 2010, Cambridge, Cambridgeshire), scienziato informatico inglese e vincitore dell'AM Turing Award 1991, il massimo onore nell'informatica, per il suo lavoro con dimostratori di teoremi automatici, il linguaggio di programmazione informatica ML e una teoria generale della concorrenza.
Milner frequentò l'Eton College e vinse una borsa di studio per frequentare l'Università di Cambridge nel 1952, ma dovette posticipare il lavoro di corso mentre prestava servizio sul Canale di Suez con i Royal Engineers dell'esercito britannico per i successivi due anni. Milner entrò a Cambridge nel 1954 e si laureò in matematica nel 1957. Fu esposto per la prima volta all'informatica nell'estate del 1956 con un breve corso di programmazione in cui usava il computer EDSAC della scuola. Successivamente, Milner si trasferì a Londra, dove svolse vari incarichi, tra cui un incarico di insegnante di matematica presso la Marylebone Grammar School (1959–60), prima di diventare programmatore di computer e sviluppare compilatori presso Ferranti Ltd. (Ferranti produsse il primo computer commerciale, il Ferranti Mark I, nel 1951.)
Nel 1963 Milner lasciò Ferranti per una posizione accademica alla City University di Londra, dove insegnò matematica agli studenti di ingegneria e iniziò la ricerca sull'intelligenza artificiale (AI) e la sua applicazione ai database. Nel 1968 Milner accettò una posizione di ricerca presso l'Università del Galles, Swansea, dove lavorò alla verifica del programma, alla dimostrazione automatica del teorema e alla semantica. Nel 1971 Milner andò negli Stati Uniti per lavorare con John McCarthy nel laboratorio di intelligenza artificiale presso la Stanford University. Milner tornò in Gran Bretagna nel 1973 per accettare una posizione presso l'Università di Edimburgo, dove aiutò a progettare ML ("metalinguaggio"), un linguaggio di programmazione informatica sviluppato per implementare un risolutore di teoremi automatico. Nel 1995 Milner tornò a Cambridge come capo del laboratorio informatico della scuola. Si è ritirato nel 2001.
Tra le altre opere, Milner è stato autore di A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) e The Space and Motion of Communicating Agents (2009). Ha lavorato come redattore per l'informatica teorica, le note di ricerca in informatica teorica, gli aspetti formali dell'informatica e le strutture matematiche in informatica, ed era nel comitato editoriale degli Atti della Royal Society of Edinburgh: Sezione A, Matematica.
Milner è stato eletto alla Royal Society (1988), alla British Computer Society (1988), alla Royal Society of Edinburgh (1993), alla Association of Computing Machinery (1994), alla French Academy of Sciences (2005) e alla US National Academy of Engineering (2008). Oltre al Turing Award, Milner ha ricevuto un British Technical Society Technical Award (1987), una Royal Society of Edinburgh Royal Gold Medal (2004) e una European Association for Theoretical Computer Science Distinguished Achievements Award (2005).
