- Lawrence Paulson
Lawrence Paulson (born 1955) is a professor at the
University of Cambridge Computer Laboratory and a fellow of Clare College. He is best known for the cornerstone text on the programming language ML, "ML for the Working Programmer" [http://www.cl.cam.ac.uk/users/lcp/MLbook] . His research is based around the interactive theorem prover Isabelle. He has worked on the verification of cryptographic protocols usinginductive definition s, and he has also formalized theconstructible universe ofKurt Gödel . Current research projects are described on his web page.Paulson graduated from the
California Institute of Technology in 1977, and obtained his PhD in Computer Science fromStanford University . He came to the University of Cambridge in 1983 and became a fellow in1987 . He is married, with two children.External links
* [http://www.cl.cam.ac.uk/users/lcp/ Lawrence Paulson's website]
* [http://www.geocities.com/Hollywood/Trailer/2085/Larry.html Lawrence Paulson (humorous) fansite]
Wikimedia Foundation. 2010.