Lehre

Wintersemester 2017/18

• Assistant for Modelltheorie: Übungen.
• Seminar über Modelltheorie differentieller Körper.

Vergangene Lehre

Sommersemester 2017

• Assistant for Mathematische Logik.
• Seminar über Ultraprodukte und Asymptotische Modelltheorie.

Wintersemester 2016/17

• Assistant for Rekursionstheorie.
• Seminar über Modelltheorie.