- 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)