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
- 3 Similar Profiles
Projects
- 9 Finished
-
Games and Differential Nets for Concurrent Systems
Laird, J., Guglielmi, A., McCusker, G. & Power, J.
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
-
ALPUIS
Ioannidis, C. & McCusker, G.
Engineering and Physical Sciences Research Council
1/10/13 → 30/04/18
Project: Research council
-
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
-
Sharing and Sequentiality in Proof Systems with Locality
Guglielmi, A., Bruscoli, P., Laird, J., McCusker, G. & Power, J.
29/03/12 → 30/06/14
Project: Research council
Research Output
-
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 AccessFile2 Downloads (Pure) -
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 -
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 AccessFile1 Citation (Scopus)105 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 › peer-review
Open AccessFile141 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 › peer-review
Open AccessFile14 Citations (Scopus)151 Downloads (Pure)