Winter Term 2018
Type | Course | Exam | Lecturer |
---|---|---|---|
VO | Theoretical Computer Science | see ZEUS | S. Rass |
PR | Theoretical Computer Science | see ZEUS | R. Wigoutschnigg |
VO | Algorithms & Complexity Theory | see ZEUS | S. Rass |
PR | Algorithms & Complexity Theory | see ZEUS | S. Rass |
VK | Security Infrastructures | Exercises + Student Talk | S. Rass |
Laboratory | System Security | Lab days will be fixed during first class meeting | P. Schartner |
PV | System Security | Student talks |
P. Schartner S. Rass |
VK | Formal Methods in Informatics (Doctoral School "Informatik") | see ZEUS |
W. Faber S. Rass |
Software Practical, Bachelor- and Master thesis | At the end |
P. Schartner S. Rass R. Wigoutschnigg |