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 | D. Basin, P. Müller | |
252-0216-00L | Software Architecture and Engineering | 8 credits | 4V + 3U | P. Müller, M. Vechev | |
264-5811-00L | Programming Systems Seminar The seminar is open to assistants of the Chair of Programming Methodology and the Software Reliability Lab (Department of Computer Science). Others should contact the instructors. | 2 credits | 2S | P. Müller, M. Vechev |