Robin Milner | |
---|---|
Born | Arthur John Robin Gorell Milner 13 January 1934 Yealmpton, Plymouth, England |
Died | 20 March 2010 Cambridge, England |
(aged 76)
Fields | Computer science |
Institutions | |
Doctoral advisor | None, as Milner never did a PhD |
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 | |
Notable awards |
|
Arthur John Robin Gorell Milner FRS FRSE (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.
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 co-founder 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 eventually stepped down, although he was still at the laboratory. From 2009, Milner was a SICSA Advanced Research Fellow and held (part-time) the Chair of Computer Science at the University of Edinburgh.
Milner died of a heart attack on 20 March 2010 in Cambridge. His wife, Lucy, died shortly before him.