Robin Milner is a prominent British computer scientist. Computer science (informally: CS or compsci) is, in its most general sense, the study of computation and information processing, both in hardware and in software. ...

Graduating from King's College, Cambridge in 1952, Milner first worked as a school teacher then as a programmer at Ferranti, before entering academia at City University, London. He subsequently taught at Swansea University, Stanford University and, from 1973, at Edinburgh University. In 1995 he returned to Cambridge to accept the position of head of the Cambridge University Computer Laboratory. Full name The Kings College of Our Lady and St Nicholas Motto Veritas Et Utilitas Truth and usefulness Named after Henry VI Previous names - Established 1441 Sister College New College Acting Provost Dr Tess Adkins Location Kings Parade Undergraduates 397 Graduates 239 Homepage Boatclub The Gatehouse, built in... 1952 (MCMLII) was a leap year starting on Tuesday (link will take you to calendar). ... A programmer or software developer is someone who programs computers, i. ... Ferranti or Ferranti International Signal plc by the time of its collapse, was a major UK electrical engineering and equipment firm, known primarily for their defense electronics and power grid systems. ... City University could be City University of Hong Kong City University, London City University of New York City University, Washington or Dublin City University Oakland City University Oklahoma City University New Jersey City University Osaka City University This is a disambiguation page — a navigational aid which lists other pages that... Part of the London skyline viewed from the South Bank London is the most populous city in the European Union, with an estimated population on 1 January 2005 of 7,500,000 and a metropolitan area population of between 12 and 14 million. ... The University of Wales, Swansea was founded in 1920 as University College, Swansea, the fourth college of the University of Wales, following the report of the Haldane Commission into University Education in Wales. ... For other meanings of Stanford, see Stanford (disambiguation). ... 1973 (MCMLXXIII) was a common year starting on Monday. ... The University of Edinburgh was founded in 1583 as a renowned centre for teaching in Edinburgh, Scotland. ... 1995 (MCMXCV) was a common year starting on Sunday of the Gregorian calendar. ... REDIRECT [1] ... The Computer Laboratory is Cambridge Universitys computer science department. ...

Milner is generally regarded as having made three major contributions to computer science. Computer science - Wikipedia, the free encyclopedia /**/ @import /skins-1. ...

• 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, helping to develop 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. An interactive theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others. ... Automated theorem proving (currently the most important subfield of automated reasoning) is the proving of mathematical theorems by a computer program. ... This article refers to the functional programming language called ML; the acronym ML is also used to refer to machine language. ... Type inference is a feature present in functional programming languages such as Haskell, ML and OCaml. ... Exception handling is a programming language construct or computer hardware mechanism designed to handle runtime errors or other problems (exceptions) which occur during the execution of a computer program. ... Concurrent systems are an area of study in computer science, where concurrency or parallelism is important. ... The Calculus of Communicating Systems (or CCS) (one of the first process calculi) was developed by Robin Milner. ... In theoretical computer science, the π-calculus is a notation originally developed by Robin Milner, Joachim Parrow and David Walker to model concurrency (just as the λ-calculus is a simple model of sequential programming languages). ... The premises of the Royal Society in London. ... 1988 (MCMLXXXVIII) was a leap year starting on a Friday of the Gregorian calendar. ... The Association for Computing Machinery, or ACM, was founded in 1947 as the worlds first scientific and educational computing society. ... The A.M. Turing Award is given annually by the Association for Computing Machinery to a person selected for contributions of a technical nature made to the computing community. ... 1991 (MCMXCI) is a common year starting on Tuesday of the Gregorian calendar. ...

Reference

• 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.

Gordon D. Plotkin FRS is a computer scientist. ... MIT Press Books The MIT Press is a university publisher affiliated with the Massachusetts Institute of Technology (MIT) in Cambridge, Massachusetts. ... This article is about the year 2000. ...

External links and references

• 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