Christoph Sprenger: Lehrveranstaltungen im Frühjahrssemester 2022

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
252-0058-00LFormal Methods and Functional Programming Information 7 KP4V + 2U
252-0058-00 VFormal Methods and Functional Programming
Findet im HG E 7 mit Videoübertragung ins HG E 3 statt.
4 Std.
Di10:15-12:00HG E 3 »
10:15-12:00HG E 7 »
Do10:15-12:00HG E 3 »
10:15-12:00HG E 7 »
P. Müller, C. Sprenger
252-0058-00 UFormal Methods and Functional Programming2 Std.
Di14:15-16:00CAB G 52 »
14:15-16:00CAB G 57 »
14:15-16:00NO D 11 »
Mi10:15-12:00CAB G 52 »
10:15-12:00ETZ F 91 »
10:15-12:00LEE C 114 »
10:15-12:00LFW C 11 »
16:15-18:00CHN D 42 »
16:15-18:00CHN F 46 »
16:15-18:00HG G 26.5 »
P. Müller, C. Sprenger
263-4600-00LFormal Methods for Information Security Information 5 KP2V + 1U + 1A
263-4600-00 VFormal Methods for Information Security2 Std.
Di10:15-12:00CAB G 59 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 Std.
Di12:15-13:00CAB G 59 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 AFormal Methods for Information Security1 Std.S. Krstic, R. Sasse, C. Sprenger