Teaching

---

• Grigorii Stepanov (TU Wien, since 2022).
   
• Thibaut Kouptchinsky (TU Wien, since 2023).
   
• Anton Fernández (TU Wien, since 2024).
   
• Miguel Aguilar (TU Wien, since 2024, joint with Ekaterina Fokina).
   
• Jareb Navarro (UNAM, since 2025, joint with Osvaldo Guzmán).

• Ferre Vanden Kerchove (UGent 2021).
   
• Ben de Smet (UGent 2021).
   
• Thibaut Kouptchinsky (UCLouvain 2023).
   
• Aäron Roex (UGent 2023).
   
• Antón Fernández (U Barcelona 2024).

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

• Roger Asensi (MSc at U Barcelona 2024).
   
• Adam Moore (MPhil at U Cambridge 2024).
   
• Renrui Qi (PhD at Victoria University of Wellington 2026).

Summer 2026. Reverse Mathematics (TU Wien).
  

Summer 2026. Mathematical logic seminar (TU Wien).
 

Summer 2026. Computational logic seminar (TU Wien).

Winter 2025. Infinitary Logic (TU Wien).
 
Summer 2024. Admissible Computability and Set Theory (TU Wien).

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

Model Theory of Infinitary Logic. Winter School on Logic and Set Theory. Morelia, December 2024.

  
Infinite Game Theory. Indian Summer School on Logic and Applications. Goa, June 2024.

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.