Editing Robin Milner (section)

==Life, education and career==

Milner was born in [[Yealmpton]], near [[Plymouth]], [[England]] into a military family. He gained a [[King's Scholar]]ship to [[Eton College]] in 1947, and was awarded the [[George Tomline (politician)#Tomline Prize|Tomline Prize]] (the highest prize in Mathematics at Eton) in 1952. Subsequently, he served in the [[Royal Engineers]], attaining the rank of Second Lieutenant.  He then enrolled at [[King's College, Cambridge]], graduating in 1957.<ref>[http://www.sussex.ac.uk/Users/mfb21/interviews/milner/ Interview with Robin Milner by Martin Berger].</ref> 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 [[University of Cambridge|Cambridge]] as the head of the [[Cambridge University Computer Laboratory|Computer Laboratory]] in 1995 from which he eventually stepped down, although he was still at the laboratory. From 2009, Milner was a Scottish Informatics & Computer Science Alliance 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.<ref name="times" /><ref>[http://lists.seas.upenn.edu/pipermail/types-list/2010/001478.html Newsgroup message] informing on Milner's death.</ref> His wife, Lucy, died shortly before he did.<ref>{{cite news|url=https://www.independent.co.uk/news/obituaries/robin-milner-pioneering-computer-scientist-1943933.html|work=[[The Independent]]|title= Robin Milner: Pioneering computer scientist|date=2010-04-14}}</ref>