##
Selected Lectures evolving around the Theory of (Real) Computation

- 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)