Lecture "Automated Reasoning" (with C. Weidenbach).
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).