David Basin: Courses in Spring Semester 2023

Name Prof. Dr. David Basin
FieldInformationssicherheit
Address
Institut f. Informationssicherheit
ETH Zürich, CNB F 106
Universitätstrasse 6
8092 Zürich
SWITZERLAND
Telephone+41 44 632 72 45
Fax+41 44 632 11 72
E-mailbasin@inf.ethz.ch
URLhttp://www.inf.ethz.ch/personal/basin/
DepartmentComputer Science
RelationshipFull Professor

NumberTitleECTSHoursLecturers
252-0058-00LFormal Methods and Functional Programming Information 7 credits4V + 2U
252-0058-00 VFormal Methods and Functional Programming
Findet im HG E 7 mit Videoübertragung ins HG E 3 statt.
4 hrs
Tue10:15-12:00HG E 3 »
10:15-12:00HG E 7 »
Thu10: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 hrs
Tue14:15-16:00CAB G 52 »
14:15-16:00CAB G 57 »
14:15-16:00NO D 11 »
Wed10: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 credits4V + 3U
252-0211-00 VInformation Security4 hrs
Thu14:15-16:00HG E 7 »
Fri14:15-16:00HG E 7 »
D. Basin, D. Hofheinz
252-0211-00 UInformation Security3 hrs
Wed16:15-19:00HG D 7.2 »
Thu16:15-19:00CAB G 61 »
D. Basin, D. Hofheinz
364-1058-00LRisk Center Seminar Series0 credits2S
364-1058-00 SRisk Center Seminar Series2 hrs
Tue12: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