Lehre

• Wintersemester 2013/14: Einführung in die Theoretische Informatik (Übung)
• Sommersemester 2013: Korrektur von Übungen zur Veranstaltung Algorithmen und Datenstrukturen
• Wintersemester 2012/13: Korrektur von Übungen zu den Veranstaltungen Stochastik für InformatikerInnen und Einführung in die Theoretische Informatik
• Sommersemester 2011 und 2012: R-Skript und Korrektur von Übungen zur Veranstaltung Werkzeuge der empirischen Forschung
• Sommersemester 2010: Theoretische Informatik 3 (Übung)

Sonstiges

Mathe-WarmUp: von 2008 bis 2012 habe ich diverse Übungen und VL fürs Mathe-WarmUp gehalten. Im SoSe 2010 veranstaltete die Fachschaft Informatik ein eigenes WarmUp. Die (für Erstsemester recht anspruchsvollen) Materialien dazu sind noch vorhanden .

Logik-AG : nicht mehr aktive AG an meiner ehemaligen Schule, die ich zusammen mit Steffen Zitzmann betreut habe (Ende 2006 - Mitte 2008). Ihr Ziel war es u.a. (Prädikaten-)Logik in möglichst einfacher Weise nahezubringen, da deren Fehlen im Unterricht m.E. ein Versäumnis darstellt. Ich bin selbstverständlich weiterhin an der Thematik interessiert und wer ein ähnliches (auch in anderen Bereichen der Mathematik/Informatik) Projekt ins Leben rufen möchte, kann mir gern eine E-Mail mit Ideen/Fragen schicken bzw. Erfahrungen austauschen.