Lehre
Sommersemester 2016:
Wintersemester 2015/16:
Sommersemester 2015:
Wintersemester 2014/15:
Sommersemester 2014:
Wintersemester 2013/14:
Sommersemester 2013:
Wintersemester 2012/13:
Sommersemester 2012:
Wintersemester 2011/12:
Sommersemester 2011:
- Übungen zur Vorlesung Mathematische Logik.
- Seminar Modelltheorie: Pseudo-endliche Körper (mit Martin Ziegler).
Wintersemester 2010/11:
- Übungen zur Vorlesung Logik für Studierende der Informatik.
- Betreuung vom Seminar Modelltheorie.
Sommersemester 2010:
- Übungen zur Vorlesung Modelltheorie II.
- Seminar Modelltheorie: Stabile Gruppen (mit Martin Ziegler).
Wintersemester 2009/10:
- Übungen zur Vorlesung Logik für Informatiker.
- Betreuung vom Oberseminar Mathematische Logik.