GdI-CaS-M: Theorie verteilter Systeme
GdI-GTI-B: Grundlagen der Theoretischen Informatik
GdI-IaS-M: Informationssicherheit
GdI-Proj-B
GdI-Sem: Seminar GdI - Funktionale reaktive Programmierung
GdI-Sem: Seminar GdI - Nicht-klassische Logiken