Ab 2. November 2020 findet das Herbstsemester 2020 online statt. Ausnahmen: Veranstaltungen, die nur mit Präsenz vor Ort durchführbar sind.
Bitte beachten Sie die per E-Mail kommunizierten Informationen der Dozierenden.

Christoph Sprenger: Lehrveranstaltungen im Frühjahrssemester 2019

NameHerr Dr. Christoph Sprenger
Adresse
Institut f. Informationssicherheit
ETH Zürich, CNB F 108
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telefon+41 44 632 75 56
E-Mailsprenger@inf.ethz.ch
URLhttp://people.inf.ethz.ch/csprenge/
DepartementInformatik
BeziehungDozent

NummerTitelECTSUmfangDozierende
263-4600-00LFormal Methods for Information Security Information 4 KP2V + 1U
263-4600-00 VFormal Methods for Information Security2 Std.
Do09-11CHN D 44 »
R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 Std.
Do11-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 KP7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 Std.
Fr09-13HG G 26.3 »
C. Sprenger, D. Traytel