Out of term and 3rd term office hours: Please email for an appointment.
Research interests
Axiomatisation, expressiveness and decision problems
Modal and temporal logics
Algebraic and first-order logic
Universal algebra and model theory
Metamathematics of arithmetic, foundations of mathematics