Christoph Sprenger: Course units in Spring Semester 2019 |
| Name | Dr. Christoph Sprenger |
| Address | Institut f. Informationssicherheit ETH Zürich, CNB F 108 Universitätstrasse 6 8092 Zürich SWITZERLAND |
| Telephone | +41 44 632 75 56 |
| sprenger@inf.ethz.ch | |
| URL | http://people.inf.ethz.ch/csprenge/ |
| Department | Computer Science |
| Relationship | Lecturer |
| Number | Title | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|
| 263-4600-00L | Formal Methods for Information Security  | 4 credits | 2V + 1U | R. Sasse, C. Sprenger | |
| 263-4630-00L | Computer-Aided Modelling and Reasoning In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum. | 8 credits | 7P | C. Sprenger, D. Traytel | |