Department of Computer Science
 
laird_james

Reader / Director of Postgraduate Studies (PhD)

1 West 4.64

Dept of Computer Science

Email: j.d.laird@bath.ac.uk

Tel: +44 (0) 1225 38 4438

 

Dr James Laird

Profile

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.

Publications

Read publications by James Laird

View more publications »