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