| LV-Typ | Kurs | Prüfung | LV-Leiter |
|---|---|---|---|
| VO | Theoretische Informatik | siehe ZEUS |
S. Rass P. Schartner |
| PR | Theoretische Informatik | siehe ZEUS | R. Wigoutschnigg |
| VK | Selected Topics in System Security | Vorträge + Übungen | S. Rass |
| Labor | Systemsicherheit | Labortage werden in der Vorbesprechung festgelegt | P. Schartner |
| PV | Systemsicherheit | Vorträge im Laufe des Semesters |
P. Schartner S. Rass |
| PR | Softwarepraktikum (inkl. BA-Arbeit) | siehe ZEUS |
P. Schartner Durchführung: Lehrende der Informatik |
| VC | Algorithmic Game Theory | siehe ZEUS |
P. Schweinzer S. Rass |
| VK | Formal Methods in Informatics (Doktoratsprogramm "Informatik") | siehe ZEUS |
W. Faber S. Rass |
|
Offene bzw. in Arbeit befindliche Softwarepraktika, Bakkalaureatsarbeiten und Masterarbeiten |
Am Ende |
P. Schartner S. Rass R. Wigoutschnigg |