Peter Müller is head of the Programming Methodolog group at ETH Zurich since August 2008. Since August 2017 he is head of the Institute for Programming Languages and Systems. 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 and vice chair of the IFIP Working Group 2.3 on Programming Methodology and a member 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.  

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.