- Grundlagen der Berechenbarkeit
- Berechenbarkeit
- Reelle Berechenbarkeit
- Mathematische Logik
- Algorithmen und Komplexität
- Ausgewählte Kapitel aus der Komplexitätstheorie
- Quantencomputer
- Analysis 1 & 2
- Lineare Algebra 1 & 2
- Numerik und Differentialgleichungen
- Seminar: Algorithmische Lerntheorie
- Seminar: Funktionalanalysis
- Seminar: Symbolische Dynamik und Codierung
- Seminar: Lineare Logik