Larry Paulson: Brief Curriculum Vitae
- 2006–present, Distinguished Affiliated Professor of the Department of Informatics at the Technical University of Munich (honorary title)
- 2002–present. Professor of Computational Logic, University of Cambridge.
- 1998–2002. Reader in Computational Logic, University of Cambridge
- 1993–1998. University Lecturer, University of Cambridge. Chairman of Staff-Student Consultative Committee. Involved with Computer Laboratory publicity and Open Days.
- 1987–present. Fellow, Clare College, Cambridge. Member of Council and Computer Committee. Director of Studies in Computer Science, responsible for individual tuition of all Computer Science students in Clare.
- 1983–1993. Assistant Director of Research, University of Cambridge.
- 1982–1983. Research assistant, University of Edinburgh. With G. Huet, rewrote the theorem prover Edinburgh LCF. The resulting “Cambridge LCF” later became the Cambridge HOL system. Used Cambridge LCF to verify a unification function.
- 1977–81. Stanford University, Stanford, CA. PhD, Computer Science. Wrote a system to produce compilers from denotational definitions. Researched program verification. Advisor: John Hennessy.
- 1973–77. California Institute of Technology, Pasadena, CA. BS, Mathematics.
12 January, 2012
Lawrence C. Paulson • Computer Laboratory • University of Cambridge