Peter Müller named ACM Fellow
Professor Peter Müller (D-INFK) has been named an ACM Fellow in recognition of his contributions to automated, modular program verification. Big congratulations!
The Association for Computing Machinery (ACM) has named 71 new Fellows for transformative contributions to computing science and technology. The 2026 inductees are long-standing ACM members who were selected by their peers for innovations that have had a lasting impact on how we live, work and interact with technology. This year’s cohort spans both established fields such as computer architecture and software engineering, as well as emerging areas including swarm intelligence and scene recognition. The Fellows represent 14 countries and were chosen from ACM’s global membership of more than 100,000 computing professionals.
Among the newly elected Fellows is Professor Peter Müller, who leads the Programming Methodology Group at ETH Zurich. The honour recognises his sustained research contributions to automated, modular program verification.
Professor Müller’s research and teaching focus on languages, techniques and tools for building reliable, secure and correct software systems. His work places particular emphasis on the specification and verification of imperative programs, both sequential and concurrent. Through advances in programming languages, methodologies and verification tools, his research aims to support developers in writing correct software. His current interests include security verification and scalable techniques for distributed systems.
ACM Fellow is the organisation’s most prestigious membership grade and recognises the top one per cent of ACM members for outstanding technical achievements and service to the computing community. Fellows act as ambassadors for ACM and are frequently invited to share their expertise with policymakers, industry leaders and the wider public. The 2026 ACM Fellows will be formally recognised at an awards banquet on 13 June in San Francisco.
Peter Müller has been a Full Professor of Computer Science at ETH Zurich since August 2008 and serves as Head of the Programming Methodology Group. From 2017 to 2020, he was Head of the Institute for Programming Languages and Systems.
Before joining ETH Zurich, he worked as a project manager at Deutsche Bank in Frankfurt and as a researcher at Microsoft Research in Redmond. He studied computer science at the Technical University of Munich, earning his Diploma in 1996 and completed his doctorate at the University of Hagen in 2001.
Professor Müller is a member of IFIP Working Group 2.3 on Programming Methodology and IFIP Working Group 1.9/2.15 on Verified Software. He serves on the editorial boards of Software Testing, Verification and Reliability, the Journal of Automated Reasoning, and ACM Transactions on Programming Languages and Systems (TOPLAS). His awards include the ETAPS Test of Time Award (2025), the Amazon Research Award (2021), the Facebook Faculty Research Award (2017) and the Microsoft Research Outstanding Collaborator Award (2016).
Always up to date
Would you like to always receive the most important internal information and news from ETH Zurich? Then subscribe to the "internal news" newsletter and visit Staffnet, the information portal for ETH employees.