University of Bath

Dr James Laird Reader in computer science

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

Contact details

j.d.laird@bath.ac.uk 01225 384438

View all contact details

Research

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)