Robin Milner
informático teórico del Reino Unido / De Wikipedia, la enciclopedia encyclopedia
Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010[1]). Prominente científico británico en Informática.
Datos rápidos Información personal, Nombre de nacimiento ...
Robin Milner | ||
---|---|---|
Información personal | ||
Nombre de nacimiento | Arthur John Robin Gorell Milner | |
Nacimiento |
13 de enero de 1934 Inglaterra Inglaterra, Plymouth | |
Fallecimiento |
20 de marzo de 2010 (76 años) Inglaterra Inglaterra, Cambridge | |
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 | ||
Distinciones |
Premio Turing en 1991 | |
Cerrar
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]