Científico informático británico (1934-2010)
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
- 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. Serie internacional de Prentice Hall sobre informática , 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 móviles y de comunicación: el cálculo π , Robin Milner. Prensa de la Universidad de Cambridge , 1999. ISBN 0-521-65869-1
- El espacio y el movimiento de los agentes comunicadores , Robin Milner, Cambridge University Press , 2009. ISBN 978-0-521-73833-0
Ver 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). 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.
- ^ Robin Milner en el Proyecto de genealogía de matemáticas
- ^ ab Obituario - Profesor Robin Milner: informático, 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 de Robin Milner en la Biblioteca digital ACM
- ^ Mensaje del grupo de noticias informando sobre la muerte de Milner.
- ^ "Robin Milner: informático pionero". El independiente . 14 de abril de 2010.
- ^ 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.
- ^ "Conferencia y premio Milner de la Royal Society | Royal Society". La Real Sociedad . Consultado el 12 de mayo de 2021 .
- ^ "Premio SIGPLAN Robin Milner Joven Investigador". SIGPLAN . 2012.
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 . Prensa del MIT , 2000. ISBN 0-262-16188-5 .
- La Real Sociedad de Edimburgo: Medallas de oro reales por logros excepcionales (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 la 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 la École normale supérieure (París) (ENS), 10 de diciembre de 2007