David Basin: Course units in Spring Semester 2023 |
| Name | Prof. Dr. David Basin |
| Field | Informationssicherheit |
| 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 |
| basin@inf.ethz.ch | |
| URL | http://www.inf.ethz.ch/personal/basin/ |
| Department | Computer Science |
| Relationship | Full Professor |
| Number | Title | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|
| 252-0058-00L | Formal Methods and Functional Programming  | 7 credits | 4V + 2U | D. Basin, P. Müller | |
| 252-0211-00L | Information Security | 8 credits | 4V + 3U | D. Basin, D. Hofheinz | |
| 364-1058-00L | Risk Center Seminar Series | 0 credits | 2S | 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 | |