Teaching in Dortmund and Hagen
Winter term 2005, Universität Dortmund
- Projektgruppe: PG Automatische Analyse mit Automaten (PG 479)
Summer term 2005, Universität Dortmund
- Vorlesung: Formale Methoden des Systementwurfs (Wahlpflichtveranstaltung)
- Seminar: Formale Methoden für Objekte und Komponenten
Winter term 2004/05, Universität Dortmund
- Programmanalyse: Prinzipien und Anwendungen
- Datenstrukturen, Algorithmen und Programmierung (DAP) 1
Summer term 2004, FernUniversität in Hagen
- Kurs 1618: Einführung in die objektorientierte Programmierung
- Kurs 1616: Einführung in die objektorientierte Programmierung I (sprachliche Konzepte)
- Seminar 1920: Formale Methoden für Objekte und Komponenten
Winter term 2003/04, FernUniversität in Hagen
- Kurs 1798: Software-Architektur
- Kurs 1812: Programmanalyse: Prinzipien und Anwendungen
- Seminar 1910: Statische Analyse von Programmen
Summer term 2003, FernUniversität in Hagen
- Kurs 1618: Einführung in die objektorientierte Programmierung
- Kurs 1616: Einführung in die objektorientierte Programmierung I (sprachliche Konzepte)
Teaching at Dortmund University before 2003
Übungen (tutorials on lectures) and/or lectures on the following topics:
- Analysis and Verification of Parallel Systems (Winter 2002/03)
- Data Structures, Algorithms, and Programming 2 (Summer 2002)
- Efficient Algorithms (Summer 2001)
- Data Structures (Winter 2000/01)
- Communicating and Mobile Processes (Summer 2000)
- Data Structures (Winter 1999/2000)
- Computer Structures (Summer 1999)
- Verification of Infinite Systems (Winter 1998/99)
- Theory of Programming (Summer 1998)
- Logical Process Specification (Winter 1997/98)