teaching
Curent and past teaching activities.
Current Teaching
- COMP313 Formal Methods. This is a third-year undergraduate module covering the basics of verification: Logics, Specification languages, LTL model checking and Reactive Synthesis.
- COMP122 Object-oriented programming. This is a compulsory first year UG module for all our computer science degree programmes and also attracts the odd visiting student or people from other schools. The module covers Imperative programming in Java, OOP key concepts and Design Patterns.
Past Teaching
- COMP122 Object-oriented programming (Liverpool, since 2019; old pages).
- CS4 Algorithmic Game Theory and Applications (Edinburgh, 2017)
- CS131 Mathematics for Computer Scientists II (Warwick, 2015)
- CS415 Decision Procedures (Warwick, 2015)