Projects
I’m supervising a Part II computer science project on Lean formalisation of correspondence results on modal logic.
I would be willing to supervise other projects relating to category theory, logic, topos theory, and type theory. Please contact me 🙂
Tsinghua Logic Summer School
Introduction to Categorical Logic, together with Ivan Di Liberti.
Supervision
Logic and Proof 2025-2027
Denotational Semantics 2024-2027
Computation Theory 2024-2027
