Robin Milner
Robin Milner | ||
---|---|---|
Información personal | ||
Nombre de nacimiento | Arthur John Robin Gorell Milner | |
Nacimiento | 13 de enero de 1934 Inglaterra ![]() | |
Fallecimiento | 20 de marzo de 2010 (76 años) Inglaterra ![]() | |
Causa de muerte | Infarto agudo de miocardio ![]() | |
Nacionalidad | británico | |
Educación | ||
Educado en |
| |
Información profesional | ||
Ocupación | profesor, investigador, informático | |
Empleador |
| |
Rama militar | Ejército Británico ![]() | |
Miembro de |
| |
Sitio web | Robin Milner | |
Distinciones | Premio Turing en 1991 | |
[editar datos en Wikidata] |
Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010[1]). Prominente científico británico en Informática.
Graduado en el King's College (Cambridge) en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como jefe de laboratorio de Computación de Cambridge hasta su fallecimiento.
Generalmente se mencionan tres grandes contribuciones de Milner en computación:
- Desarrolló el sistema LCF que fue una de las primeras herramientas de demostración automática de teoremas
- Desarrollo del lenguaje ML, que era el meta lenguaje para escribir estrategias y tácticas en LCF. También fue el primer lenguaje en poseer un sistema polimórfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos.
- Desarrollo de un marco teórico para el análisis de sistemas concurrentes, el cálculo de sistemas comunicantes y su sucesor, el cálculo pi.
En 1988 fue nombrado miembro de la Royal Society y en 1991 recibió el Premio Turing de la ACM.[2] Falleció el 20 de marzo de 2010 en Cambridge.[3]
Referencias
- ↑ Obituario de Robin Milner (en inglés)
- ↑ (en inglés) ACM. Listado de Premios Turing Archivado el 12 de diciembre de 2009 en Wayback Machine. (Consultado el 22 de marzo de 2010)
- ↑ Mensaje en Newsgroup informando del fallecimiento de Robin Milner
Enlaces externos
- Crítica de «Proof, Language and Interaction», un libro sobre Ciencias de la Computación dedicado a Milner que cubre muchas áreas de su trabajo.
- Entrevista con Robin Milner; Martin Berger; septiembre de 2003.
Predecesor: Fernando J. Corbató | Premio Turing 1991 | Sucesor: Butler Lampson |
Datos: Q92643