Robin Milner
Keywords: Robin Milner, 1952, 1991, 1995, Association for Computing Machinery, Cambridge, Cálculo de sistemas comunicantes (CCS), Edimburgo, Informática
Robin Milner es un prominente Científico Británico en Computación.
Graduado en el King's College, Cambridge en 1952, 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.
Enlaces externos y referencias
- review of "Proof, Language and Interaction", Un libro sobre Ciencia de la Computación dedicado a Milner que cubre mucha áreas de su trabajo.
- Milner's Cambridge homepage
- An interview with Robin Milner; Martin Berger; Septiembre de 2003.