Past Courses

Spring, 2025. Categorical logic and type theory (Univ. of Coimbra)

Spring, 2024. Quantum logic (Univ. of Minho)

Fall, 2022. Mathematical logic (Australian National University)

Spring, 2022. Advanced linear algebra (Univ. of Minnesota)

Fall, 2021. Elementary linear algebra (Univ. of Minnesota)