Robin Milner, informático británico

Robin Milner, en su totalidad Arthur John Robin Gorell Milner, (nacido el 13 de enero de 1934, Yealmpton, Devon, Inglaterra), fallecido el 20 de marzo de 2010, Cambridge, Cambridgeshire), científico informático inglés y ganador del Premio AM Turing de 1991, el máximo honor en ciencias de la computación, por su trabajo con probadores de teoremas automáticos, el lenguaje de programación de computadoras ML y una teoría general de concurrencia.

Milner asistió a Eton College y ganó una beca para asistir a la Universidad de Cambridge en 1952, pero tuvo que posponer su trabajo de curso mientras servía en el Canal de Suez con los Ingenieros Reales del ejército británico durante los próximos dos años. Milner ingresó a Cambridge en 1954 y se graduó con una licenciatura en matemáticas en 1957. Fue expuesto por primera vez a la informática en el verano de 1956 con un breve curso de programación en el que utilizó la computadora EDSAC de la escuela. Después de eso, Milner se mudó a Londres, donde ocupó varios puestos de trabajo, incluido un puesto de enseñanza de matemáticas en la Marylebone Grammar School (1959–60), antes de convertirse en programador de computadoras y desarrollar compiladores en Ferranti Ltd. (Ferranti produjo la primera computadora comercial, el Ferranti Mark I, en 1951.)

En 1963, Milner dejó Ferranti para un puesto académico en la City University de Londres, donde enseñó matemáticas a estudiantes de ingeniería y comenzó a investigar en inteligencia artificial (IA) y su aplicación a bases de datos. En 1968, Milner aceptó un puesto de investigación en la Universidad de Gales, Swansea, donde trabajó en verificación de programas, prueba automática de teoremas y semántica. En 1971, Milner fue a los Estados Unidos para trabajar con John McCarthy en el laboratorio de IA de la Universidad de Stanford. Milner regresó a Gran Bretaña en 1973 para aceptar un puesto en la Universidad de Edimburgo, donde ayudó a diseñar ML ("metalenguaje"), un lenguaje de programación de computadoras desarrollado para implementar un solucionador automático de teoremas. En 1995, Milner regresó a Cambridge como jefe del laboratorio de computación de la escuela. Se retiró en 2001.

Entre otros trabajos, Milner fue autor de A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) y The Space and Motion of Communicating Agents (2009). Se desempeñó como editor de Ciencias de la Computación Teórica, Notas de Investigación en Ciencias de la Computación Teórica, Aspectos Formales de la Computación y Estructuras Matemáticas en Ciencias de la Computación, y estuvo en el consejo editorial de las Actas de la Royal Society de Edimburgo: Sección A, Matemáticas.

Milner fue elegido miembro de la Royal Society (1988), la British Computer Society (1988), la Royal Society of Edinburgh (1993), la Association of Computing Machinery (1994), la French Academy of Sciences (2005) y el US National Academia de Ingeniería (2008). Además del Premio Turing, Milner recibió un Premio Técnico de la British Computer Society (1987), una Medalla de Oro Real de la Royal Society of Edinburgh (2004) y un Premio de la Asociación Europea de Logros Distinguidos de la Informática Teórica (2005).