Teaching

I currently teach Formal Methods (COMP313) a final year module covering Z specification, temporal logic specification and model checking. N.B., for local access to teaching materials, see here (internal only).

At one time or another I have taught all of the following:

Automated Reasoning (resolution, unification, strategies, etc)
Object-Oriented Programming Languages (Java, C++, Self, etc)
Logic Programming (Prolog, Parlog, CLP, etc)
Program Design (Design Patterns, etc)
Objects and Concurrency (Actors, etc)
Agents (theory, programming, etc)
Non-Classical Logics (modal logic, temporal logic, etc)

PhD Supervision

In addition to numerous Masters students, I have been involved in the supervision of the following PhD students:

Clare Dixon (Ph.D., completed October 1996, University of Manchester)
Title: Strategies for Temporal Resolution
Alexander Bolotov (Ph.D., completed June 2000, Manchester Metropolitan University)
Title: Clausal Resolution for Branching-Time Temporal Logic
Diana Maynard (Ph.D., completed June 2000, Manchester Metropolitan University)
Title: Term Recognition Using Combined Knowledge Sources
Adam Kellett (Ph.D., completed March 2001, Manchester Metropolitan University)
Title: Implementing and Extending Concurrent MetateM
Mari Carmen Fernández-Gago (Ph.D., completed December 2003, University of Liverpool)
Title: Strategies for Temporal Resolution
Claudia Nalon (Ph.D., completed March 2004, University of Liverpool)
Title: Resolution for Logics of Time and Knowledge with Interactions
Benjamin Hirsch (Ph.D., completed May 2005, University of Liverpool)
Title: Programming Rational Agents
Nivea de Carvalho Ferreira (Ph.D., completed June 2006, University of Liverpool)
Title: Programming Uncertain Agents.
Celia Casado (Ph.D., completed October 2007, University of Liverpool)
Title: Flexible Text Recovery and Recognition from Degraded Historical Typewritten Documents.
Anthony Hepple (Ph.D., in progress, University of Liverpool)