Teaching

Current teaching:

• Computer-Aided Formal Verification, 2022-24

Previous teaching (at Oxford):

• Probabilistic Model Checking, 2008-2012
  (I maintain up-to-date copies of the lecture material here)

Previous teaching (University of Birmingham):

• Programming Language Principles, Design, and Implementation, 2020-22
• Theories of Computation, 2021-22
• Computer-Aided Verification, 2015-2019
• Secure Software and Hardware Systems, 2020-21
• Logic & Computation, 2018-19
• Language & Logic, 2016-18
• Introduction to Computer Science, 2014-15, 2016-17
• Information & the Web, 2012-15

Student Projects

I am happy to supervise final year or MSc projects. Here are some ideas.