Logic . Philosophy . Other Fun Stuff
University of Calgary
Site Navigation
Site Feed
Search
Navigation
Robin Milner, 1934-2010
Submitted by Richard Zach on March 23, 2010 - 2:42pm.
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.
Robin was a great man, and the world isn't quite the same place without him around. I didn't know him personally, but I met him a few times, and he was always a friendly guy. May he rest in peace. - Jaysun @ toaster oven