|
| Name: |
Professor LC Paulson |
| Organisation: |
University of Cambridge |
| Department: |
Computer Laboratory |
| Current EPSRC-Supported Research
Topics: |
|
Fundamentals of Computing
|
Software Engineering
|
|
System on Chip
|
|
|
| Current EPSRC Support |
| EP/I011005/1 | Automatic Proof Procedures for Polynomials and Special Functions | (P) |
|
| Previous EPSRC Support |
| EP/G002290/1 | Automated Formal Proofs for Polynomial and Transcendental Problems | (P) |
| EP/D070511/1 | LEO II: An Effective Higher-Order Theorem Prover | (P) |
| EP/C013409/1 | Beyond Linear Arithmetic: Automatic Proof Procedures for the Reals | (P) |
| GR/S57198/01 | Automation for Interactive Proof | (P) |
| GR/R01156/01 | Verifying Electronic Commerce Protocols | (P) |
| GR/M75440/01 | COMPOSITIONAL PROOFS OF CONCURRENT PROGRAMS | (P) |
| GR/K77051/01 | AUTHENTICATION LOGICS: NEW THEORY AND IMPLEMENTATIONS | (P) |
| GR/K57381/01 | MECHANISING TEMPORAL REASONING | (P) |
| GR/H40570/01 | COMBINING HOL WITH ISABELLE | (P) |
| GR/G53279/01 | VERIFYING ML PROGRAMS USING EVALUATION LOGIC | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Recognised Researcher
|
| |
|
|
|
|