Teaching

PhD Students

PhD: Grigorii Stepanov (TU Wien, since 2022).
Thibaut Kouptchinsky (TU Wien, from July 2023).

Master's students

Ferre Vanden Kerchove (UGent 2021).
Ben de Smet (UGent 2021).
Thibaut Kouptchinsky (UCLouvain, ongoing).
Aäron Roex (UGent, ongoing).

Bachelor's students

Willem Weyens (UGent, ongoing).
Oscar Jocqué (UGent, ongoing).

Courses

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).

Tutorials

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.