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, D. Traytel | |
264-5811-00L | Programming Systems Seminar Does not take place this semester. 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 |