Teaching

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