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

Personal website: http://www.cl.cam.ac.uk/~lp15/


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

POPL 2016-profile
View general profile