Milner, Robin
| petirrojo milner | |
|---|---|
| Arthur John Robin Gorell Milner | |
| Fecha de nacimiento | 13 de enero de 1934 |
| Lugar de nacimiento | Plymouth , Reino Unido |
| Fecha de muerte | 20 de marzo de 2010 (76 años) |
| Un lugar de muerte | Cambridge , Reino Unido |
| País | Gran Bretaña |
| Esfera científica | Informática |
| Lugar de trabajo | Universidad de Cambridge |
| alma mater | Colegio del Rey (Cambridge) |
| Conocido como | LCF , ML , CCS , Pi-cálculo |
| Premios y premios | Premio Turing ( 1991 ) Premio Friedrich L. Bauer ( 1994 ) Premio de la Asociación Europea de Informática Teórica [d] ( 2005 ) Premio al logro de lenguajes de programación [d] ( 2001 ) doctorado honorario de la Universidad de Edimburgo [d] doctorado honorario de la Universidad de Glasgow [d] Fello ACM Miembro de la Royal Society of Edinburgh [d] miembro de la Sociedad Británica de Informática [d] doctor honorario de la Universidad de Stirling [d] |
Robin Milner ( ing. Arthur John Robin Gorell Milner ; 13 de enero de 1934 - 20 de marzo de 2010 [1] , Cambridge , Reino Unido ) - científico informático inglés.
Miembro de la Royal Society de Londres (1988) [2] , miembro extranjero de la Academia de Ciencias de Francia (2005) [3] , Academia Nacional de Ingeniería de EE . UU. (2008) [4] .
Biografía
Robin Milner nació en Plymouth en una familia de militares. A partir de 1947 estudió en el Eton College , luego (desde 1952) sirvió dos años en el ejército (en el Royal Engineers) hasta el rango de segundo teniente . Milner luego ingresó al King's College Cambridge y se graduó en 1957 . Después de graduarse de la universidad, trabajó como profesor de matemáticas de secundaria durante un año y luego como programador para Ferranti durante tres años [5] .
Milner finalmente ingresó a la universidad, trabajando primero en la Universidad de la Ciudad de Londres , luego en la Universidad de Swansea y la Universidad de Stanford , y desde 1973 en la Universidad de Edimburgo . Allí cofundó el Laboratorio de Fundamentos de Ciencias de la Computación (LFCS). En 1995, Milner regresó a Cambridge , donde se convirtió en jefe del departamento de informática. En 1999 se retiró. Casado, tiene dos hijos.
Milner desarrolló el sistema de demostración de teoremas LCF (Logic for Computable Functions) . El lenguaje de programación funcional ML fue creado para este sistema . Más tarde, Robin Milner desarrolló el cálculo de sistemas que interactúan (CCS), un marco teórico para el análisis de sistemas que interactúan , así como su extensión, pi-calculus . Milner ha recibido nueve doctorados honorarios de varias universidades.
En septiembre de 2010, Milner fue el 25º autor más citado en el proyecto CiteSeer [6] .
Premios (extracto)
- Premio Turing 1991 por LCF, ML y CCS
- 1994 - Membresía en la Asociación de Maquinaria Informática
- 2004 - Medalla Real de la Royal Society of Edinburgh
Notas
- ↑ Martin Campbell-Kelly. Obituario de Robin Milner // The Guardian . - 1 de abril de 2010.
- ↑ Miller; Arthur John Robin Gorell (1934 - 2010) // Sitio web de la Royal Society of London (inglés)
- ↑ Les membres du passé dont le nom begin par M Archivado el 26 de octubre de 2020 en Wayback Machine (FR)
- ↑ Profesor Robin Milner Archivado el 16 de enero de 2021 en Wayback Machine .
- ↑ CURRICULUM VITAE (revisado en enero de 2008) . Consultado el 10 de enero de 2009. Archivado desde el original el 10 de abril de 2009.
- ↑ Estadísticas - Autores más citados en informática Archivado el 1 de mayo de 2012 en Wayback Machine (consultado el 1 de enero de 2011)
Enlaces
- Página de Robin Milner en la Universidad de Cambridge
- ARTHUR JOHN ROBIN GORELL MILNER
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||
| Ganadores del Premio Turing | |
|---|---|
| |