Guy McCusker
Logic and Semantics // Mathematical Foundations
Computer Science
University of Bath
Contact me
Calendar
I have an experimental calendar online at tinyurl.com/guyscalendar which might be useful if you want to arrange a meeting.
Research
Research students
Seminars
- Mathematical Foundations Group Seminars
- Wessex Theory Seminar, a series of seminars bringing together several theory groups in the UK.
- Departmental seminars
News
- 1/5/2012: I have uploaded the slides from my inaugural lecture to Slideshare.
- 25/4/2012: I am giving my inaugural lecture this evening, after only just less than six years at Bath.
- 4/4/2012: I'm in Manchester for BCTCS 2012, getting ready to host BCTCS 2013 at Bath in March 2013.
- 3/4/2012: We've finished the Programme Committee work for MFPS 2012. The list of accepted papers is now available.
- 3/4/2012: Uday Reddy is visiting us today.
- 2/3/2012: A new paper, A Graphical Foundation for Schedules, jointly written with Cai Wingfield and John Power, has been accepted to appear at MFPS 2012.
- 4/3/2012: I am in Paris to visit Giulio Manzonetto and the rest of the team at LIPN for a month. I don't speak French! Help!
- Feb 2012: I gave some introductory lectures on game semantics for programming languages at Logic and Interaction 2012 in Marseille. You can see the slides in PDF form, or better the slides in PDF form with 9 to a page, or take a chance on this web-based version.
Papers
Below is a list of recent publications generated by the University's publications archive, Opus.
I also try to maintain separate pages for my papers and funded projects.
Papers in Opus
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. 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. Heidelberg: Springer Verlag, pp. 186-197.
Churchill, M., Laird, J. and McCusker, G., 2011. Imperative programs as proofs via game semantics. In: 2011 IEEE 26th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, pp. 65-74.
McCusker, G. and Power, J., 2010. Modelling local variables: possible worlds and object spaces. Electronic Notes in Theoretical Computer Science, 265, pp. 389-402.
Calderon, A. and McCusker, G., 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. .
McCusker, G. and Pym, D., 2007. A games model of bunched implications. In: Duparc, J. and Henzinger, T.A., eds. Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Berlin, Germany: Springer, pp. 573-588.
McCusker, G., 2007. Categorical semantics of Syntactic Control of Interference Revisited, Revisited. London Mathematical Society Journal of Computation and Mathematics, 10, pp. 176-206.
McCusker, G., 2004. On the semantics of the bad-variable constructor in Algol-like languages. In: Brookes, S. and Panagaden, P., eds. Proceedings, 19th International Conference on the Mathematical Foundations of Programming Semantics, MFPS XIX. Elsevier.
McCusker, G. and Ghica, D., 2003. The regular-language semantics of second-order Idealized Algol. Theoretical Computer Science, 309 (1-3), pp. 469-502.
McCusker, G., 2002. A fully abstract relational model of syntactic control of interference. In: Bradfield, J., ed. Computer Science Logic: Proceedings of 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL. Berlin, Germany: Springer, pp. 445-490.