Robin Milner  

Born 
January 13, 1934 Plymouth, England 
Fields  Computer Science 
Institutions  Ferranti City University, London Swansea University Stanford University University of Edinburgh University of Cambridge 
Doctoral advisor  None, as Milner never did a PhD^{[1]} 
Doctoral students 
George Milne Avra Cohn Raymond Aubin Mike Sanderson Alan Mycroft Luis Damas Brian Monahan Kevin Mitchell Kim Larsen (1986) Mads Tofte (1988) K.V.S. Prasad (1989) Faron Moller Dave Berry Chris Tofts Peter Sewell Davide Sangiorgi (1993) David N. Turner (1995) Alex Mifsud James J. Leifer (2001) 
Known for  LCF ML Calculus of communicating systems Picalculus 
Notable awards  Turing Award 
Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth) is a prominent British computer scientist.
Contents 
Milner was born in Yealmpton, near Plymouth, England into a military family. He was awarded a scholarship to Eton College in 1947, and subsequently served in the Royal Engineers, attaining the rank of Second Lieutenant. He then enrolled at King's College, Cambridge, graduating in 1957, 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 the University of Edinburgh, where he was a cofounder of the Laboratory for Foundations of Computer Science (LFCS). He returned to Cambridge as the head of the Computer Laboratory in 1995 from which he has subsequently stepped down, although he is still at the laboratory. Since 2009, Milner is a SICSA Advanced Research Fellow and holds (parttime) the Chair of Computer Science at the University of Edinburgh.
Milner is generally regarded as having made three major contributions to computer science. He developed LCF, one of the first tools for automated theorem proving. The language he developed for LCF, ML, was the first language with polymorphic type inference and typesafe 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 picalculus. He is currently working on bigraphs, a formalism subsuming CCS and the picalculus.^{[2]}
He was made a Fellow of the Royal Society in 1988 and received the ACM Turing Award in 1991. In 1994 he was inducted as a Fellow of the ACM. In 2004 the Royal Society of Edinburgh awarded Milner with a Royal Medal for his "bringing about public benefits on a global scale". In 2008, he was elected a Foreign Associate of the National Academy of Engineering for "fundamental contributions to computer science, including the development of LCF, ML, CCS, and the picalculus." [1]

