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 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
- 9 Finished
Games and Differential Nets for Concurrent Systems
Laird, J., Guglielmi, A., McCusker, G. & Power, A.
1/08/15 → 30/11/17
Project: Research council
Industry
Computer science
Mathematical models
Economics
Security systems
Industry
Computer science
Mathematical models
Economics
Security systems
Efficient and Natural Proof Systems
Guglielmi, A., Bruscoli, P. & McCusker, G.
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, A.
29/03/12 → 30/06/14
Project: Research council
Research Output 1998 2018
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 proceeding › Conference contribution
Open Access
Compositionality
Lambda Calculus
Computer Science
Horizontal
Logic
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 proceeding › Chapter
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 journal › Article
Open Access
File
Game Semantics
Interleaving
Schedule
Multimap (map)
Game
11
Citations
(Scopus)
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)
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
Thesis
A general view of normalisation through atomic flows
Author: Gundersen, T., 1 Aug 2009Supervisor: McCusker, G. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Bounding Betti Numbers of Sets Definable in O-Minimal Structures Over the Reals
Author: Clutha, M., 1 Jan 2011Supervisor: Vorobjov, N. (Supervisor) & McCusker, G. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Graphical Foundations for Dialogue Games
Author: Wingfield, C., 31 Dec 2013Supervisor: McCusker, G. (Supervisor) & Power, A. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Imperative Programs as Proofs via Game Semantics
Author: Churchill, M., 1 Oct 2011Supervisor: McCusker, G. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Logical aspects of logical frameworks
Author: Price, M., 1 Nov 2008Supervisor: Pym, D. (Supervisor) & McCusker, G. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File