Robin Milner

Arthur John Robin Gorell Milner (13 de enero de 1934 – 20 de marzo de 2010) fue un científico informático británico y ganó el Premio Turing de la ACM en 1991. ^{[ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ]}

Milner nació en Yealmpton , cerca de Plymouth , Inglaterra , en el seno de una familia militar. Obtuvo una beca King's Scholarship para el Eton College en 1947 y recibió el premio Tomline (el máximo galardón en matemáticas de Eton) en 1952. Posteriormente, sirvió en los Ingenieros Reales , alcanzando el rango de subteniente. Luego se matriculó en el King's College de Cambridge , donde se graduó en 1957. ^{[ 10 ]} Milner trabajó primero como profesor y luego como programador en Ferranti , antes de incorporarse al mundo académico en la City University de Londres , posteriormente 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 Informática en 1995, cargo que finalmente dejó, aunque siguió vinculado al laboratorio. Desde 2009, Milner fue becario de investigación avanzada de la Alianza Escocesa de Informática y Ciencias de la Computación y ocupó (a tiempo parcial) la cátedra de ciencias de la computación en la Universidad de Edimburgo .

Milner murió de un ataque al corazón el 20 de marzo de 2010 en Cambridge. ^{[ 4 ] [ 11 ]} Su esposa, Lucy, murió poco antes que él. ^{[ 12 ]}

Generalmente se considera que Milner realizó tres contribuciones importantes a la informática . Desarrolló la Lógica para Funciones Computables (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órfica , manejo de excepciones con seguridad de tipos y un sistema de tipos inferido automáticamente, utilizando el algoritmo W. Milner también desarrolló dos marcos teóricos 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 bigrafos , un formalismo para la computación ubicua que engloba CCS y el π -cálculo. ^{[ 13 ]} También se le atribuye el redescubrimiento del sistema de tipos Hindley-Milner .

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 of Edinburgh le otorgó la Medalla Real por sus contribuciones al bien público a nivel mundial. En 2008, fue elegido miembro asociado extranjero de la National Academy of Engineering por sus contribuciones fundamentales a la informática, incluyendo el desarrollo de LCF, ML, CCS y el cálculo π .

El premio Milner de la Royal Society ^{[ 14 ]} y el premio Robin Milner para jóvenes investigadores de ACM SIGPLAN ^{[ 15 ]} llevan su nombre.

• Cálculo de sistemas comunicantes , 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
• 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

• 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 Real Sociedad de Edimburgo: Medallas de Oro Reales por Logros Sobresalientes (Comunicado de prensa de 2004). http://www.royalsoced.org.uk/rse_press/2004/medals.htm
• Breve biografía y discurso de Robin Milner
• Breve biografía científica de Robin Milner (de Prueba, lenguaje e interacción: ensayos en honor a Robin Milner)

• Discurso en Bolonia , breve discurso de Milner al recibir el título honoris causa de Doctor en Informática por la Universidad de Bolonia , en el que resume algunas de sus principales obras, 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