UofC Navigation

Tuesday, March 23, 2010

Robin Milner, 1934-2010

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.


Post a Comment

Links to this post:

Create a Link

<< Home