Comment: None of the cited sources are independent of the subject. {{GearsDatapacks|talk|contribs|in solidarity}} 08:30, 8 June 2026 (UTC)
Peter Müller | |
|---|---|
| Born | 1972 (age 53–54) Ingolstadt, Germany |
| Education | |
| Known for | Viper verification infrastructure, formal methods, separation logic |
| Awards | ACM Fellow (2025), Test of Time Award (2025) |
| Scientific career | |
| Fields | Computer science |
| Institutions | 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
- https://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html
- https://viper.ethz.ch
- https://ifipwg23.github.io/pages/members.html
- https://usr.lmf.cnrs.fr/~jcf/1.9/
- https://dl.acm.org/journal/toplas/editorial-board
- https://www.anapaya.net
- https://ethz.ch/staffnet/en/news-and-events/internal-news/archive/2026/01/peter-mueller-acm-fellow.html
- https://awards.acm.org/fellows/award-recipients?year=2025&award=158
- https://ethz.ch/staffnet/en/news-and-events/internal-news/archive/2025/05/test-of-time-peter-mueller.html
- https://etaps.org/awards/test-of-time/
External links
- Programming Methodology Group ETH Zurich
- Peter Müller's publications indexed by Google Scholar
- Peter Müller's publications indexed by DBLP
- Anapaya Systems
Category:1972 births Category:Living people Category:German computer scientists Category:Swiss computer scientists Category:Academic staff of ETH Zurich Category:Swiss computer scientists Category:Fellows of the Association for Computing Machinery Category:Formal methods people Category:Programming language designers Category:Programming language researchers