Teaching/Lehre

  1. University of Konstanz
    • 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).