Professor of Computing / Director of Studies (Research Programmes) and Director of Research
East Building East Building 3.2-4-6 Desk 30
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
Churchill, M., Laird, J. and McCusker, G., 2013. Forthcoming. Imperative programs as proofs via game semantics. Annals of Pure and Applied Logic
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-Verlag, 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. Vol. 6756. Heidelberg: Springer-Verlag, pp. 186-197.
Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. In: 26th Annual IEEE Symposium on Logic in Computer Science (LICS) 2011. 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. .
