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 will be on sabbatical leave Jan-August 2020, so I will not be supervising undergraduate projects.
- 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.