Quantcast
peoplepill id: lawrence-paulson
LP
2 views today
2 views this week
Lawrence Paulson

Lawrence Paulson

American computer scientist
Lawrence Paulson
The basics

Quick Facts

Intro American computer scientist
A.K.A. Lawrence Charles Paulson, Lawrence C. Paulson
Is Computer scientist Engineer
From United States of America
Type Engineering Technology Science
Gender male
Birth 1955
Age 66 years
Education
California Institute of Technology
Stanford University
Awards
Fellow of the Royal Society 2017
ACM Fellow  
The details (from wikipedia)

Biography

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.

Education

Paulson graduated from the California Institute of Technology in 1977, and obtained his PhD in Computer Science from Stanford University in 1981 for research on programming languages and compiler-compilers supervised by John L. Hennessy.

Research

Paulson came to the University of Cambridge in 1983 and became a Fellow of Clare College, Cambridge in 1987. He is best known for the cornerstone text on the programming language ML, ML for the Working Programmer. His research is based around the interactive theorem prover Isabelle, which he introduced in 1986. He has worked on the verification of cryptographic protocols using inductive definitions, and he has also formalised the constructible universe of Kurt Gödel. Recently he has built a new theorem prover, MetiTarski, for real-valued special functions.

Paulson teaches an undergraduate lecture course in the Computer Science Tripos, entitled Logic and Proof which covers automated theorem proving and related methods. (He used to teach Foundations of Computer Science which introduces functional programming, but this course was taken over by Alan Mycroft and Amanda Prorok in 2017, and then Anil Madhavapeddy and Amanda Prorok in 2019. )

Awards and honours

Paulson was elected a Fellow of the Royal Society (FRS) in 2017, a Fellow of the Association for Computing Machinery in 2008 and a Distinguished Affiliated Professor for Logic in Informatics at the Technical University of Munich.

Personal life

Paulson has two children by his first wife, Dr Susan Mary Paulson, who died in 2010. Since 2012, he has been married to Dr Elena Tchougounova.

The contents of this page are sourced from Wikipedia article on 02 Jun 2020. The contents are available under the CC BY-SA 4.0 license.
comments so far.
Comments
From our partners
Sponsored
Reference sources
References
https://www.ukwhoswho.com/view/article/oupww/whoswho/U289302
//doi.org/10.1093%2Fww%2F9780199540884.013.289302
https://www.ukwhoswho.com/page/subscribe#public
https://royalsociety.org/people/lawrence-paulson-13412/
//citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.3300
//doi.org/10.1007%2Fs10817-009-9149-2
http://awards.acm.org/award_winners/paulson_4585196.cfm
https://scholar.google.com/citations?user=Sv1hcjEAAAAJ
https://www.genealogy.math.ndsu.nodak.edu/id.php?id=25162
https://dl.acm.org/author_page.cfm?id=81100146628
https://dblp.org/pid/p/LCPaulson
https://www.scopus.com/authid/detail.url?authorId=7005293178
https://orcid.org/0000-0003-0288-4279
http://www.cl.cam.ac.uk/~lp15/papers/Reports/thesis.pdf
//www.worldcat.org/oclc/757240716
http://www.cl.cam.ac.uk/~lp15/MLbook/
arrow-left arrow-right instagram whatsapp myspace quora soundcloud spotify tumblr vk website youtube pandora tunein iheart itunes