Ausgewählte Kapitel der Komplexitätstheorie / Algorithmik
Automatische Strukturen
Automaten, Sprachen und Komplexität
Effiziente Algorithmen
Kryptographie
Verifikation
Algorithms (TCS)
Haupt- und Proseminar im Fachgebiet KTEA
