Department of Computer Science

Reader / Director of Postgraduate Studies (PhD)

1 West 4.64

Dept of Computer Science


Tel: +44 (0) 1225 38 4438


Dr James Laird


Research interests

Research interests lie in and around denotational semantics: the interpretation of computer programs and logical proofs as mathematical objects, such as strategies for a game, functions between domains or morphisms in a category. Jim aims to use these representations to describe, constrain and reason about particular computational effects and control and data flow generally.


Read publications by James Laird

View more publications »