Number | Title | ECTS | Hours | Lecturers |
---|
252-0058-00L | Formal Methods and Functional Programming | 7 credits | 4V + 2U | |
252-0058-00 V | Formal Methods and Functional Programming | | 4 hrs | | D. Basin,
P. Müller |
252-0058-00 U | Formal Methods and Functional Programming | | 2 hrs | | D. Basin,
P. Müller |
252-0211-00L | Information Security | 8 credits | 4V + 3U | |
252-0211-00 V | Information Security | | 4 hrs | | D. Basin,
S. Capkun |
252-0211-00 U | Information Security | | 3 hrs | | D. Basin,
S. Capkun |
364-1058-00L | Risk Center Seminar Series Number of participants limited to 50. | 0 credits | 2S | |
364-1058-00 S | Risk Center Seminar Series | | 2 hrs | | A. Bommier,
D. Basin,
D. N. Bresch,
L.‑E. Cederman,
P. Cheridito,
P. Embrechts,
H. Gersbach,
H. R. Heinimann,
M. Larsson,
W. Mimra,
G. Sansavini,
F. Schweitzer,
D. Sornette,
B. Stojadinovic,
B. Sudret,
U. A. Weidmann,
S. Wiemer,
M. Zeilinger,
R. Zenklusen |