David Basin: Courses in Spring Semester 2021

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 Programming4 hrs
Tue10-12ML D 28 »
Thu10-12ML D 28 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 hrs
Tue14-16CAB G 52 »
14-16CAB G 57 »
14-16NO D 11 »
14-16NO E 11 »
Wed10-12CAB G 52 »
16-18CHN D 42 »
16-18CHN F 46 »
16-18HG G 26.5 »
16-18NO E 11 »
D. Basin, P. Müller
252-0211-00LInformation Security Information 8 credits4V + 3U
252-0211-00 VInformation Security4 hrs
Thu14-16CAB G 61 »
Fri14-16CAB G 61 »
D. Basin, S. Capkun
252-0211-00 UInformation Security3 hrs
Wed16-19HG F 26.5 »
Thu16-19CAB G 61 »
D. Basin, S. Capkun
364-1058-00LRisk Center Seminar Series0 credits2S
364-1058-00 SRisk Center Seminar Series2 hrs
Tue18-20HG D 5.2 »
G. Sansavini, D. Basin, A. Bommier, D. N. Bresch, L.‑E. Cederman, P. Cheridito, H. Gersbach, F. Schweitzer, D. Sornette, B. Stojadinovic, B. Sudret, U. A. Weidmann, S. Wiemer, M. Zeilinger, R. Zenklusen