- Algorithmische Geometrie
- Berechenbarkeit
- Fachdidaktik I und II
- Formale Sprachen
- Model Checking
- Formale Sprachen
- Circuit Complexity
- Spezielle Kapitel der Theoretischen Informatik
- Komplexitätstheorie
- Algorithmische Geometrie
- Datenkompression
- Berechenbarkeit
- Diskrete Optimierung
- Model Checking
- Spezielle Kapitel der theoretischen Informatik
- Codierung und Verschlüsselung
- Informatik III
- Fachdidaktik I
- Theoretische Informatik
- Formale Sprachen
- Petrinetze
- Circuit Complexity
- Komplexität und Berechenbarkeit
- Kryptologie
- Informatik III
- Komplexitätstheorie
- Komplexität und Berechenbarkeit
- Fachdidaktik I
