Robin Milner
Milner supplied formalisms for reasoning about interacting processes, an essential challenge for protocols and distributed systems. Those ideas inform the formal analysis used in modern security research.
Robin Milner was a British computer scientist whose work on logic, programming languages, and concurrency had lasting influence on formal methods. His contributions include LCF theorem proving, the ML language, and the Calculus of Communicating Systems.
Processes and protocols
Security protocols describe independent parties that exchange messages under defined rules. Milner's process-calculus work offered a rigorous way to describe and reason about such communicating processes.
In memoriam
Milner died in 2010. His work remains foundational in programming-language theory, formal verification, and analysis of concurrent systems.
Timeline
- 1934-01-13Born in Yealmpton, England.
- 1972Joins the University of Edinburgh.
- 1978Introduces ML as part of work on the LCF theorem prover.
- 1980Publishes the Calculus of Communicating Systems.
- 1991Receives the ACM A.M. Turing Award.
- 2010-03-20Dies in Cambridge, England.
Robin Milner
- Type
- Person
- Era
- 1960s-2010
- Born
- 1934
- Died
- 2010
- Known for
- LCF theorem proving; ML programming language; Calculus of Communicating Systems; 1991 ACM Turing Award
- Tags
- academic-research, formal-methods, programming-languages, concurrency
Created by Joas A Santos · Something wrong or want it removed? Open an issue.