Accepting PhD Students

20022018
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 PhD

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
Game Semantics Mathematics
Game Mathematics
Semantics Engineering & Materials Science
Linear Logic Mathematics
Computer programming languages Engineering & Materials Science
Schedule Mathematics
Syntactics Engineering & Materials Science
Relational Model Mathematics

Projects 2008 2018

ALPUIS

McCusker, G. & Ioannidis, C.

Engineering and Physical Sciences Research Council

1/11/1330/04/18

Project: Research council

Industry
Computer science
Mathematical models
Economics
Security systems

ALPUIS

Ioannidis, C. & McCusker, G.

Engineering and Physical Sciences Research Council

1/10/1330/04/18

Project: Research council

Industry
Computer science
Mathematical models
Economics
Security systems
Computer systems
Formal languages
Rigidity
Computer programming languages
Formal verification

Research Output 2002 2015

93 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
Game Semantics
Interleaving
Schedule
Multimap (map)
Game
12 Citations (Scopus)
103 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
Game
Syntactics
Monoidal Category
Resources
Relational Model
1 Citation (Scopus)
96 Downloads (Pure)

Imperative programs as proofs via game semantics

Churchill, M., Laird, J. & McCusker, G., Nov 2013, In : Annals of Pure and Applied Logic. 164, 11, p. 1038-1078 41 p.

Research output: Contribution to journalArticle

Open Access
File
Game Semantics
Linear Logic
Intuitionistic Logic
Game
First-order
24 Citations (Scopus)
100 Downloads (Pure)

Weighted relational models of typed Lambda-Calculi

Laird, J. D., Manzonetto, G., Mccusker, G. & Pagani, M., 1 Jun 2013, 2013 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS). Los Alamitos, California: IEEE, p. 301-310 10 p. (Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)).

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

Open Access
File
Typed lambda Calculus
Relational Model
Linear Logic
Boolean Ring
Enriched Category
29 Citations (Scopus)
81 Downloads (Pure)

A graphical foundation for schedules

McCusker, G., Power, J. & Wingfield, C., 24 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 286, p. 273-289 16 p.

Research output: Contribution to journalArticle

Open Access
File
Schedule
Chemical analysis
Semantics
Game Semantics
Associativity

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