Skip to content
Trackfame
Join
Science Technology

Robin Milner

British computer scientist who created the ML language and theories of concurrency

13 January 1934 – 20 March 2010 United Kingdom Verified by our editors
Follow 0 followers Correction Cite
Lived
76 yrs
1934 – 2010
Works listed
3
Programming language, Book
Honours
2
Most recent 1991
Profile views
4
0 followers

Robin Milner was a British computer scientist who created the ML programming language with automatic type inference and the LCF theorem prover, and developed the calculus of communicating systems and the pi-calculus. He received the Turing Award in 1991.

Biography

Early life

Milner won a scholarship to Eton and studied mathematics and philosophy at King’s College, Cambridge. He worked as a schoolteacher and programmer before turning to research.

LCF and ML

At Edinburgh in the 1970s he built LCF, a system that helps people prove mathematical facts about programs by computer. To program it he created ML (“meta language”), which introduced automatic type inference, letting the computer work out data types safely. ML inspired OCaml, F#, Haskell features and Rust.

Concurrency

He developed CCS (calculus of communicating systems) and later the pi-calculus, mathematical models of processes that communicate, used to reason about networks and mobile systems.

Career

Milner co-founded the Laboratory for Foundations of Computer Science at Edinburgh and later headed the Cambridge Computer Laboratory. He died in Cambridge in 2010.

Timeline

  1. 1934

    Born in Plymouth, Devon, England

  2. 1973

    ML language and LCF prover take shape at Edinburgh

  3. 1978

    Publishes type-inference algorithm

  4. 1980

    Calculus of Communicating Systems

  5. 1986

    Co-founds the LFCS at Edinburgh

  6. 1991

    Turing Award

  7. 1992

    Pi-calculus published

  8. 1996

    Head of the Cambridge Computer Laboratory

  9. 2010

    Died, aged 76

Notable works

  • 1973

    ML Programming language

  • 1980

    A Calculus of Communicating Systems Book

  • 1999

    Communicating and Mobile Systems: the Pi-Calculus Book

Awards and honours

  • Fellow of the Royal Society

    1988

  • Turing Award

    1991

Did you know?

  1. 1

    The Hindley–Milner type system is named after him and logician Roger Hindley.

  2. 2

    He taught mathematics at a London school before entering computing.

  3. 3

    He won a scholarship to Eton College as a boy.

Connections

Also born on 13 January

Frequently asked

Who is Robin Milner?

Robin Milner was a British computer scientist who created the ML programming language with automatic type inference and the LCF theorem prover, and developed the calculus of communicating systems and the pi-calculus. He received the Turing Award in 1991.

When did Robin Milner die?

Robin Milner died on 20 March 2010 at the age of 76.

Where is Robin Milner from?

Robin Milner was born in Plymouth, Devon, England.

What is Robin Milner known for?

Robin Milner is best known for ML programming language; LCF theorem prover; type inference; CCS and pi-calculus; Turing Award 1991.

What awards has Robin Milner received?

Notable honours include Fellow of the Royal Society (1988), Turing Award (1991).

References

  1. Robin Milner — Wikipedia. Wikipedia. Retrieved 4 November 2026.
  2. Robin Milner — Britannica. Encyclopaedia Britannica. Retrieved 4 November 2026.
  3. Robin Milner — Goodreads author page. Goodreads. Retrieved 4 November 2026.
  4. Robin Milner (Q92643) — structured data. Wikidata. Retrieved 4 November 2026.

Includes material from the Wikipedia article “Robin Milner”, licensed under CC BY-SA 4.0. That text is available under the same licence. Learn more

External links

Wikipedia
Filed under Programming languagesTuring AwardUniversity of CambridgeUniversity of Edinburgh Computer ScientistProfessor

About this profile

Cite this page

“Robin Milner.” TrackFame, last updated 5 November 2026. https://trackfame.com/person/robin-milner

Discussion 0

Sign in or create an account to join the discussion.

No comments yet — be the first.

More in Science

See all
Margaret Hamilton Science

Margaret Hamilton

MIT engineer who led the software for the Apollo Moon landings and coined “software engineering”

1936 – 2026

Marvin Minsky Science

Marvin Minsky

Co-founder of MIT’s artificial intelligence laboratory and a founding father of AI

1927 – 2016

Michael Faraday Science

Michael Faraday

Self-taught scientist who discovered electromagnetic induction

1791 – 1867

Nikola Tesla Science

Nikola Tesla

Serbian-American inventor of the alternating-current induction motor

1856 – 1943

Yann LeCun Science

Yann LeCun

French-American AI pioneer who invented convolutional neural networks

Born 1959

Peter Naur Science

Peter Naur

Danish computer scientist who edited the ALGOL 60 report and refined Backus–Naur form

1928 – 2016