Robin Milner was born in Yealmpton, near Plymouth, England into a military family.
| FactSnippet No. 689,922 |
10 Facts About Robin Milner
2.
Robin Milner gained a King's Scholarship to Eton College in 1947, and was awarded the Tomline Prize in 1952.
| FactSnippet No. 689,923 |
3.
Robin Milner then enrolled at King's College, Cambridge, graduating in 1957.
| FactSnippet No. 689,924 |
4.
Robin 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 .
| FactSnippet No. 689,925 |
5.
Robin Milner 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.
| FactSnippet No. 689,926 |
7.
Robin Milner is generally regarded as having made three major contributions to computer science.
| FactSnippet No. 689,928 |
8.
Robin Milner developed Logic for Computable Functions, one of the first tools for automated theorem proving.
| FactSnippet No. 689,929 |
9.
Robin Milner is credited for rediscovering the Hindley–Milner type system.
| FactSnippet No. 689,930 |
10.
Robin Milner was made a Fellow of the Royal Society and a Distinguished Fellow of the British Computer Society in 1988.
| FactSnippet No. 689,931 |