Guy McCusker
Logic and Semantics // Mathematical Foundations
Computer Science
University of Bath
Contact me
Research
Research students and postdocs past and present
- Alessio Santamaria
- Can Baskent
- Etienne Duchesne
- Fanny He
- Martin Churchill
- Ana Calderon
- Cai Wingfield
News
- May 2024: I was honoured to be an invited speaker at Differential λ-Calculus and Differential Linear Logic, 20 Years Later. I gave a talk on weighted relational models.
- November 2023: A talk on understanding relational models as algebras that I gave at Aix-Marseille Universite. This is work in progress and could contain more mistakes than usual.
- November 2023: I'm giving an introductory talk on denotational semantics to Master's students at Aix-Marseille Universite
- The Southern and Midlands Logic Seminar is a great series of meetings. It was my honour to give the first talk at the first meeting. If you are interested in this area and located conveniently, consider coming along to one of these days.
- The Department server lost my web page but the wayback machine still had it. I'm piecing it back together. It might take a minute.
Papers
For now I guess you could look at the partial list of publications on the University's Research Portal but we both know you would prefer to use Google scholar.
Teaching
Moodle pages (University of Bath people only):Data Structures and Algorithms (with help from Thomas Powell).
Logic and Semantics of Programming Languages