- Summer 2025
- Course Compiler Construction
- Seminar Advanced Topics in Formal Semantics
- Proseminar Introduction to Program Analysis
- Winter 2024/25
- Course Semantics and Verification of Software
- Seminar Trends in Computer-Aided Verification
- Bridging Course Foundations of Informatics
- Summer 2024
- Course Static Program Analysis
- Seminar Quantum Compilation
- Proseminar Data Structures and Algorithms
- Winter 2023/24
- Course Concurrency Theory
- Seminar Program Synthesis
- Seminar Deductive Verification (with Philipp Schroer)
- Bridging Course Foundations of Informatics
- Summer 2023
- Course Semantics and Verification of Software
- Proseminar Programming Languages
- Winter 2022/23:
- Course Compiler Construction
- Seminar Trends in Computer-Aided Verification
- Summer Course Modelling and Analysing Concurrent Systems
- Bridging Course Foundations of Informatics
- Summer 2022:
- Course Static Program Analysis
- Seminar Trends in Computer-Aided Verification
- Proseminar Introduction to Program Analysis
- Winter 2021/22:
- Course Concurrency Theory (with Joost-Pieter Katoen)
- Seminar Advanced Topics in Formal Semantics
- Seminar Formal Verification Meets Machine Learning
- Bridging Course Foundations of Informatics
- Summer 2021
- Course Semantics and Verification of Software
- Seminar Trends in Computer-Aided Verification
- Proseminar Introduction to Program Analysis
- Winter 2020/21:
- Course Compiler Construction
- Seminar Probabilistic Programming
- Proseminar Algorithms and Data Structures
- Bridging Course Foundations of Informatics
- Summer 2020:
- Course Static Program Analysis
- Course Informatik im Maschinenbau I (with R. Schlüter and A. Wortmann)
- Seminar Probabilistic Models of Concurrency
- Proseminar Introduction to Program Analysis
- Winter 2019/20:
- Course Concurrency Theory (with Joost-Pieter Katoen)
- Seminar Formal Semantics of Programming Languages
- Bridging Course Foundations of Informatics
- Summer 2019:
- Course Semantics and Verification of Software
- Seminar Program Synthesis
- Proseminar Introduction to Program Analysis
- Winter 2018/19:
- Course Compiler Construction
- Seminar Static Methods for Quantitative Program Analysis
- Proseminar Algorithms and Data Structures
- Bridging Course Foundations of Informatics
- Summer 2018:
- Winter 2017/18:
- Course Semantics and Verification of Software
- Course Concurrency Theory (with Joost-Pieter Katoen)
- Seminar Programming Language Design and Implementation
- Proseminar Introduction to Program Analysis
- Summer 2017:
- Winter 2016/17:
- Course Static Program Analysis
- Seminar Analysis and Verification of Pointer Programs
- Proseminar Introduction to Program Analysis
- Bridging Course Foundations of Informatics
- Summer 2016:
- Winter 2015/16:
- Course Concurrency Theory (with Joost-Pieter Katoen)
- Seminar Trends in Computer-Aided Verification
- Proseminar Algorithms and Data Structures
- Bridging Course Foundations of Informatics
- Summer 2015:
- Winter2014/15:
- Course Static Program Analysis
- Proseminar Turing Award Topics
- Seminar Trends in Computer-Aided Verification
- Bridging Course Foundations of Informatics
- Summer 2014:
- Course Compiler Construction
- Seminar Concurrency Theory
- Winter 2013/14:
- Course Concurrency Theory (with Joost-Pieter Katoen)
- Proseminar Algorithms and Data Structures
- Seminar Trends in Computer-Aided Verification
- Bridging Course Foundations of Informatics
- Summer 2013:
- Winter2012/13:
- Course Static Program Analysis
- Proseminar Turing Award Winners
- Seminar Success Stories in Formal Methods
- Bridging Course Foundations of Informatics
- Summer 2012:
- Course Compiler Construction
- Seminar Foundations of Multi-Core Memory Models
- Winter 2011/12:
- Course Semantics and Verification of Software
- Proseminar Algorithms and Data Structures
- Bridging Course Foundations of Informatics
- Summer 2011:
- Course Static Program Analysis
- Seminar Foundations of Multi-Core Memory Models
- Winter 2010/11:
- Course Compiler Construction
- Proseminar Algorithms and Data Structures
- Bridging Course Foundations of Informatics
- Summer 2010:
- Course Semantics and Verification of Software
- Seminar Programmanalyse (L2P-Lernraum)
- Winter 2009/10:
- Course Compiler Construction
- Seminar Concurrency Theory
- Proseminar Berüchtigte Fehler in Softwaresystemen
- Bridging Course Foundations of Informatics
- Summer 2009:
- Course Modeling Concurrent and Probabilistic Systems (with Joost-Pieter Katoen)
- Seminar Applying Formal Verification Methods to Embedded Systems
- Winter 2008/09:
- Course Semantics and Verification of Software
- Seminar Timed Automata
- Proseminar Berüchtigte Fehler in Softwaresystemen
- Bridging Course Foundations of Informatics
- Summer 2008:
- Course Compiler Construction
- Proseminar Spezifikationsformalismen
- Winter 2007/08:
- Course Modeling Concurrent and Probabilistic Systems (with Joost-Pieter Katoen)
- Seminar Software Abstractions
- Bridging Course Foundations of Informatics
- Summer 2007:
- Winter 2006/07:
- Course Compiler Construction
- Seminar Pointer Analysis
- Bridging Course Foundations of Informatics
- Summer 2006:
- Course Software Model Checking
- Seminar Model-Based Testing
- Winter 2005/06:
- Course Modelling Concurrent Systems
- Seminar Global Computing
- Proseminar Programmiersprachen
- Bridging Course Foundations of Informatics
- Summer 2005:
- Winter 2004/05:
- Summer 2004:
- Seminar Formal Models of Concurrency
- Winter 2003/04:
- Summer 2003:
- Winter 2002/03:
- Winter 2001/02:
- Course Programming Concurrent Systems
- Seminar Software Model Checking
- Summer 2001:
- Winter 2000/01:
- Course Modelling Concurrent Systems
- Winter 1999/2000:
- Course Rewriting Logic as a Semantic Framework for Concurrency (KTH Stockholm)
- Winter 1998/99:
- Summer 1998:
- Course Semantik von Programmiersprachen
- Winter1997/98:
- Seminar Theorie paralleler Prozesse
- Winter 1996/97:
- Course Semantik von Programmiersprachen (Philipps-Universität Marburg)
- Winter 1995/96:
- Course Parallele Prozesskalküle