Fall 2020. Set Theory (UGent).
Fall 2019. Set Theory (UGent).
Spring 2019. Seminar in Mathematical Logic (TU Wien).
Fall 2018. Seminar in Mathematical Logic (TU Wien).
Spring 2018. Ordinal Analysis and Consistency Proofs (TU Wien).
Pi12-Proof Theory. Proof Society Winter School. Madeira, December 2021.
The Axiom of Determinacy. Twelfth International Tbilisi Summer School in Logic and Language. Tbilisi, September 2016.