University of Bath

Dr James Laird Reader in computer science

James Laird is a member of the Mathematical Foundations research group.

Contact details 01225 384438

View all contact details



  • Denotational semantics: the interpretation of computer programs and logical proofs as mathematical objects
  • Use of denotational semantics to describe, constrain and reason about particular computational effects, control and data flow

This person is available to supervise research degree projects

Related posts

  • Director of Postgraduate Studies (PhD)