• Fall 2021: Introduction to Algorithms (online lecture)
• Fall 2021: Theory of Computing (online lecture)
• Spring 2021: Introduction to Algorithms (online lecture)
• Fall 2020: Computer Science of Continuous Data:Algorithmic Foundation of Numerics (online lecture)
• Spring 2020: Design and Analysis of Algorithms (online lecture)
• Spring 2019: Theory of Computation (lecture)
• Fall 2018: Discrete Mathematics for Computer Science (lecture)
• Fall 2018: Introduction to Algorithms (lecture)
• Summer 2018: Algorithmic Foundations of Numerics (summer school)
• Spring 2018: Design and Analysis of Algorithms (lecture)
• Spring 2018: Discrete Mathematics for Computer Science (lecture)
• Spring 2018: Tensor Calculus in Exact Real Computation (capstone programming)
• Fall 2017: Discrete Mathematics (lecture)
• Fall 2017: Theory of Computation (lecture)
• Spring 2017: Design and Analysis of Algorithms (lecture)
• Fall 2016: Algorithmic Foundations of Numerics (lecture)
• Spring 2016: Design and Analysis of Algorithms (lecture)
• Fall 2015: Theory of Computation (lecture)
• Spring 2015: Computability in Analysis (lecture+tutorial, 2+1h/week, held by Dr. Matthias Schröder)
• Spring 2015: Computational Complexity in Analysis (lecture+tutorial, 2+1h/week)
• Fall 2014: Nonuniform Complexity Theory (seminar, 2h/week)
• Spring 2014: Algebraic Complexity Theory (lecture+tutorial, 2+1h/week)
• Spring 2013: Computability in Analysis (lecture+tutorial, 2+1h/week)
• Spring 2013: Logical Foundations of Computer Science I (lecture+tutorial, 2+1h/week)
• Spring 2013: Logical Foundations of Computer Science II (lecture+tutorial, 2+1h/week)
• Fall 2012: Structural Complexity Theory (seminar, 2h/week, held jointly with PD Dr. Ulrike Brandt
• Spring 2012: Algebraic, Topological, and Physical Aspects of Computing (lecture+tutorial, 2+1h/week)
• Fall 2011: Complexity Theory (lecture+tutorial, 2+2h/week)
• Spring 2011: Real Complexity (seminar, 2h/week, held jointly with PD Dr. Ulrike Brandt
• Spring 2011: Advanced Complexity Theory (lecture+tutorial, 2+1h/week)
• Spring 2011: Logical Foundations of Computer Science I+II (lecture+tutorial, 4+2h/week)
• Fall 2010: Complexity Theory (lecture+tutorial, 2+2h/week)
• Spring 2010: Introduction to Mathematical Logic (lecture+tutorial, 4+2h/week)
• Fall 2009: Computable Analysis (seminar, 2h/week)
• Fall 2008: Introduction to Computability, Complexity, and Formal Languages (lecture+tutorial, 4+2h/week)
• Fall 2008: Special Topics in Computer Science (lecture, 1CP)
• Spring 2008: Complexity Theory (lecture+tutorial, 2+1h/week)

See also our YouTube-Channel…