Guy McCusker

Prof

  • 1 WEST 4.54

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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Game Semantics Mathematics
Semantics Engineering & Materials Science
Game Mathematics
Linear Logic Mathematics
Computer programming languages Engineering & Materials Science
Schedule Mathematics
Syntactics Engineering & Materials Science
Relational Model Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2008 2018

ALPUIS

McCusker, G. & Ioannidis, C.

1/11/1330/04/18

Project: Research council

Industry
Computer science
Mathematical models
Economics
Security systems

ALPUIS

Ioannidis, C. & McCusker, G.

1/10/1330/04/18

Project: Research council

Industry
Computer science
Mathematical models
Economics
Security systems

Efficient and Natural Proof Systems

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

1/02/1312/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, A.

29/03/1230/06/14

Project: Research council

Research Output 2002 2018

  • 10 Article
  • 7 Chapter
  • 6 Doctoral Thesis
  • 3 Conference contribution

On Compositionality of Dinatural Transformations

McCusker, G. & Santamaria, A., 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
Compositionality
Lambda Calculus
Computer Science
Horizontal
Logic

The Atomic Lambda-Mu Calculus

He, F., Jan 2018, 153 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Computer science
Chemical analysis

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
Logic
Security policy
Behavioural change
Economic security
Breach

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

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

Thesis

A general view of normalisation through atomic flows

Author: Gundersen, T., 1 Aug 2009

Supervisor: McCusker, G. (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

Logical aspects of logical frameworks

Author: Price, M., 1 Nov 2008

Supervisor: Pym, D. (Supervisor) & McCusker, G. (Supervisor)

Student thesis: Doctoral ThesisPhD

File