Robin Milner

Robin Milner
Información personal
Nombre de nacimiento	Arthur John Robin Gorell Milner
Nacimiento	13 de enero de 1934; Inglaterra, Plymouth
Fallecimiento	20 de marzo de 2010 (76 años); Inglaterra, Cambridge
Causa de muerte	Infarto agudo de miocardio
Nacionalidad	británico
Educación
Educado en	Eton College; King's College ;
Información profesional
Ocupación	profesor, investigador, informático
Empleador	Universidad de la City de Londres; Universidad Stanford; Universidad de Edimburgo; Universidad de Swansea ;
Rama militar	Ejército Británico
Miembro de	Royal Society; Academia de Ciencias de Francia; Sociedad Real de Edimburgo; Academia Europæa (desde 1988); Association for Computing Machinery (desde 1994) ;
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.

Datos rápidos Información personal, Nombre de nacimiento ...

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