Robin Milner is a prominent British computer scientist.

Graduating from King s College, Cambridge in 1952, Milner first worked as a schoolteacher then as a programmer at Ferranti, before entering academia at City University, London, then Swansea University, Stanford University, and from 1973 at Edinburgh University. He finally returning to Cambridge University as the head of the Cambridge University Computer Laboratory in 1995.

Milner is generally regarded to have made three major contributions to computer science. He developed one of the first tools for automated theorem proving, LCF. Along the way, the language he developed for the purpose ML programming language, a functional programming language, which was the first language with polymorphic type inference and type-safe exception handling. In a very different area, Milner also developed a theoretical framework for analyzing concurrent systems, the Calculus of Communicating Systems (CCS), and its successor, the Pi-calculus.

He was made a Fellow of the Royal Society in 1988 and received the Association for Computing Machinery Turing Award in 1991.

=Reference=

=External links and references=