Lawrence Paulson
Lawrence Paulson | |
|---|---|
| Error creating thumbnail: Paulson in 2017 | |
| Born | Lawrence Charles Paulson 1955 (age 70–71)[4] |
| Citizenship | US/UK |
| Alma mater | |
| Known for | |
| Spouses |
|
| Awards |
|
| Scientific career | |
| Fields | |
| Institutions | University of Cambridge Technical University of Munich |
| Thesis | A Compiler Generator for Semantic Grammars (1981) |
| Doctoral advisor | John L. Hennessy[3] |
| Website | Lua error in Module:Official_website at line 94: attempt to index field 'wikibase' (a nil value). |
Lawrence Charles Paulson 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.[2][3][7][8][9]
Education
[edit | edit source]Paulson graduated from the California Institute of Technology in 1977,[10] 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.[3][11]
Research
[edit | edit source]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.[12][13] His research is based around the interactive theorem prover Isabelle, which he introduced in 1986.[14] He has worked on the verification of cryptographic protocols using inductive definitions,[15] and he has also formalised the constructible universe of Kurt Gödel. Recently he has built a new theorem prover, MetiTarski,[6] for real-valued special functions.[16]
Paulson taught an undergraduate lecture course in the Computer Science Tripos, entitled Logic and Proof[17] which covers automated theorem proving and related methods. He also used to teach Foundations of Computer Science[18] which introduces functional programming, but this course was taken over by Alan Mycroft and Amanda Prorok in 2017,[19] and then Anil Madhavapeddy and Amanda Prorok in 2019.[20]
Awards and honours
[edit | edit source]Paulson was elected a Fellow of the Royal Society (FRS) in 2017,[5] a Fellow of the Association for Computing Machinery in 2008[1] and a Distinguished Affiliated Professor for Logic in Informatics at the Technical University of Munich.[when?][21]
Personal life
[edit | edit source]Paulson has two children by his first wife, Dr Susan Mary Paulson, who died in 2010.[22] Since 2012, he has been married to Dr Elena Tchougounova.[4]
References
[edit | edit source]- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c d Lawrence Paulson publications indexed by Google ScholarLua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
- ^ a b c Lawrence Paulson at the Mathematics Genealogy Project
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). (Subscription or UK public library membership required.)
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lawrence Paulson author profile page at the ACM Digital Library
- ^ Lawrence C. Paulson at DBLP Bibliography ServerLua error in Module:EditAtWikidata at line 29: attempt to index field 'wikibase' (a nil value).
- ^ Lawrence Paulson publications indexed by the Scopus bibliographic database. (subscription required)
- ^ Lawrence Paulson ORCID 0000-0003-0288-4279
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).
- 1955 births
- Living people
- American computer scientists
- Members of the University of Cambridge Computer Laboratory
- California Institute of Technology alumni
- Stanford University alumni
- Fellows of Clare College, Cambridge
- 2008 fellows of the Association for Computing Machinery
- Fellows of the Royal Society
- Formal methods people
- Computer specialist stubs