Teaching

Projects

I would be willing to supervise projects relating to category theory, logic, topos theory, type theory. Please contact me via email.

Tsinghua Logic Summer School

Introduction to Categorical Logic, together with Ivan Di Liberti.

Supervision

Logic and Proof 2025-2026

Denotational Semantics 2024-2026

Computation Theory 2024-2025