Robin Milner died on March 20. He was a leading theoretical computer scientist who developed the LCF theorem prover, the ML programming language, and introduced the π-calculus. He was founding director of the Laboratory for Foundations of Computer Science at the University of Edinburgh and then Professor of Computer Science at Cambridge. Milner was a Fellow of the Royal Society, a Fellow of the ACM, and winner of the Turing Award.