Lawrence Paulson Scientist

Lawrence Charles Paulson (born 1955) is a professor at the University of Cambridge Computer Laboratory and a fellow of Clare College, Cambridge.

Personal facts

Birth dateJanuary 01, 1955
Birth nameLawrence Charles Paulson
Education
California Institute of Technology
Stanford University
Known for
ML (programming language)
Isabelle (proof assistant)

Search

Scientist

awards
Association for Computing Machinery
doctoral advisor
Field of study
Automated theorem proving
Computer security
Formal methods

Topical connections

Andy HopperScientist
Andy HarterScientist
Amir PnueliScientist
Éva TardosScientist
Aaron BobickScientist
Adriaan van WijngaardenScientist

Lawrence Paulson on Wikipedia

External resources

  1. http://search.proquest.com/docview/303229537
  2. http://www.cl.cam.ac.uk/~lp15