| LV-Typ | Kurs | Prüfung | LV-Leiter |
|---|---|---|---|
| VO | Theoretische Informatik | siehe ZEUS | S. Rass |
| PR | Theoretische Informatik | siehe ZEUS | R. Wigoutschnigg |
| VO | Algorithmen & Komplexitätstheorie | siehe ZEUS | S. Rass |
| PR | Algorithmen & Komplexitätstheorie | siehe ZEUS | S. Rass |
| VK | Sicherheitsinfrastrukturen | KV + Vortrag | S. Rass |
| Labor | Systemsicherheit | Labortage werden in der Vorbesprechung festgelegt | P. Schartner |
| PV | Systemsicherheit | Vorträge im Laufe des Semesters |
P. Schartner S. Rass |
| VK | Formal Methods in Informatics (Doktoratsprogramm "Informatik") | siehe ZEUS |
W. Faber S. Rass |
| Softwarepraktika, Bakkalaureatsarbeiten und Masterarbeiten | Am Ende |
P. Schartner S. Rass R. Wigoutschnigg |