EPSRC logo
Researcher Details
 
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