David Basin: Lehrveranstaltungen im Frühjahrssemester 2023

NameHerr Prof. Dr. David Basin
LehrgebietInformationssicherheit
Adresse
Institut f. Informationssicherheit
ETH Zürich, CNB F 106
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telefon+41 44 632 72 45
Fax+41 44 632 11 72
E-Mailbasin@inf.ethz.ch
URLhttp://www.inf.ethz.ch/personal/basin/
DepartementInformatik
BeziehungOrdentlicher Professor

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 »
09.05.10:15-11:00HG E 33.1 »
D. Basin, P. Müller
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:00HG E 33.5 »
10:15-12:00LEE C 114 »
16:15-18:00CHN D 42 »
16:15-18:00CHN F 46 »
16:15-18:00HG G 26.5 »
D. Basin, P. Müller
252-0211-00LInformation Security Information 8 KP4V + 3U
252-0211-00 VInformation Security4 Std.
Do14:15-16:00HG E 7 »
Fr14:15-16:00HG E 7 »
D. Basin, D. Hofheinz
252-0211-00 UInformation Security3 Std.
Mi16:15-19:00HG D 7.2 »
Do16:15-19:00CAB G 61 »
D. Basin, D. Hofheinz
364-1058-00LRisk Center Seminar Series0 KP2S
364-1058-00 SRisk Center Seminar Series2 Std.
Di12:15-14:00HG D 3.2 »
H. Schernberg, D. Basin, A. Bommier, D. N. Bresch, S. Brusoni, L.‑E. Cederman, P. Cheridito, F. Corman, H. Gersbach, C. Hölscher, K. Paterson, G. Sansavini, B. Stojadinovic, B. Sudret, J. Teichmann, R. Wattenhofer, U. A. Weidmann, S. Wiemer, R. Zenklusen