Robin Milner

Científico informático británico

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) [1] 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 [2]
Estudiantes de doctorado	Mads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993) [3] [4]

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 . ^{[5] [6] [7] [8] [9] [10]}

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 y luego como programador en Ferranti , antes de ingresar a la academia en City University, Londres , luego en Swansea University .Universidad de Stanford , y desde 1973 en la Universidad de Edimburgo , donde fue cofundador del Laboratorio de Fundamentos de Ciencias 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 & 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. ^{[5] [11]} 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 incluye CCS y el cálculo π . ^[12] 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 "generar 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. ^[13]

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

1. Milner, R. (1993). "Elementos de interacción: conferencia premio Turing" . Comunicaciones de la ACM . 36 : 78–89. doi : 10.1145 / 151233.151240 .
2. Entrevista con Robin Milner por Martin Berger .
3. Sangiorgi, Davide (1993). Expresando la movilidad en álgebras de procesos: paradigmas de primer orden y de orden superior (tesis doctoral). Universidad de Edimburgo . hdl : 1842/6569 . OCLC 29948444 . EThOS uk.bl.ethos.566460 .  
4. Robin Milner en el Proyecto de genealogía matemática
5. Obituario - Profesor Robin Milner: científico informático , The Times , 31 de marzo de 2010.
6. Hoffmann, L. (2010). "Robin Milner: el pragmático elegante" . Comunicaciones de la ACM . 53 (6): 20. doi : 10.1145 / 1743546.1743556 .
7. Milner, R. (1987). "¿Es la informática una ciencia experimental?". Revista de tecnología de la información . 2 (2): 58–66. doi : 10.1057 / jit.1987.12 . S2CID 10413382 . 
8. http://www.cl.cam.ac.uk/misc/obituaries/milner Universidad de Cambridge - Obituario
9. http://www.cl.cam.ac.uk/users/rm135/ Página de inicio de Cambridge de Milner
10. Página de perfil de autor de Robin Milner en laBiblioteca digital de ACM
11. Mensaje del grupo de noticias que informa sobre la muerte de Milner.
12. Milner, Robin. "El modelo bigraphical" . Universidad de Cambridge . Consultado el 7 de noviembre de 2009 . Los bigrafos se proponen como una máquina abstracta ubicua , que desempeña el papel fundamental para la computación ubicua que la máquina de von Neumann ha desempeñado para la computación secuencial.
13. "El premio Milner de la Royal Society y la conferencia | Royal Society" . La Royal Society . Consultado el 12 de mayo de 2021 .

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