Teaching

PhD Students

Grigorii Stepanov (TU Wien, since 2022).
Thibaut Kouptchinsky (TU Wien, since 2023).

Master's students

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

Bachelor's students

Willem Weyens (UGent 2023).
Oscar Jocqué (UGent 2023).

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.