Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Larry Paulson's CV
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. Chair 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.
Education
1977–81. Stanford University, Stanford, CA. PhD, Computer Science. Wrote a system to produce compilers from denotational definitions. Researched program verification. Advisor: John Hennessy.