GdI-IFP: Introduction to Functional Programming
GdI-MfI-1-B: Mathematik für Informatik 1
GdI-MTL: Modal and Temporal Logic
GdI-Proj-M: Masterprojekt Grundlagen der Informatik