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 |