- Wintersemester 2009/10:
- Course Compilerbau
- Seminar Concurrency Theory
- Proseminar Berüchtigte Fehler in Softwaresystemen
- Bridging Course Foundations of Informatics
- Sommersemester 2009:
- Wintersemester 2008/09:
- Course Semantics and Verification of Software
- Seminar Timed Automata
- Proseminar Berüchtigte Fehler in Softwaresystemen
- Bridging Course Foundations of Informatics
- Sommersemester 2008:
- Course Compilerbau
- Proseminar Spezifikationsformalismen
- Wintersemester 2007/08:
- Course Modeling Concurrent and Probabilistic Systems
- Seminar Software Abstractions
- Bridging Course Foundations of Informatics
- Sommersemester 2007:
- Wintersemester 2006/07:
- Course Compilerbau
- Seminar Pointer Analysis
- Bridging Course Foundations of Informatics
- Sommersemester 2006:
- Course Software Model Checking
- Seminar Model-Based Testing
- Wintersemester 2005/06:
- Course Modelling Concurrent Systems
- Seminar Global Computing
- Proseminar Programmiersprachen
- Bridging Course Foundations of Informatics
- Sommersemester 2005:
- Wintersemester 2004/05:
- Sommersemester 2004:
- Seminar Formal Models of Concurrency
- Wintersemester 2003/04:
- Wintersemester 2002/03:
- Wintersemester 2001/02:
- Course Programming Concurrent Systems
- Seminar Software Model Checking
- Sommersemester 2001:
- Wintersemester 2000/01:
- Course Modelling Concurrent Systems
- Wintersemester 1999/2000:
- Course Rewriting Logic as a Semantic Framework for Concurrency (KTH Stockholm)
- Wintersemester 1998/99:
- Sommersemester 1998:
- Course Semantik von Programmiersprachen
- Wintersemester 1997/98:
- Seminar Theorie paralleler Prozesse
- Wintersemester 1996/97:
- Course Semantik von Programmiersprachen (Philipps-Universität Marburg)
- Wintersemester 1995/96:
- Course Parallele Prozesskalküle
