top of page

CURRENT COURSES

Categorical Logic

  • Time: Tuesday 15:00–16:30

  • Location: Room 5.5 (CMUC)

  • Table of contents:
    1. Propositional logic
    2. Simple type theory
    3. Predicate logic
    4. Dependent type theory
    5. Elementary and predicative topoi

PAST COURSES

Quantum logic (Spring 2024, the University of Minho)

Mathematical logic (fall 2022, Australian National University)

Advanced linear algebra (spring 2022, the University of Minnesota)

Elementary linear algebra (fall 2021, the University of Minnesota)

bottom of page