Guy McCusker

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

9 Finished

Games and Differential Nets for Concurrent Systems

Laird, J., Guglielmi, A., McCusker, G. & Power, J.

The Royal Society

1/08/15 → 30/11/17

Project: Research council

ALPUIS

McCusker, G. & Ioannidis, C.

Engineering and Physical Sciences Research Council

1/11/13 → 30/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/13 → 30/04/18

Project: Research council

Industry

Computer science

Mathematical models

Economics

Security systems

Efficient and Natural Proof Systems

Guglielmi, A., Bruscoli, P. & McCusker, G.

Engineering and Physical Sciences Research Council

1/02/13 → 12/05/16

Project: Research council

Computer systems

Formal languages

Rigidity

Computer programming languages

Formal verification

Sharing and Sequentiality in Proof Systems with Locality

Guglielmi, A., Bruscoli, P., Laird, J., McCusker, G. & Power, J.

The Royal Society

29/03/12 → 30/06/14

Project: Research council

Research Output 2002 2015

10 Article
6 Chapter
2 Conference contribution

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 journal › Article

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 journal › Article

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 journal › Article

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 proceeding › Conference 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 journal › Article

Open Access

File

Schedule

Chemical analysis

Semantics

Game Semantics

Associativity