Es werden Lehrveranstaltungen im Bereich der Softwareentwicklung, der formalen Methoden und der semantischen Grundlagen angeboten.

Wenn nicht explizit anders vermerkt, richten sich alle Lehrveranstaltungen an Studenten des Elitestudiengangs "Software engineering".