Lecture "Automated Reasoning II".
Lecture "Automated Reasoning".
Lecture "Automated Reasoning II".
Lecture "Automated Reasoning".
Lecture "Automated Reasoning II".
Lecture "Automated Reasoning".
Lecture "Automated Reasoning II" (with S. Tourret).
Lecture "Automated Reasoning".
Lecture "Automated Reasoning II".
Lecture "Automated Reasoning".
Lecture "Automated Reasoning II".
Lecture "Automated Reasoning".
Lecture "Automated Reasoning II".
Lecture "Automated Reasoning".
Seminar "Decision Procedures for Logical Theories" (with V. Sofronie-Stokkermans).
Seminar "Decision Procedures for Logical Theories" (with V. Sofronie-Stokkermans).
Lecture "Unix for Advanced Users".
Lecture "Automated Reasoning" (with C. Weidenbach).
Seminar "Decision Procedures for Logical Theories" (with V. Sofronie-Stokkermans).
Lecture "Automated Reasoning" (with H. Ganzinger and V. Sofronie-Stokkermans).
Tutorial [Viorica Sofronie-Stokkermans].
Lecture "Automated Deduction for Equational Logic".
Tutorial [Thomas Hillenbrand].
Tutorial for the lecture "Decision Procedures for Logical Theories" (H. Ganzinger).
Tutorial for the lecture "Logic for Computer Science" (H. Ganzinger).
Seminar "Entscheidungsverfahren für logische Theorien" (with H. Ganzinger and T. Hillenbrand).
Tutorial for the lecture "Programmiersprachen" (H. Ganzinger/A. Podelski).
Lecture "Einführung in die Informatik für Hörer aller Fakultäten II".
Tutorial [Werner Backes].
Lecture "Praxis des Programmierens".
Lecture "Unix für fortgeschrittene Benutzer".
Best teaching award of the Computer Science Students Association for "Automated Reasoning II" (SS 2016).
Best teaching award of the Computer Science Students Association for "Automated Reasoning" (SS 2004).