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

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. .

This list was generated on Sat Oct 21 20:16:40 2017 IST.

View more publications »