1. University of Konstanz
    • Oberseminar “Mathematische Logik” zusammen mit Merlin Carl und Salma Kuhlmann (Sommersemester 2018).
    • Hauptseminar “Genauer gesagt: Formale Methoden in der Philosophie” (Sommersemester 2018).
    • Hauptseminar “Platons Theätet” (Sommersemester 2018).
    • Proseminar “Formale Logik I” (Wintersemester 2017/2018).
    • Hauptseminar “Axiomatization and Independence: Selected Topics in the Philosophy of Set Theory”, together with Daniel Kuby (Wintersemester 2016/2017).
  2. University of Vienna
    • Logic tutorial (2010-2015).
    • Logic course, collaboration and lecture under supervision of Prof. Ramharter (2013-2015).