Department of Computer Science

Professor of Computing / Deputy Head of Department

1 West 4.54

Dept of Computer Science


Tel: +44 (0) 1225 38 3578


Prof Guy McCusker


Research interests

Guy works in semantics of programming languages, especially game semantics. A long standing interest is in models of higher-order imperative programming languages, and the type systems which can be used to constrain them. Recent work investigates information flow through programs, with a view to understanding and reasoning about information security.


Read publications by Guy McCusker

View more publications »