• 1 WEST 4.54

Accepting Doctoral Students

19982019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Semantics of programming languages and logics, especially game semantics and quantitative semantics. Logical approaches to decision making, particularly for information security. Programming language theory. 

Willing to supervise doctoral students

I welcome applications from prospective PhD students with interests in semantics of programming languages and logic in computer science. 

Fingerprint Dive into the research topics where Guy McCusker is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Projects

ALPUIS

McCusker, G. & Ioannidis, C.

Engineering and Physical Sciences Research Council

1/11/1330/04/18

Project: Research council

  • ALPUIS

    Ioannidis, C. & McCusker, G.

    Engineering and Physical Sciences Research Council

    1/10/1330/04/18

    Project: Research council

  • Research Output

    A History Based Logic for Dynamic Preference Updates

    McCusker, G. & Baskent, C., 12 Nov 2019, In : Journal of Logic, Language and Information. p. 1-31 31 p.

    Research output: Contribution to journalArticle

    On Compositionality of Dinatural Transformations

    McCusker, G. & Santamaria, A., 31 Dec 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. & Jung, A. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 119. p. 33:1-33:22 22 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A Logic for the Compliance Budget

    Anderson, G., McCusker, G. & Pym, D., 2016, Proceedings, GameSec 2016- Decision and Game Theory for Security: 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016. Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. & Casey, W. (eds.). Springer Verlag, p. 370-381 (Lecture Notes in Computer Science; vol. 9996).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • 1 Citation (Scopus)
    89 Downloads (Pure)

    A graphical foundation for interleaving in game semantics

    McCusker, G., Power, J. & Wingfield, C., 1 Apr 2015, In : Journal of Pure and Applied Algebra. 219, 4, p. 1131-1174 44 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 120 Downloads (Pure)

    Constructing differential categories and deconstructing categories of games

    Laird, J., Manzonetto, G. & McCusker, G., Jan 2013, In : Information and Computation. 222, p. 247-264 18 p.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 12 Citations (Scopus)
    128 Downloads (Pure)

    Thesis

    A general view of normalisation through atomic flows

    Author: Gundersen, T., 1 Aug 2009

    Supervisor: McCusker, G. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Auto-tuning compiler options for HPC

    Author: Jones, J., 4 Sep 2019

    Supervisor: McCusker, G. (Supervisor) & Davenport, J. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Bounding Betti Numbers of Sets Definable in O-Minimal Structures Over the Reals

    Author: Clutha, M., 1 Jan 2011

    Supervisor: Vorobjov, N. (Supervisor) & McCusker, G. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Graphical Foundations for Dialogue Games

    Author: Wingfield, C., 31 Dec 2013

    Supervisor: McCusker, G. (Supervisor) & Power, A. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Imperative Programs as Proofs via Game Semantics

    Author: Churchill, M., 1 Oct 2011

    Supervisor: McCusker, G. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File