Robin Milner, complet Arthur Arthur Robin Gorell Milner, (nascut el 13 de gener de 1934 a Yealmpton, Devon, eng.; Va morir el 20 de març de 2010 a Cambridge, Cambridgeshire), informàtic anglès i guanyador del premi Turing AM de 1991, el màxim honor a la informàtica, pel seu treball amb provadors automàtics de teorema, el llenguatge de programació per ordinador ML i una teoria general de la concurrència.
Milner va assistir a l'Eton College i va guanyar una beca per assistir a la Universitat de Cambridge el 1952, però va haver de posposar la seva tasca de carrera mentre va servir al canal de Suez amb els reials enginyers de l'exèrcit britànic durant els dos anys següents. Milner va entrar a Cambridge el 1954 i es va graduar amb una llicenciatura en matemàtiques el 1957. Va ser exposat per primera vegada a la informàtica a l'estiu de 1956 amb un curs curt en programació en què va utilitzar l'ordinador EDSAC de l'escola. Després d'això, Milner es va traslladar a Londres, on va desenvolupar diversos llocs de treball, incloent un post-ensenyament de matemàtiques a la Marylebone Grammar School (1959–60), abans de convertir-se en programador informàtic i desenvolupar compiladors a Ferranti Ltd. (Ferranti va produir el primer ordinador comercial, Ferranti Mark I, el 1951.)
El 1963 Milner va deixar Ferranti per ocupar un lloc acadèmic a la City University London, on va ensenyar matemàtiques als estudiants d’enginyeria i va començar a investigar en intel·ligència artificial (AI) i la seva aplicació a bases de dades. El 1968 Milner va acceptar una posició d’investigació a la Universitat de Gal·les, Swansea, on va treballar en la verificació de programes, la prova automàtica del teorema i la semàntica. El 1971 Milner va anar als Estats Units per treballar amb John McCarthy al laboratori de l'AI de la Universitat de Stanford. Milner va tornar a Gran Bretanya el 1973 per acceptar una posició a la Universitat d'Edimburg, on va ajudar a dissenyar ML ("metallanguage"), un llenguatge de programació per ordinador desenvolupat per implementar un solucionador automàtic de teoremes. El 1995 Milner va tornar a Cambridge com a responsable del laboratori d’informàtica de l’escola. Es va retirar el 2001.
Entre altres treballs, Milner va ser l’autor de A calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999), i The Space and Motion of Communicating agents (2009). Va exercir de redactor per a la teòrica informàtica, les notes de recerca en informàtica teòrica, aspectes formals de la informàtica i estructures matemàtiques en informàtica i va formar part del consell de redacció de la Proceedings of the Royal Society of Edinburgh: Secció A, Matemàtiques.
Milner va ser elegit a la Royal Society (1988), a la British Computer Society (1988), a la Royal Society of Edinburgh (1993), a l'Associació de Maquinària de la Computació (1994), a l'Acadèmia de les Ciències francesa (2005) i als Estats Units. Acadèmia d'Enginyeria (2008). A més del premi Turing, Milner va rebre un British Technical Society Award Award (1987), una Royal Society of Edinburgh Royal Medal (2004) i una European Association for Theoretical Computer Science Distinguished Achievements Award (2005).
