Prof. Dr. Peter Müller

Main content

Peter Müller is Full Professor and head of the Chair of Programming Methodology at ETH Zurich since August 2008. His research focuses on languages, techniques, and tools for the development of correct software. His previous appointments include a position as Researcher at Microsoft Research in Redmond, an Assistant Professorship at ETH Zurich, and a position as Project Manager at Deutsche Bank in Frankfurt. Peter Müller received his PhD from the University of Hagen. He is a member of the IFIP Working Group 2.3 on Programming Methodology and of the IFIP Working Group 1.9/2.15 on Verified Software.

Follow these links for contact information, publications, research projects, and teaching materials.

Peter Müller is on the editorial boards for Software Testing, Verification and Reliability and Science of Computer Programming. He currently serves on the program committees of the following conferences:

Marktoberdorf Summer School, 2016

Peter Müller will give a course on Modular Program Verification

MSR Outstanding Collaborator Award

On occasion of their 25th anniversary, Microsoft Research presented Peter Müller with an Outstanding Collaborator Award to recognize our long-lasting, productive collaboration.


Page URL:
© 2016 Eidgenössische Technische Hochschule Zürich