CPP 2016
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

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile