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

Anderson, G., McCusker, G. and Pym, D., 2016. A Logic for the Compliance Budget. *In*: Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. and Casey, W., eds. *Proceedings, GameSec 2016- Decision and Game Theory for Security.* Springer Verlag, pp. 370-381.

McCusker, G., Power, J. and Wingfield, C., 2015. A graphical foundation for interleaving in game semantics. *Journal of Pure and Applied Algebra*, 219 (4), pp. 1131-1174.

Churchill, M., Laird, J. and McCusker, G., 2013. Imperative programs as proofs via game semantics. *Annals of Pure and Applied Logic*, 164 (11), pp. 1038-1078.

Laird, J. D., Manzonetto, G., Mccusker, G. and Pagani, M., 2013. Weighted relational models of typed Lambda-Calculi. *In*: *2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)*, 2013-06-25 - 2013-06-28. Los Alamitos, California: IEEE, pp. 301-310.

Laird, J., Manzonetto, G. and McCusker, G., 2013. Constructing differential categories and deconstructing categories of games. *Information and Computation*, 222, pp. 247-264.

McCusker, G., Power, J. and Wingfield, C., 2012. A graphical foundation for schedules. *Electronic Notes in Theoretical Computer Science*, 286, pp. 273-289.

Komendantskaya, E., McCusker, G. and Power, J., 2011. Coalgebraic semantics for parallel derivation strategies in logic programming. *In*: Johnson, M. and Pavlovic, D., eds. *Algebraic Methodology and Software Technology.Vol. 6486.* Springer, pp. 111-127.

Laird, J., Manzonetto, G. and McCusker, G., 2011. Constructing differential categories and deconstructing categories of games. *In*: Aceto, L., Henzinger, M. and Sgall, J., eds. *Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings.* Heidelberg, Germany: Springer, pp. 186-197.

Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. IEEE, pp. 65-74.

McCusker, G. A. and Power, J., 2010. Modelling local variables: possible worlds and object spaces. *Electronic Notes in Theoretical Computer Science*, 265, pp. 389-402.

Calderon, A. C. and McCusker, G. A., 2010. Understanding game semantics through coherence spaces. *Electronic Notes in Theoretical Computer Science*, 265, pp. 231-244.

McCusker, G. A., 2010. A graph model for imperative computation. *Logical Methods in Computer Science*, 6 (1), Paper 2.

McCusker, G. and Ghica, D., 2008. Foreword for special issue of APAL for GaLoP 2005. *Annals of Pure and Applied Logic*, 151 (2-3), p. 69.

McCusker, G. and Power, J., 2008. Logic Programs as Coalgebras. *In*: *Proc. CMCS Short Contributions 2008.* .