My main research is in logic and mathematical foundations. I have a particular interest in algebraic logic, modal and temporal logic, relation algebra, logical games, algebras of relations.
- Temporal and Modal Logic
- Algebraic Logic
- Game Theory
- PhD Ideas
- Project ideas for MSc, MEng, BSc final year students
- I belong to the Knowledge Representation and Reasoning Research Group
- I am a member of the London Logic Forum.
- I am a member of the London Mathematical Society.