Peter Müller

Golden Owl

Prof. Dr. Peter Müller


Head of CAS ETH in Computer Science


Full Professor

Contact Data

Tel.: +41 44 632 28 68
Tel. (Sec.): +41 44 632 85 80
ORCID: 0000-0001-7001-2566


ETH Zürich
Peter Müller
Professur für Software Technology
CAB  H 84
Universitätstrasse 6
8092 Zürich

Organisations Full Professor at the Department of Computer Science
Curriculum Vitae (CV)

Since August 2008 Peter Müller has been full Professor in Computer Science (since 2003 Assistant Professor for Software Component Technology) at ETH Zurich.

He was born in 1972 in Ingolstadt, Germany. In 1991 he started his studies in Computer Science at the Technical University of Munich, where he finished his undergraduate studies with a Diploma in Computer Science in 1996. From 1996 to 2001 he worked on his Ph.D. with Prof. Arnd Poetzsch-Heffter as supervisor, first at the Technical University Munich and later at the University of Hagen. In 2001 he received the title Dr. rer. nat. from the University of Hagen with a dissertation on "Modular Specification and Verification of Object-Oriented Programs". Before joining ETH, Peter Müller worked as an IT project manager at Deutsche Bank in Frankfurt. From June 2007 to July 2008, he held a position as Researcher at Microsoft Research, Redmond.

The objective of Peter Müller's research is to enable programmers to develop correct software. To achieve this goal, he works on programming languages, methods, and tools.

Course Catalogue
252-0058-00L Formal Methods and Functional Programming
263-2812-00L Program Verification
Publications inResearch Collection – Publication platform of ETH Zurich
ETH Library Search Portal (advanced search for name)