Talks
-
22 Apr 2026
The Category of Iterative Sets in Cubical Agda
Stockholm–Gothenburg Type Theory Meeting
-
6 Feb 2026
The Category of Iterative Sets in Cubical Agda
Master's thesis defence, Stockholm University
-
16 Sep 2025
A Gentle Introduction to Homotopy Type Theory
Stockholm Master in Mathematics Seminar
-
23 Apr 2024
Demystifying Proof Assistants: An Introduction to Interactive Theorem Proving
Stockholm Master in Mathematics Seminar