The spring semester 2021 will certainly take place online until Easter. Exceptions: Courses that can only be carried out with on-site presence. Please note the information provided by the lecturers.

Christoph Sprenger: Courses in Spring Semester 2019

Name Dr. Christoph Sprenger
Institut f. Informationssicherheit
ETH Zürich, CNB F 108
Universitätstrasse 6
8092 Zürich
Telephone+41 44 632 75 56
DepartmentComputer Science

263-4600-00LFormal Methods for Information Security Information 4 credits2V + 1U
263-4600-00 VFormal Methods for Information Security2 hrs
Thu09-11CHN D 44 »
R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 hrs
Thu11-12CHN D 44 »
R. Sasse, C. Sprenger
263-4630-00LComputer-Aided Modelling and Reasoning Information
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 credits7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 hrs
Fri09-13HG G 26.3 »
C. Sprenger, D. Traytel