Foundations of Complexity Theory
Graduate Course (M.Sc.), TU Dresden, Knowledge-Based Systems Group, most recent year: 2020
Teaching
Relational Database Systems II
Graduate Course (M.Sc.), TU Braunschweig, Institut für Informationssysteme, most recent year: 2019
Prozessalgebra
Graduate Course (M.Sc.), TU Braunschweig, Institut für Programmierung und Reaktive Systeme, most recent year: 2017