Robin Milner

related topics
{work, book, publish}
{math, number, function}
{system, computer, user}
{rate, high, increase}
{service, military, aircraft}
{school, student, university}

Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth, died 20 March 2010 in Cambridge) was a prominent British computer scientist.[2]

Contents

Life, education and career

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.[2][3] His wife, Lucy, died shortly before him.

Contributions

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 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. At the time of his death, he was working on bigraphs, a formalism for ubiquitous computing subsuming CCS and the pi-calculus.[4]

Full article ▸

related documents
Nevanlinna Prize
Matthew Cook
Daniel McFadden
Ron Rivest
Hugo Steinhaus
Ada Byron's notes on the analytical engine
Steve McConnell
Frans van Schooten
Paul Conrad
Anders Hejlsberg
Matthias Jakob Schleiden
Steen Eiler Rasmussen
Louis de Broglie
Richard Wilbur
Factsheet Five
Harald Sverdrup
Corriere della Sera
Susan Faludi
Johann Philipp Abelin
Anton Peterlin
London College of Communication
Sidewise Award for Alternate History
Rob Malda
International African Institute
Hopwood Program
Geoffrey A. Landis
Melvin Kranzberg
Bruce C. Heezen
Wikipedia:List of Wikipedians in order of arrival
Georg Mohr