Professor Guy McCusker Professor of Computing
Guy McCusker is a member of the Mathematical Foundations research group.
- Semantics of programming languages
- Game semantics
- Models of higher-order imperative programming languages and the type systems which can be used to constrain them
This person is available to supervise research degree projects