Professor of Computer Science
Guy McCusker
Contact
Prof. Guy McCusker
Department of Computer Science
University of Bath
Bath
United Kingdom BA2 7AY
 
Phone +44 (0)1225 383578
Fax +44 (0) 1225 383493
 
Email g dot a dot mccusker at bath dot ac dot uk  
 
Office 1W 2.1  
 
What’s that pig in the picture? See the King Bladud’s Pigs site to find out. I love them piggies!  
Recent papers and things
  1. •A graph model for imperative computation, to appear in LMCS.
  2. •Towards a geometric foundation for game semantics (slides from a talk given at GaLoP IV, April 2009).
  3. •A games model of BI (slides from a talk given at QMUL, April 2007)
  4. •A games model of BI (joint work with David Pym; appeared in proceedings of CSL 2007)
  5. •Categorical models of Syntactic Control of Interference Revisited, Revisited (LMS J. Comput. Math (10) 176-216, June 2007).
  6. •A posetal Cartesian Doubly-Closed Category (very trivial one page note on two pages)
 
Publications and projects
  1. •Some of my research papers and talks
  2. •An experimental list of publications generated automatically by the University of Bath’s Online Publication Store, Opus.
  3. •Information on my research projects
 
Seminars
  1. • Mathematical Foundations Seminars. Usually Thursdays, 1.15pm.
  2. • Wessex Theory Seminar, a series of research days held jointly between Bath, Oxford, Southampton, Swansea and others.
 
Research matters
 
CS Research Support website.
 
PGR awayday 2008.
 
News
The Department of Computer Science has several fully funded PhD studentships available. If you are interested in working on programming language semantics, I would love to hear from you! Please get in touch, or apply for a position.