Dr James Laird Dr James Laird
James is an academic member of staff in the Department of Computer Science.
Research
- 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
Publications
Role
Related posts
- Director of Postgraduate Studies (PhD)