CPP
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
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/

POPL 2016 Activities

POPL 2016-profile
View general profile