Lawrence C. Paulson
E822906
Lawrence C. Paulson is a British computer scientist known for his pioneering work in interactive theorem proving and formal methods, particularly in connection with the Isabelle proof assistant.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Lawrence C. Paulson canonical | 1 |
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
researcher ⓘ |
| affiliation | Isabelle community ⓘ |
| areaOfInfluence |
formal methods in software engineering
ⓘ
mechanized theorem proving ⓘ |
| contributedTo |
formal verification of security protocols
ⓘ
formalization of mathematics in Isabelle ⓘ |
| countryOfCitizenship | United Kingdom ⓘ |
| educatedAt |
University of California, Berkeley
ⓘ
Cambridge University ⓘ
surface form:
University of Cambridge
|
| employer |
Cambridge University
ⓘ
surface form:
University of Cambridge
|
| fieldOfWork |
automated reasoning
ⓘ
computer science ⓘ formal methods ⓘ interactive theorem proving ⓘ logic in computer science ⓘ |
| gender | male ⓘ |
| hasAcademicDiscipline |
mathematical logic
ⓘ
theoretical computer science ⓘ |
| hasAcademicTitle | Professor ⓘ |
| hasNotableStudent |
Markus Wenzel
NERFINISHED
ⓘ
Tobias Nipkow NERFINISHED ⓘ |
| hasPublicationType |
books
ⓘ
conference papers ⓘ research articles ⓘ |
| hasRole |
developer of Isabelle
ⓘ
supervisor of PhD students in computer science ⓘ |
| influenced |
development of modern proof assistants
ⓘ
research in formal verification ⓘ |
| knownFor |
Isabelle proof assistant
NERFINISHED
ⓘ
formal verification ⓘ interactive theorem proving ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf | Computer Laboratory, University of Cambridge NERFINISHED ⓘ |
| nationality | British ⓘ |
| notableAchievement |
pioneering work in formal methods
ⓘ
pioneering work in interactive theorem proving ⓘ |
| notableWork |
applications of Isabelle to formal verification
ⓘ
development of the Isabelle theorem prover ⓘ |
| occupation |
research scientist
ⓘ
university professor ⓘ |
| positionHeld | Professor of Computer Science at the University of Cambridge ⓘ |
| researchInterest |
higher-order logic
ⓘ
semantics of programming languages ⓘ verification of cryptographic protocols ⓘ |
| workplace | University of Cambridge NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Isabelle