Robin Milner
Robin Milner | |
|---|---|
 | |
| Nacido | Arthur John Robin Gorell Milner ( 13 de enero de 1934 )13 de enero de 1934 |
| Fallecido | 20 de marzo de 2010 (20 de marzo de 2010)(76 años) |
| Conocido por | |
| Premios |
|
| Carrera científica | |
| Campos | Ciencias de la Computación |
| Instituciones | |
| 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) fue un científico 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 militar. 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 inscribió en el King's College, Cambridge , graduándose en 1957. Milner primero trabajó como maestro de escuela y luego como programador en Ferranti , antes de ingresar al mundo académico en la City University, Londres , luego en la Universidad de Swansea , la Universidad de Stanford y, desde 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 dimitió, aunque todavía estaba en el laboratorio. Desde 2009, Milner fue investigador avanzado de la Scottish Informatics & Computer Science Alliance y ocupó (a tiempo parcial) la cátedra de Ciencias de la Computación en la Universidad de Edimburgo .
Milner murió de un ataque cardíaco el 20 de marzo de 2010 en Cambridge. [5] [11] Su esposa, Lucy, murió poco antes que él. [12]
Contribuciones
En general, se considera que Milner hizo tres contribuciones importantes a la ciencia informática . Desarrolló Logic for Computable Functions (LCF), una de las primeras herramientas para la demostración automática 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 comunicantes (CCS) y su sucesor, el cálculo π .
En el momento de su muerte, estaba trabajando en bígrafos , un formalismo para la computación ubicua que incluye el CCS y el cálculo π . [13] También se le atribuye el redescubrimiento del sistema de tipos Hindley-Milner .
Honores y premios
En 1988, Milner fue nombrado miembro de la Royal Society y miembro distinguido de la British Computer Society. En 1991, Milner recibió el premio Turing de la ACM . En 1994, fue incluido como miembro de la ACM . En 2004, la Royal Society de Edimburgo le otorgó a Milner una Medalla Real por su "generación de beneficios públicos a escala global". En 2008, fue elegido miembro asociado extranjero de la Academia Nacional de Ingeniería por sus "contribuciones fundamentales a la ciencia informática, incluido el desarrollo de LCF, ML, CCS y el cálculo π ".[1]
El premio Royal Society Milner [14] y el premio ACM SIGPLAN Robin Milner Young Researcher [15] llevan 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 Standard ML , 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 de comunicación y móviles: el cálculo π , Robin Milner. Cambridge University Press , 1999. ISBN 0-521-65869-1
- El espacio y el movimiento de los agentes comunicantes , Robin Milner, Cambridge University Press , 2009. ISBN 978-0-521-73833-0
Véase también: Publicaciones de Robin Milner en DBLP
Referencias
- ^ Milner, R. (1993). "Elementos de interacción: conferencia del premio Turing". Comunicaciones de la ACM . 36 : 78–89. doi : 10.1145/151233.151240 .
- ^ Entrevista con Robin Milner por Martin Berger.
- ^ Sangiorgi, Davide (1993). Expresión de la movilidad en álgebras de proceso: paradigmas de primer orden y de orden superior (tesis doctoral). Universidad de Edimburgo . hdl :1842/6569. OCLC 29948444. EThOS uk.bl.ethos.566460.
- ^ Robin Milner en el Proyecto de Genealogía Matemática
- ^ ab Obituario – Profesor Robin Milner: científico informático [ enlace muerto ] , The Times , 31 de marzo de 2010.
- ^ Hoffmann, L. (2010). "Robin Milner: el pragmático elegante". Comunicaciones de la ACM . 53 (6): 20. doi : 10.1145/1743546.1743556 .
- ^ 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.
- ^ http://www.cl.cam.ac.uk/misc/obituaries/milner Universidad de Cambridge – Obituario
- ^ http://www.cl.cam.ac.uk/users/rm135/ Página de inicio de Milner en Cambridge
- ^ Página de perfil del autor Robin Milner en la Biblioteca Digital ACM
- ^ Mensaje del grupo de noticias informando sobre la muerte de Milner.
- ^ "Robin Milner: un científico informático pionero". The Independent . 14 de abril de 2010.
- ^ Milner, Robin. "El modelo bigráfico". Universidad de Cambridge . Consultado el 7 de noviembre de 2009.
Los bígrafos [...] 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.
- ^ "Premio y conferencia Milner de la Royal Society | Royal Society". The Royal Society . Consultado el 12 de mayo de 2021 .
- ^ "Premio SIGPLAN Robin Milner para Jóvenes Investigadores". SIGPLAN . 2012.
Lectura adicional
- 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 .
- La Royal Society de Edimburgo: Medallas de oro reales por logros sobresalientes (nota 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 Proof, Language, and Interaction: Essays in Honour of Robin Milner)
Enlaces externos
- Discurso en Bolonia, breve discurso de Milner al recibir el Laurea Honoris Causa en Ciencias de la Computación de la Universidad de Bolonia , resumiendo algunos de sus principales trabajos, 9 de julio de 1997
- ¿Es la informática una ciencia?, conferencia en la École normale supérieure (París) (ENS), 10 de diciembre de 2007
