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.