Type | Course | Exam | Lecturer |
---|---|---|---|
VO | Theoretical Computer Science | siehe ZEUS |
S. Rass P. Schartner |
PR | Theoretical Computer Science | siehe ZEUS | R. Wigoutschnigg |
VK | Selected Topics in System Security | Presentation + Practical | 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") | see ZEUS |
W. Faber S. Rass |
Software Practical, Bachelor- and Master thesis | At the end |
P. Schartner S. Rass R. Wigoutschnigg |