My research interests lie in and around denotational semantics: the interpretatation of computer programs and logical proofs as mathematical objects, such as strategies for a game, functions between domains or morphisms in a category.
This year I am teaching course CM10194 - Systems Architecture I. The home page for this course is here .
- The mathematical foundations research group in computer science at Bath.
- Denotational Semantics for the Evaluation Behaviour of Computer Programs. A collaboration between the mathfound group and the Research centre for Verification and Semantics , AIST, Japan.
- The Wessex Theory Seminar.