Write a Blog >>
Lawrence Paulson

Registered user since Fri 3 Jul 2015

Name:Lawrence Paulson
Bio:

I teach two undergraduate lecture courses: Foundations of Computer Science (an introduction to programming and algorithms, using Standard ML), and Logic and Proof (covering automatic theorem-proving technologies such as resolution and SAT-solving). My Master’s-level course, Interactive Formal Verification, is a hands-on introduction to Isabelle. Clare CollegeI am a Fellow of Clare College, where I have responsibility for admitting and supervising Computer Science students. I sit on Clare’s Governing Body and on various committees. I have long served as an editor of the Journal of Automated Reasoning and on the Programme Committees of numerous conferences. I was a founding editor of LMS Journal of Computation and Mathematics until 2007.

Affiliation:Cambridge University

Contributions

CPP 2016 A Modular, Efficient Formalisation of Real Algebraic Numbers
Committee Member in Program Committee within the CPP-track
Show activities from other conferences

POPL 2016-profile
View general profile