# Robin Milner

> British computer scientist (1934-2010)

**Wikidata**: [Q92643](https://www.wikidata.org/wiki/Q92643)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Robin_Milner)  
**Source**: https://4ort.xyz/entity/robin-milner

## Summary  
Robin Milner was a British computer scientist renowned for foundational contributions to programming language theory and formal methods. He is best known for developing the ML programming language and pioneering the use of process calculi like CCS (Calculus of Communicating Systems). His work earned him the Turing Award in 1991.

## Biography  
- Born: 13 January 1934, Plymouth, United Kingdom  
- Nationality: United Kingdom  
- Education: Educated at Eton College and King's College  
- Known for: Development of ML programming language, Calculus of Communicating Systems (CCS), and LCF theorem-proving system  
- Employer(s): City, University of London; Stanford University; University of Edinburgh; Swansea University  
- Field(s): Computer Science  

## Contributions  
Robin Milner made transformative contributions to theoretical and practical aspects of computing. In the early 1970s, he developed ML (Meta Language), a functional programming language that introduced type inference and polymorphism—features later adopted widely in modern languages such as Haskell and F#. Around 1973, ML emerged from his work on the LCF (Logic for Computable Functions) project at Stanford, aimed at automating reasoning about programs.

In the 1980s, Milner proposed the Calculus of Communicating Systems (CCS), a mathematical framework for modeling concurrent systems. This became central to concurrency theory and influenced tools like the pi-calculus. He also contributed significantly to interactive theorem proving through systems like HOL (Higher Order Logic).

His research laid essential groundwork for software verification, compiler design, and formal semantics. Publications include *Communication and Concurrency* (1989) and *The Definition of Standard ML* (co-authored, 1990–1997 revisions).

## FAQs  
### Q: What did Robin Milner invent?  
A: Robin Milner invented the ML programming language and created the Calculus of Communicating Systems (CCS), a model for analyzing concurrent processes. He also played a key role in developing the LCF system for automated program reasoning.

### Q: Why is Robin Milner famous?  
A: Robin Milner is famous for revolutionizing computer science through innovations in programming languages and concurrency theory. His work underpins many modern developments in functional programming and formal verification.

### Q: When did Robin Milner win the Turing Award?  
A: Robin Milner won the ACM Turing Award in 1991 for his fundamental contributions to programming language theory and the development of influential computational models.

## Why They Matter  
Robin Milner’s work reshaped how we understand computation, particularly in the areas of programming languages and concurrency. The ML language he designed introduced concepts now standard across multiple platforms, influencing both academia and industry. CCS offered rigorous foundations for reasoning about distributed and parallel systems—an area increasingly critical today. His legacy lives on in systems like Isabelle/HOL and Coq, which continue to advance formal verification techniques. Many leading researchers were trained under him, including Alan Mycroft and Davide Sangiorgi, extending his intellectual lineage globally.

## Notable For  
- Recipient of the 1991 ACM Turing Award  
- Creator of the ML programming language (developed around 1973)  
- Founder of the Calculus of Communicating Systems (CCS)  
- Developer of the LCF interactive theorem prover  
- Honorary doctorates from University of Paris-XI, University of Edinburgh, and University of Glasgow  

## Body  
### Early Life and Education  
Robin Milner was born Arthur John Robin Gorell Milner on 13 January 1934, in Plymouth, England. He attended Eton College before studying at King's College, Cambridge, where he earned a degree in mathematics.

### Career Highlights  
Milner began his career working on automated reasoning systems. At Stanford University in the late 1960s and early 1970s, he worked on the LCF project, which sought to mechanize logical reasoning about programs. During this time, he helped develop ML (Meta Language), initially intended as an implementation tool but eventually recognized as a powerful general-purpose programming language.

He moved to the University of Edinburgh in 1974, where he continued refining ML and established himself as a leader in formal methods. Later, he joined City, University of London, and held visiting positions at institutions including Stanford and Swansea University.

### Major Works and Innovations  
#### ML Programming Language  
Developed circa 1973 during his tenure at Stanford, ML introduced static typing with type inference, higher-order functions, and exception handling. These features profoundly influenced subsequent functional programming languages.

#### Calculus of Communicating Systems (CCS)  
Published in 1980 and expanded in *Communication and Concurrency* (1989), CCS provided a formal method for describing and analyzing concurrent systems. It formed part of a broader effort toward understanding communication between processes—a precursor to more advanced models like the π-calculus.

#### Interactive Theorem Proving  
Through the LCF system and its descendants such as HOL (Higher Order Logic), Milner advanced machine-assisted proof construction. These tools remain vital in hardware and software verification.

### Recognition and Legacy  
Milner received numerous honors throughout his career:
- **Turing Award** (1991): For “fundamental contributions to programming language theory.”
- **Fellow of the Royal Society**, **Royal Society of Edinburgh**, and **British Computer Society**
- Named an **ACM Fellow** in 1994
- Recipient of the **Friedrich L. Bauer Prize** (1994), **EATCS Award** (2005), and **Programming Languages Achievement Award** (2001)

He supervised several prominent doctoral students, including Alan Mycroft and Davide Sangiorgi, ensuring continuation of his ideas into new generations of scholars.

### Personal Details  
Milner passed away on 20 March 2010 in Cambridge due to myocardial infarction. He had served in the British Army earlier in life and remained active in international scientific communities until his death.

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Robin Milner",
  "jobTitle": "Computer Scientist",
  "worksFor": [
    {"@type": "Organization", "name": "City, University of London"},
    {"@type": "Organization", "name": "Stanford University"},
    {"@type": "Organization", "name": "University of Edinburgh"},
    {"@type": "Organization", "name": "Swansea University"}
  ],
  "nationality": {"@type": "Country", "name": "United Kingdom"},
  "birthDate": "1934-01-13",
  "birthPlace": "Plymouth, United Kingdom",
  "deathDate": "2010-03-20",
  "deathPlace": "Cambridge, United Kingdom",
  "alumniOf": [
    {"@type": "EducationalOrganization", "name": "Eton College"},
    {"@type": "EducationalOrganization", "name": "King's College"}
  ],
  "knowsAbout": ["Computer Science", "Functional Programming", "Concurrency Theory"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q236339",
    "https://en.wikipedia.org/wiki/Robin_Milner"
  ],
  "description": "British computer scientist known for creating ML programming language and Calculus of Communicating Systems."
}

## References

1. Czech National Authority Database
2. [Source](https://awards.acm.org/fellows/award-recipients)
3. [Source](https://web.archive.org/web/20120119122554/http://www.pleinsud.u-psud.fr/PS66web.pdf)
4. Mathematics Genealogy Project
5. general catalog of BnF
6. Virtual International Authority File
7. CiNii Research
8. www.ae-info.org
9. [Source](http://www.timesonline.co.uk/tol/comment/obituaries/article7081867.ece)
10. Freebase Data Dumps. 2013
11. IdRef
12. La France savante
13. National Library of Israel Names and Subjects Authority File