Robin Milner
informático teórico del Reino Unido
Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010[1]). Prominente científico británico en Informática.
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 | ||
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 | |
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
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 |
🔥 Top keywords: Wikipedia:PortadaLiga de Campeones de la UEFAEspecial:BuscarLiga de Campeones de la UEFA 2023-24Cleopatra I de EgiptoReal Madrid Club de FútbolBayern de MúnichRevolución del 19 de abril de 1810Arsenal Football ClubAndriy LuninManchester City Football ClubPornhubJude BellinghamTabla periódica de los elementosYouTubeChatGPTCarlo AncelottiPep GuardiolaJérémy DokuAntonio RíosÁlex de MiñaurBorussia DortmundFútbol Club BarcelonaRafael NadalCleopatraFallout (serie)Antonio RüdigerCopa Mundial de Clubes de la FIFA 2025Erling HaalandGabriel García MárquezArroba (símbolo)Fallout (serie de televisión)BaloncestoRodri HernándezSegunda Guerra MundialLockheed Martin F-16 Fighting FalconCristiano RonaldoOusmane DembéléBrahim Díaz