0 Inglaterra, 1934 - 2010
Desarrolló una de las primeras herramientas para la prueba automatizada de teoremas. El lenguaje diseñado para cubrir este objetivo, el ML, pasó a ser un lenguaje de programación funcional, con inferencia de tipos polimórfica y control de excepciones de tipos. También desarrolló un marco teórico para analizar sistemas concurrentes, CCS (Calculus of Communicating Systems -Cálculo de Sistemas en Comunicación), y su sucesor el pi-calculus. Galardonado con el Premio Turing en 1991.
Robin Milner
