Robin Milner
De Wikipedia, la enciclopedia libre
Robin Milner es un prominente científico británico en Computación.
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.
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 (CCS) y su sucesor, el pi-cálculo.
En 1988 fue nombrado caballero de la Sociedad Real Británica y en 1991 recibió el Premio Turing de la ACM.
[editar] Enlaces externos y 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.
- Página personal de Milner en Cambridge homepage
- Entrevista con Robin Milner; Martin Berger; Septiembre de 2003.
 |
El contenido de esta página es un esbozo sobre informáticos. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas. |
