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 |
252-4810-00L | ZISC Information Security Colloquium | 0 credits | 2K | |
252-4810-00 K | ZISC Information Security Colloquium
Does not take place this semester. | | 2 hrs | | S. Capkun,
D. Basin,
U. Maurer,
A. Perrig |
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 | | B. Stojadinovic,
K. W. Axhausen,
D. Basin,
A. Bommier,
L.‑E. Cederman,
P. Embrechts,
H. Gersbach,
H. R. Heinimann,
D. Helbing,
H. J. Herrmann,
W. Mimra,
G. Sansavini,
F. Schweitzer,
D. Sornette,
B. Sudret,
U. A. Weidmann |