ARES3: Oberseminar Software Science
GdI-IFP: Introduction to Functional Programming (Vorlesung)
GdI-MfI-1-B: Mathematik für Informatik (Vorlesung)
GdI-MTL: Modal and Temporal Logic