Research

• algebraic logic
• modal and temporal logic

Research students

I am happy to consider supervising students for a Ph.D. research degree in areas related to my research.  If you are interested, please contact me to discuss it.  Information on applying to do a PhD is available from the Department of Computing webpage under research degrees.  The Department has some EPSRC funding for suitably qualified home and European PhD students but very little funding for overseas students.  Here is some information on scholarships etc., and some Departmental information on studentships.  Please also look at the College's prospectus page, and follow links found there.

Internships  Please note that the Department does not accept students from other Universities for short-term placements or internships to do projects here.

Some EPSRC-supported research projects

• Relation algebras of action and indeterminacy
  • A theorem prover constructed during this project by Maarten Marx and Stefan Schlobach can be used here.
• Efficient systems of dynamic interaction
  Jointly held with King's and University Colleges London
  Summary of final report
• Temporal and dynamic description logics (EPSRC Visiting Fellowship for Prof. M. Zakharyaschev, 12 months from Sep 98) Summary of final report
• Analysis and mechanisation of decidable first-order temporal logics
  Joint with Liverpool University and King's College London
• Relations across fields (Overseas travel grant)
• Hybrid logics of space and time (Ph.D. studentship)
• Knowledge Representation and Reasoning about Distances
  (joint with Liverpool University and King's College London)
  
• Order-topological and model-theoretic methods for modal logics