stringtranslate.com

Robin Milner

Arthur John Robin Gorell Milner FRS (13 de enero de 1934 - 20 de marzo de 2010) 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 King para Eton College en 1947 y recibió el Premio Tomline (el premio más alto en Matemáticas en Eton) en 1952. Posteriormente, sirvió en Royal Engineers , alcanzando el rango de Segundo Teniente. Luego se matriculó en el King's College de Cambridge y se graduó en 1957. Milner trabajó primero como maestro de escuela y luego como programador en Ferranti , antes de ingresar al mundo académico en la City University de 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 Informática (LFCS). Regresó a Cambridge como director del Laboratorio de Computación en 1995, del cual finalmente renunció, aunque todavía estaba en el laboratorio. Desde 2009, Milner fue miembro de investigación avanzada 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 infarto el 20 de marzo de 2010 en Cambridge. [5] [11] Su esposa, Lucy, murió poco antes que él. [12]

Contribuciones

Generalmente se considera que Milner hizo tres contribuciones importantes a la informática . Desarrolló Lógica para funciones computables (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 comunicantes (CCS) y su sucesor, el cálculo π .

En el momento de su muerte, estaba trabajando en bigrafías , un formalismo para la computación ubicua que incluye CCS y el cálculo π . [13] También se le atribuye el redescubrimiento del sistema tipográfico 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 Real Sociedad de Edimburgo otorgó a Milner una Medalla Real por "generar beneficios públicos a escala global". 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 π ".

El premio Royal Society Milner [14] y el premio ACM SIGPLAN Robin Milner Young Researcher [15] llevan su nombre.

Publicaciones Seleccionadas

Ver 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). Expresar 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 de matemáticas
  5. ^ ab Obituario - Profesor Robin Milner: 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 Milner en Cambridge
  10. ^ Página de perfil del autor de Robin Milner en la Biblioteca digital ACM
  11. ^ Mensaje del grupo de noticias informando sobre la muerte de Milner.
  12. ^ "Robin Milner: informático pionero". El independiente . 14 de abril de 2010.
  13. ^ Milner, Robin. "El modelo bigráfico". Universidad de Cambridge . Consultado el 7 de noviembre de 2009 . Los bigrafos [...] se proponen como una máquina abstracta ubicua , desempeñando el papel fundamental para la computación ubicua que la máquina de von Neumann ha desempeñado para la computación secuencial.
  14. ^ "Conferencia y premio Milner de la Royal Society | Royal Society". La Real Sociedad . Consultado el 12 de mayo de 2021 .
  15. ^ "Premio SIGPLAN Robin Milner Joven Investigador". SIGPLAN . 2012.

Otras lecturas

enlaces externos