Lawrence Paulson at the Royal Society admissions day in London, July 2017
Born
Lawrence Charles Paulson
1955 (age 68–69)[4]
Citizenship
US/UK
Alma mater
California Institute of Technology (BSc)
Stanford University (PhD)
Known for
ML
Isabelle[5]
MetiTarski[6]
Spouses
Susan Mary Paulson (d. 2010)
Elena Tchougounova
Awards
ACM Fellow (2008)[1]
Scientific career
Fields
Theorem proving[2]
Formal methods[2]
Computer security[2]
Institutions
University of Cambridge Technical University of Munich
Thesis
A Compiler Generator for Semantic Grammars(1981)
Doctoral advisor
John L. Hennessy[3]
Website
www.cl.cam.ac.uk/~lp15/
Lawrence Charles PaulsonFRS[5] (born 1955)[4] 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]
^Cite error: The named reference facm was invoked but never defined (see the help page).
^ abcdLawrence Paulson publications indexed by Google Scholar
^ abLawrence Paulson at the Mathematics Genealogy Project
^ abAnon (2017). "Paulson, Prof. Lawrence Charles". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.289302. (Subscription or UK public library membership required.)
^ abAnon (2017). "Professor Lawrence Paulson FRS". royalsociety.org. London: Royal Society. Retrieved 5 May 2017.
^Akbarpour, B.; Paulson, L. C. (2009). "Meti Tarski: An Automatic Theorem Prover for Real-Valued Special Functions". Journal of Automated Reasoning. 44 (3): 175. CiteSeerX 10.1.1.157.3300. doi:10.1007/s10817-009-9149-2. S2CID 16215962.
^Lawrence Paulson author profile page at the ACM Digital Library
^Lawrence C. Paulson at DBLP Bibliography Server
^Lawrence Paulson publications indexed by the Scopus bibliographic database. (subscription required)
Lawrence Charles Paulson FRS (born 1955) is an American computer scientist. He is a Professor of Computational Logic at the University of Cambridge Computer...
Sarah Catharine Paulson (born December 17, 1974) is an American actress. She is the recipient of numerous accolades, including a Primetime Emmy Award...
1978), American actor John Paulson (born 1955), American hedge fund manager Jeanne Paulson, American actress LawrencePaulson (born 1955), American computer...
that the Taniyama–Shimura conjecture implies Fermat's Last Theorem. LawrencePaulson makes the first release of Isabelle (proof assistant). Lee Sallows...
analysis of algorithms (complexity) Mihai Pătraşcu – data structures LawrencePaulson – ML Randy Pausch (1960–2008) – human–computer interaction, Carnegie...
Milburn Anne Neville Alison Noble Andrew Orr-Ewing David J. Owen LawrencePaulson Josephine Pemberton Sandu Popescu Sarah (Sally) Price Anne Ridley David...
introduces functional programming. Past lecturers of this course include LawrencePaulson, Alan Mycroft and Amanda Prorok. Madhavapeddy primarily researches...
Languages (1962, German); co-developer of Alcor-Illinois ALGOL 60 compiler LawrencePaulson, known for the text ML for the Working Programmer and the interactive...
and Jacob Ryan Smith about the budding romance between two young men. Paulson, Michael (2019-01-16). "He's 16 Going On Stardom: Meet Broadway's Next...
Gerard Milburn Anne Neville Alison Noble Andrew Orr-Ewing David Owen LawrencePaulson Josephine Pemberton Sandu Popescu Sarah Price Anne Ridley David Rubinsztein...
Lawrence Alan Agran (born February 2, 1945) is an American lawyer and the former mayor and a current city councilmember of Irvine, California. In May 2023...
Tillo, right end Jim Doran, quarterback Don Ferguson, left halfback LawrencePaulson, right halfback Bob Angle, and fullback Bill Chauncey. Dean Laun was...
a member of the band Tranzkuntinental. The band was started by Charlie Paulson and Xander Smith and features drag queens Detox, Rhea Litré, Vicky Vox...
The Wall Street Journal. pp. A1. Paulson, Henry M. Jr. (September 7, 2008). "Statement by Secretary Henry M. Paulson, Jr. on Treasury and Federal Housing...
Outstanding Supporting Actor in a Drama Series. In 2011, he portrayed Henry Paulson in the HBO movie Too Big to Fail and received another Primetime Emmy nomination...
MA. August 7, 1991. p. 43. Retrieved July 5, 2023 – via Newspapers.com. Paulson, Michael (March 18, 2007). "Giving Large". The Boston Globe. Boston, MA...
Harvey Lawrence Pekar (/ˈpiːkɑːr/; October 8, 1939 – July 12, 2010) was an American underground comic book writer, music critic, and media personality...