Dr James Laird Reader in computer science
James Laird is a member of the Mathematical Foundations research group.
- 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