Lehrveranstaltungen für Bachelorstudierende der Informatik:

Automaten, Sprachen und Komplexität (ASK)

Berechenbarkeit und Komplexität (BuK)

Grundlagen und Methoden der Kryptographie (GMK)

Randomisierte Algorithmen (RA)

Lehrveranstaltungen für Masterstudierende der Informatik:

Ausgewählte Kapitel der Algorithmik (AKA)

Effiziente Algorithmen (EA)

Verifikation (Ver)

Master RCSE:

Theoretical Computer Science (TCS)

Hauptseminar- und Proseminarangebote:

Haupt-/Proseminar KTEA

Hauptseminar AL