Lawrence Paulson
From Wikipedia, the free encyclopedia
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 [1]. His current work is based around the interactive theorem prover Isabelle, including work towards the Basic Perturbation Lemma, and verification of cryptographic protocols by set theory.
Paulson graduated from the California Institute of Technology in 1977, and obtained his PhD in Computer Science from Stanford University. He came to the University of Cambridge in 1983 and became a fellow in 1987. He is married, with two children.
[edit] External links
 |
This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |
