David Basin: Course units in Spring Semester 2009 |
| 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 | |
|---|---|---|---|---|---|
| 227-0930-00L | ZISC Information Security Colloquium | 0 credits | 1K | B. Plattner, D. Basin, U. Maurer | |
| 251-0828-00L | FATS Formal Approaches to Software Does not take place this semester. | 0 credits | 1V | B. Meyer, D. Basin | |
| 252-0058-00L | Formal Methods and Functional Programming | 6 credits | 3V + 2U | D. Basin, P. Müller | |
| 252-0202-00L | Information Security | 6 credits | 3V + 2U | D. Basin, U. Maurer | |