معرفی
Guy McCusker serves as Professor and Deputy Head of Department in the Department of Computer Science at the University of Bath, where he actively supervises doctoral students and leads research in programming language semantics. His current projects include LMS Scheme 7: Imperative Taylor Expansion (2026-2026) and collaborations with institutions like Aix-Marseille University.
His research centers on game semantics, quantitative semantics, and logical approaches to decision-making for information security. Key themes include the mathematical foundations of computation, non-classical logic applications in security policy, and the interplay between category theory and programming language design. His fingerprint analysis reveals strong connections to lambda-calculus (100%), programming language theory (100%), and event calculus (50%).
Recent publications demonstrate consistent focus on dinatural transformations, compositionality problems, and history-based logics across top venues like CSL and LIPIcs. His work bridges theoretical computer science with practical security applications through rigorous semantic frameworks.
Scientific recognition includes:
- LICS Test of Time Award (2018) for foundational contributions to game semantics
He has secured significant funding from EPSRC, Royal Society, and London Mathematical Society for projects including Games and Differential Nets for Concurrent Systems (2015-2017) and ALPUIS (2013-2018). His supervision portfolio encompasses 9 completed student works with emphasis on programming language theory.
McCusker maintains active collaborations with Jim Laird, Alessio Guglielmi, and John Power, recently serving as Visiting Professor at Aix-Marseille University (Nov-Dec 2023). His research group focuses on categorical approaches to computation and security-aware language design.
