University of Bath

Professor Guy McCusker Professor of Computing

Guy McCusker is a member of the Mathematical Foundations research group.

Portrait of Guy McCusker
Guy McCusker

Research

Details

  • 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

Related posts

  • Deputy Head of Department
  • Director of Research