Robin Milner

Robin Milner
Información personal
Nombre completo	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; Association for Computing Machinery; Academia Europæa (desde 1988) ;
Sitio web	Robin Milner
Distinciones	Premio Turing en 1991;
	[editar datos en Wikidata]

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

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