Peter Müller: Course units in Spring Semester 2022 |  |
| Name | Prof. Dr. Peter Müller |
| Field | Software Technology |
| Address | Professur für Software Technology ETH Zürich, CAB H 84 Universitätstrasse 6 8092 Zürich SWITZERLAND |
| Telephone | +41 44 632 28 68 |
| peter.mueller@inf.ethz.ch | |
| URL | http://www.pm.inf.ethz.ch |
| Department | Computer Science |
| Relationship | Full Professor |
| Number | Title | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|
| 252-0058-00L | Formal Methods and Functional Programming  | 7 credits | 4V + 2U | P. Müller, C. Sprenger | |
| 263-2812-00L | Program Verification  Number of participants limited to 30. | 5 credits | 3G + 1A | P. Müller | |