top of page
CURRENT COURSES
-
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