stringtranslate.com

Robin Milner

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

Véase también: Publicaciones de Robin Milner en DBLP

Referencias

  1. ^ Milner, R. (1993). "Elementos de interacción: conferencia del 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). 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.
  4. ^ Robin Milner en el Proyecto de Genealogía Matemática
  5. ^ ab Obituario – Profesor Robin Milner: científico informático [ enlace muerto ] , 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 Milner en Cambridge
  10. ^ Página de perfil del autor Robin Milner en la Biblioteca Digital ACM
  11. ^ Mensaje del grupo de noticias informando sobre la muerte de Milner.
  12. ^ "Robin Milner: un científico informático pionero". The Independent . 14 de abril de 2010.
  13. ^ 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.
  14. ^ "Premio y conferencia Milner de la Royal Society | Royal Society". The Royal Society . Consultado el 12 de mayo de 2021 .
  15. ^ "Premio SIGPLAN Robin Milner para Jóvenes Investigadores". SIGPLAN . 2012.

Lectura adicional

Enlaces externos