Department of Computer Science
 
mccusker_guy

Professor of Computing / Deputy Head of Department

1 West 4.54

Dept of Computer Science

Email: g.a.mccusker@bath.ac.uk

Tel: +44 (0) 1225 38 3578

 

Prof Guy McCusker

Profile

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.

Publications

Read publications by Guy McCusker

View more publications »