Who are you looking for?

Install Famoose

Keep Famoose on your home screen or desktop for easy access.

Open this site in Chrome or Edge and look for Install app in the browser menu or address bar. If no install option appears, you can bookmark Famoose instead.

Famoose.co
Appearance
Text size
Page width
Colour
Discover›Technology
Contents
Robin Milner
Computer scientist

Robin Milner

Famoose for

Developing ML and mathematical tools for concurrent computing.

ML · A Calculus of Communicating Systems

Born
13 January 1934
Birthplace
Yealmpton, England
Died
20 March 2010

More people

Ada LovelaceRecognising what a programmable machine could do beyond arithmetic.Alan TuringHelping break Enigma and laying foundations for computer science.Grace HopperHelping make computer programming readable in English-like language.

Robin Milner

British computer scientist whose work linked programming languages, machine-assisted proofs and communicating processes. Received the 1991 Turing Award.

Early life

Education and service

Won a scholarship to Eton, served in the Royal Engineers and graduated from King’s College, Cambridge, in 1957.

Career

  1. 1957 onward

    Teaching and programming

    Worked as a schoolteacher and Ferranti programmer before moving into university research.

  2. 1973

    Edinburgh

    Joined the university and later helped establish its Laboratory for Foundations of Computer Science.

  3. 1995

    Cambridge

    Became head of the Computer Laboratory.

Contributions

ML

Developed a language with automatic type inference as part of work on machine-assisted proofs.

A Calculus of Communicating Systems

Set out a mathematical approach to systems whose components run concurrently.

Beyond work

Family

His wife Lucy died shortly before his death in Cambridge in 2010.

Sources & photo creditBiography and career ↗Biographical references ↗Additional biographical or achievement source ↗

Original photograph. Cropped and displayed in monochrome.

Photo: Creator not stated; see image source. Source credit retained; reuse licence not established · Original image. Cropped and displayed in monochrome.