Teaching

• Mathematik für Informatiker 1 Übungen (WS14/15)
• Mathematik für Informatiker 2 Übungen (SS14, SS15, SS16, SS17, SS18, SS19)
• Mathematik für Informatiker 2 Tutorium (SS16, SS17, SS18)
• Sicherheit: Fragen und Lösungsansätze Übungen (WS15/16, WS16/17)
• Übersetzerbau Übungen (WS17/18)
• Logische Methoden des Software Engineering Übungen (WS15/16, WS16/17, WS17/18, WS18/19)
• Logische Methoden des Software Engineering Praktikum (WS18/19)

Seminars

• Proseminar Software Engineering im Cloud Computing (SS14, SS17)
• Proseminar Geschichte der Programmierung (WS14/15, SS18)
• Seminar Ausgewählte Methoden der Automatischen Programmsynthese (WS15/16)