Sources
Help build the largest human-edited directory on the web.
Submit a site - Become an editor
Wikipedia. Licensed under the GNU Free Documentation License.
Are you an expert in this subject? Join the discussion and share your knowledge at Wikipedia.org.
Robin Milner
From Wikipedia, the free encyclopedia
 |
|
| Born | 1934 Plymouth, England |
|---|---|
| Field | Computer Science |
| Institution | Ferranti City University, London Swansea University Stanford University University of Edinburgh University of Cambridge |
| Known for | LCF ML Calculus of Communicating Systems Pi-calculus |
| Notable prizes | Turing Award |
Robin Milner (born 1934, Plymouth, England) is a prominent British computer scientist.
Contents |
Milner was born 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 1958, 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 has subsequently stepped down although he is still at the laboratory.
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.
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 and in 2004 the Royal Society of Edinburgh awarded Milner with a Royal Medal for his "bringing about public benefits on a global scale".
- Proof, Language, and Interaction: Essays in Honour of Robin Milner, edited by Gordon Plotkin, Colin Stirling and Mads Tofte. The MIT Press, 2000. ISBN 0-262-16188-5.
- The Royal Society of Edinburgh: Royal Gold Medals for Outstanding Achievement (2004 press release). http://www.royalsoced.org.uk/rse_press/2004/medals.htm
- Milner's Cambridge homepage
- An interview with Robin Milner by Martin Berger, 3 September 2003
- A review of Proof, Language, and Interaction, a book on computer science dedicated to Milner and covering many areas of his work
- A brief biography of and speech by Robin Milner
1966: Perlis • 67: Wilkes • 68: Hamming • 69: Minsky
1970: Wilkinson • 71: McCarthy • 72: Dijkstra • 73: Bachman • 74: Knuth • 75: Newell, Simon • 76: Rabin, Scott • 77: Backus • 78: Floyd • 79: Iverson
1980: Hoare • 81: Codd • 82: Cook • 83: Thompson, Ritchie • 84: Wirth • 85: Karp • 86: Hopcroft, Tarjan • 87: Cocke • 88: Sutherland • 89: Kahan
1990: Corbató • 91: Milner • 92: Lampson • 93: Hartmanis, Stearns • 94: Feigenbaum, Reddy • 95: Blum • 96: Pnueli • 97: Engelbart • 98: Gray • 99: Brooks
2000: Yao • 01: Dahl, Nygaard • 02: Rivest, Shamir, Adleman • 03: Kay • 04: Cerf, Kahn • 05: Naur • 06: Allen
 |
This biography of a United Kingdom academic is a stub. You can help by expanding it. |
| Persondata | |
|---|---|
| NAME | Milner, Robin |
| ALTERNATIVE NAMES | |
| SHORT DESCRIPTION | Computer scientist |
| DATE OF BIRTH | 1934 |
| PLACE OF BIRTH | Plymouth, England |
| DATE OF DEATH | |
| PLACE OF DEATH | |
Categories: United Kingdom computer specialist stubs | United Kingdom academic biography stubs | 1934 births | Living people | British computer scientists | British academics | Fellows of the Royal Society | Turing Award laureates | Alumni of King's College, Cambridge | Academics of City University, London | Formal methods people | Members of the University of Cambridge Computer Laboratory | Fellows of the Association for Computing Machinery