Robin Milner

Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth) is a prominent British computer scientist. 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 fi... more

Date of birth:

  • Jan 13, 1934 (age 75 years)

Place of birth:

Also known as:

  • A J Milner,
  • Arthur John Robin Gorell Milner
top ↑

Computers

Languages Designed:

top ↑

Award Winner

Awards Won:

Year Award Notes/Description
  • 1991
  • For three distinct and complete achievements: 1) LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.
top ↑

Academic

Academic advisees:

top ↑

Military Person

Service:

Rank Military Force
top ↑ top ↑

We can also tell you Robin Milner is a…

If you know more about Robin Milner, you can add more facts here »

These people have edited this topic:

Edit this topic
Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

Freebase Logo
What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!

Freebase Attribution

Freebase data is free for use under the CC-BY license.

The original description for Robin Milner was automatically generated from Wikipedia.org licensed under the GNU Free Documentation License.
[1]
Learn more about Freebase licensing and attribution