About Me

I am a lecturer in the Department of Computer Science at the University of Bath (UK). You can contact me using this link . Here is a short cv.

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 .

Links