Robin milner

Robin Milner, (Plymouth, January 13, 1934 - Cambridge, March 20, 2010). Prominent British computer scientist.

A graduate of King's College (Cambridge) in 1957, Milner has taught at City University, London, Swansea University, Stanford University, Edinburgh University and from 1995 as head of the Cambridge Computer Laboratory until his passing.

Three major contributions of Milner in computing are generally mentioned:

• It developed the LCF system that was one of the first automatic demo tools of theorems
• Development of ML language, which was the goal language to write strategies and tactics in LCF. It was also the first language to own a polymorphic system of types with automated inference and safe exception management from the type point of view.
• Development of a theoretical framework for the analysis of concurrent systems, the calculation of communicating systems and their successor, the pi calculation.

In 1988 he was appointed a Fellow of the Royal Society and in 1991 he received the ACM Turing Award. He died on March 20, 2010 in Cambridge.