Algorithmen und Datenstrukturen
Approximationsalgorithmen
Automatentheorie
Automaten und Komplexität
Logik und Logikprogrammierung
Logik in der Informatik
Randomisierte Algorithmen
Hauptseminar und Proseminar "Algorithmen und Komplexität"
Spezielle Kapitel der Komplexitätstheorie: Kompaktvorlesung im Sommersemester 2016
