|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:California_Institute_of_Technology
gptkb:Stanford_University
|
|
gptkbp:author
|
gptkb:Isabelle:_A_Generic_Theorem_Prover
ML for the Working Programmer
Logic and Computation: Interactive Proof with Cambridge LCF
|
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_Association_for_Computing_Machinery
gptkb:Fellow_of_the_Royal_Society
gptkb:Fellow_of_the_British_Computer_Society
|
|
gptkbp:birthYear
|
1955
|
|
gptkbp:doctoralAdvisor
|
gptkb:John_McCarthy
|
|
gptkbp:employer
|
gptkb:University_of_Cambridge
|
|
gptkbp:field
|
gptkb:logic
computer science
formal methods
automated theorem proving
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Lawrence Paulson
|
|
gptkbp:knownFor
|
research in formal verification
Isabelle theorem prover
work on interactive theorem proving
|
|
gptkbp:memberOf
|
gptkb:Clare_College,_Cambridge
|
|
gptkbp:nationality
|
British
|
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:professor
|
|
gptkbp:website
|
https://www.cl.cam.ac.uk/~lp15/
|
|
gptkbp:bfsParent
|
gptkb:Automated_Theorem_Proving
|
|
gptkbp:bfsLayer
|
7
|