Teaching

Projects

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

Supervision

Denotational semantics 2024-2025

Computation Theory 2024-2025