Wintersemester 2018
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 |