Robin Milner

Robin Milner
Nació	Arthur John Robin Gorell Milner ( 13/01/1934)13 de enero de 1934 Yealmpton, Plymouth, Inglaterra
Fallecido	20 de marzo de 2010 (2010-03-20)(76 años) Cambridge, Inglaterra
Conocido por	Teoría de la informática LCF ML Cálculo de sistemas de comunicación π -cálculo Inferencia de tipo Hindley-Milner
Premios	Premio Turing (1991) FRS DFBCS FRSE Asociado extranjero, NAE
Carrera científica
Los campos	Ciencias de la Computación
Instituciones	Ferranti Universidad de la ciudad, Londres Universidad de Swansea Universidad Stanford Universidad de Edimburgo Universidad de Cambridge Universidad de Aarhus
Asesor de doctorado	Ninguno, ya que Milner nunca hizo un doctorado
Estudiantes de doctorado	Mads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993)

Arthur John Robin Gorell Milner FRS (13 de enero de 1934 - 20 de marzo de 2010), conocido como Robin Milner o AJRG Milner, fue un informático británico y ganador del premio Turing.

• 1 Vida, educación y carrera
• 2 Contribuciones
• 3 Honores y premios
• 4 Publicaciones seleccionadas
• 5 referencias
• 6 Lecturas adicionales
• 7 Enlaces externos

Vida, educación y carrera

Milner nació en Yealmpton, cerca de Plymouth, Inglaterra en una familia de militares. Obtuvo una Beca del Rey para el Eton College en 1947 y fue galardonado con el Premio Tomline (el premio más alto en Matemáticas en Eton) en 1952. Posteriormente, sirvió en los Ingenieros Reales, alcanzando el rango de Segundo Teniente. Luego se matriculó en King's College, Cambridge, donde se graduó en 1957. Milner primero trabajó como maestro de escuela, luego como programador en Ferranti, antes de ingresar a la academia en City University, Londres, luego en Swansea University, Stanford University y, a partir de 1973, en la Universidad de Edimburgo., donde fue cofundador del Laboratorio de Fundamentos de la Ciencia de la Computación (LFCS). Regresó a Cambridge como director del Laboratorio de Computación en 1995, del que finalmente renunció, aunque todavía estaba en el laboratorio. Desde 2009, Milner fue becario de investigación avanzada de la Scottish Informatics amp; Computer Science Alliance y ocupó (a tiempo parcial) la cátedra de informática en la Universidad de Edimburgo.

Milner murió de un ataque al corazón el 20 de marzo de 2010 en Cambridge. Su esposa, Lucy, murió poco antes que él.

Contribuciones

En general, se considera que Milner ha realizado tres contribuciones importantes a la informática. Desarrolló Logic for Computable Functions (LCF), una de las primeras herramientas para la demostración automatizada de teoremas. El lenguaje que desarrolló para LCF, ML, fue el primer lenguaje con inferencia de tipos polimórficos y manejo de excepciones con seguridad de tipos. En un área muy diferente, Milner también desarrolló un marco teórico para analizar sistemas concurrentes, el cálculo de sistemas de comunicación (CCS), y su sucesor, el cálculo π.

En el momento de su muerte, estaba trabajando en bigraphs, un formalismo para la computación ubicua que subsume CCS y el cálculo π. También se le atribuye el redescubrimiento del sistema de tipos Hindley-Milner.

Honores y premios

Fue nombrado miembro de la Royal Society y miembro distinguido de la British Computer Society en 1988. Milner recibió el premio ACM Turing en 1991. En 1994 fue admitido como miembro de la ACM. En 2004, la Royal Society de Edimburgo otorgó a Milner una Medalla Real por "lograr beneficios públicos a escala mundial". En 2008, fue elegido Asociado Extranjero de la Academia Nacional de Ingeniería por "contribuciones fundamentales a la informática, incluido el desarrollo de LCF, ML, CCS y el cálculo π ". [1]

El premio Milner de la Royal Society lleva su nombre.

Publicaciones Seleccionadas

• Un cálculo de sistemas de comunicación, Robin Milner. Springer-Verlag ( LNCS 92), 1980. ISBN   3-540-10235-3
• Comunicación y concurrencia, Robin Milner. Prentice Hall International Series in Computer Science, 1989. ISBN   0-13-115007-3
• La definición de ML estándar, Robin Milner, Mads Tofte, Robert Harper, MIT Press 1990
• Comentario sobre ML estándar, Robin Milner, Mads Tofte, MIT Press 1991. ISBN   0-262-63137-7
• La definición de ML estándar (revisada), Robin Milner, Mads Tofte, Robert Harper, David MacQueen, MIT Press 1997. ISBN   0-262-63181-4
• Sistemas móviles y de comunicación: el cálculo π, Robin Milner. Cambridge University Press, 1999. ISBN   0-521-65869-1
• El espacio y el movimiento de los agentes de comunicación, Robin Milner, Cambridge University Press, 2009. ISBN   978-0-521-73833-0

Ver también: Publicaciones de Robin Milner en DBLP

Referencias

Otras lecturas

• Una entrevista con Robin Milner, enero de 2010.
• Prueba, lenguaje e interacción: ensayos en honor a Robin Milner, editado por Gordon Plotkin, Colin Stirling y Mads Tofte. The MIT Press, 2000. ISBN   0-262-16188-5.
• The Royal Society of Edinburgh: Royal Gold Medal for Outstanding Achievement (comunicado de prensa de 2004). http://www.royalsoced.org.uk/rse_press/2004/medals.htm
• Una breve biografía y discurso de Robin Milner
• Una breve biografía científica de Robin Milner (de Prueba, lenguaje e interacción: Ensayos en honor a Robin Milner)

enlaces externos

• Discurso en Bolonia, breve discurso de Milner al recibir Laurea Honoris Causa en Ciencias de la Computación de la Universidad de Bolonia, que resume algunos de sus principales trabajos, 9 de julio de 1997
• ¿Es la informática una ciencia?, conferencia en ENS, 10 de diciembre de 2007