Prof. Dr. Peter Müller

Peter Müller is head of the Programming Methodology group at ETH Zurich since August 2008. From 2017 to 2020 he was 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 external pageIFIP Working Group 2.3 on Programming Methodology and a member of the external pageIFIP 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 external pageSoftware Testing, Verification and Reliability, the external pageJournal of Automated Reasoning, and external pageACM TOPLAS

JavaScript has been disabled in your browser