Projects per year
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.
- 1 Similar Profiles
Projects
- 9 Finished
-
-
Games and Differential Nets for Concurrent Systems
Laird, J. (PI), Guglielmi, A. (CoI), McCusker, G. (CoI) & Power, J. (CoI)
1/08/15 → 30/11/17
Project: Research council
-
-
Efficient and Natural Proof Systems
Guglielmi, A. (PI), Bruscoli, P. (CoI) & McCusker, G. (CoI)
1/02/13 → 12/05/16
Project: Research council
-
Sharing and Sequentiality in Proof Systems with Locality
Guglielmi, A. (PI), Bruscoli, P. (CoI), Laird, J. (CoI), McCusker, G. (CoI) & Power, J. (CoI)
29/03/12 → 30/06/14
Project: Research council
-
Interaction Improvement
Lancelot, A., Manzonetto, G., McCusker, G. & Vanoni, G., 29 Apr 2026, (Acceptance date). 44 p.Research output: Contribution to conference › Paper › peer-review
-
An Axiomatic Account of a Fully Abstract Game Semantics for General References
Laird, J. & McCusker, G., 2 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (eds.). Cham, Switzerland: Springer, Cham, p. 251-292 42 p. (Outstanding Contributions to Logic; vol. 25).Research output: Chapter or section in a book/report/conference proceeding › Book chapter
-
The Functional Machine Calculus II: Semantics
Barrett, C., Heijltjes, W. & McCusker, G., 3 Feb 2023. 18 p.Research output: Contribution to conference › Paper › peer-review
Open Access5 Link opens in a new tab Citations (SciVal) -
Composing dinatural transformations: Towards a calculus of substitution
McCusker, G. & Santamaria, A., 31 Oct 2021, In: Journal of Pure and Applied Algebra. 225, 10, 57 p., 106689.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Link opens in a new tab Citation (SciVal)209 Downloads (Pure) -
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 journal › Article › peer-review
Open AccessFile1 Link opens in a new tab Citation (SciVal)1054 Downloads (Pure)
Prizes
-
LICS Test of Time Award
McCusker, G. (Recipient), 27 Apr 2018
Prize: Prize (including medals and awards)
Activities
- 1 Visiting professor
-
Aix-Marseille University
McCusker, G. (Visiting researcher)
1 Nov 2023 → 2 Dec 2023Activity: Visiting an external academic institution › Visiting professor