01 · A life in computing
The person behind the work
Robin Milner built connections between mathematical logic, programming languages, and concurrent computation. His work on LCF showed how computers could assist rigorous proofs, while ML introduced influential ideas about types and type inference. His calculus of communicating systems provided a mathematical language for interacting processes. At Edinburgh, these contributions helped establish a durable relationship between theoretical foundations and practical tools for building and understanding programs.
The contribution, explained
Robin Milner’s award recognised three major achievements: mechanising logic with LCF, designing ML with polymorphic type inference, and developing the Calculus of Communicating Systems. These offered precise ways to construct proofs, infer useful program structure and describe processes that interact.
Why it matters
Modern language tools and concurrency theory build on the idea that rigorous foundations can also support practical programming.