Peter Müller (computer scientist)
Peter Müller | |
|---|---|
| Born | 1972 (age 53–54) Ingolstadt, Germany |
| Education | |
| Known for | Viper verification infrastructure, formal methods, separation logic |
| Scientific career | |
| Fields | Computer science |
| Workplaces | ETH Zurich |
| Thesis | Modular Specification and Verification of Object-Oriented Programs (2001) |
| Arnd Poetzsch-Heffter | |
Peter Müller (born 1972) is a German computer scientist and full professor of Computer Science at ETH Zurich, leading the Programming Methodology Group. His research focuses on program verification, formal methods, and programming languages.
Education and career
Müller earned his doctorate in 2001 from the University of Hagen. Before joining ETH Zurich in 2003, he worked at Microsoft Research in Redmond and at Deutsche Bank in Frankfurt. He was promoted to Full Professor in 2008 and led the Institute for Programming Languages and Systems from 2017 to 2020.[1]
Research and impact
Müller's work is known for developing the Viper (Verification Infrastructure for Permission-based Reasoning) tool suite, which automates software correctness proofs and is based on separation logic.[2] Müller is vice-chair of the IFIP Working Group 2.3 on Programming Methodology[3] and a founding member of the working group 1.9/2.15 on Software Verification.[4] He serves on the editorial board of the ACM Transactions on Programming Languages and Systems, the Journal of Automated Reasoning, Science of Computer Programming, and Software Testing, Verification and Reliability[5] He is also a co-founder and member of the Board of Directors of Anapaya Systems,[6] which commercializes the SCION Internet architecture.
Awards and honors
- 2025: Fellow of the Association for Computing Machinery (ACM)[7][8]
- 2025: ETAPS Test of Time Award[9][10]
References
- ↑ "Prof. Dr. Peter Müller". Programming Methodology Group.
- ↑ "Viper". Programming Methodology Group.
- ↑ "Members". IFIP WG 2.3.
- ↑ "IFIP WG 1.9/2/15". usr.lmf.cnrs.fr.
- ↑ "ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Editorial Board | ACM Digital Library". ACM Transactions on Programming Languages and Systems.
- ↑ "Anapaya | Secure, resilient, and controlled connectivity with SCION". www.anapaya.net.
- ↑ "Peter Müller named ACM Fellow". Staffnet. January 22, 2026.
- ↑ "ACM Fellows". awards.acm.org.
- ↑ "Test of Time Award for Peter Müller". Staffnet. May 13, 2025.
- ↑ "Test of Time Award". etaps.org.