Lawrence Paulson

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Template:Short description Template:EngvarB Script error: No such module "Unsubst". Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters". 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.[1][2][3][4][5]

Education

Paulson graduated from the California Institute of Technology in 1977,[6] 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.[2][7]

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.[8][9] His research is based around the interactive theorem prover Isabelle, which he introduced in 1986.[10] He has worked on the verification of cryptographic protocols using inductive definitions,[11] and he has also formalised the constructible universe of Kurt Gödel. Recently he has built a new theorem prover, MetiTarski,[12] for real-valued special functions.[13]

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

Awards and honours

Paulson was elected a Fellow of the Royal Society (FRS) in 2017,[18] a Fellow of the Association for Computing Machinery in 2008[19] and a Distinguished Affiliated Professor for Logic in Informatics at the Technical University of Munich.Script error: No such module "Unsubst".[20]

Personal life

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

References

<templatestyles src="Reflist/styles.css" />

  1. ↑ Template:Google scholar id
  2. ↑ a b Template:PAGENAMEBASE at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
  3. ↑ Template:ACMPortal
  4. ↑ Script error: No such module "String". Lawrence C. Paulson at DBLP Bibliography ServerTemplate:EditAtWikidata
  5. ↑ Template:Scopus id
  6. ↑ Lawrence Paulson Template:ORCID
  7. ↑ Script error: No such module "citation/CS1".
  8. ↑ Script error: No such module "citation/CS1".
  9. ↑ Script error: No such module "citation/CS1".
  10. ↑ Script error: No such module "Citation/CS1".
  11. ↑ Script error: No such module "Citation/CS1".
  12. ↑ Cite error: Script error: No such module "Namespace detect".Script error: No such module "Namespace detect".
  13. ↑ Script error: No such module "citation/CS1".
  14. ↑ Script error: No such module "citation/CS1".
  15. ↑ Script error: No such module "citation/CS1".
  16. ↑ Script error: No such module "citation/CS1".
  17. ↑ Script error: No such module "citation/CS1".
  18. ↑ Cite error: Script error: No such module "Namespace detect".Script error: No such module "Namespace detect".
  19. ↑ Script error: No such module "citation/CS1".
  20. ↑ Script error: No such module "citation/CS1".
  21. ↑ Script error: No such module "citation/CS1".
  22. ↑ Cite error: Script error: No such module "Namespace detect".Script error: No such module "Namespace detect".

Script error: No such module "Check for unknown parameters".

Template:FRS 2017 Script error: No such module "Authority control".


Script error: No such module "Article stub box".

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Lawrence_Paulson&oldid=2180729"