Lawrence Paulson

Lawrence Paulson

FRS
Lawrence Paulson; FRS
	Lawrence Paulson at the Royal Society admissions day in London, July 2017
Born	Lawrence Charles Paulson; 1955 (age 68–69)
Citizenship	US/UK
Alma mater	California Institute of Technology (BSc); Stanford University (PhD);
Known for	ML; Isabelle; MetiTarski;
Spouses	Susan Mary Paulson (d. 2010); Elena Tchougounova;
Awards	ACM Fellow (2008);
	Scientific career
Fields	Theorem proving; Formal methods; Computer security;
Institutions	University of Cambridge; Technical University of Munich
Thesis	A Compiler Generator for Semantic Grammars (1981)
Doctoral advisor	John L. Hennessy
Website	www.cl.cam.ac.uk/~lp15/

Lawrence Charles Paulson FRS (born 1955) is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.