Awards
Research Awards
Peter Müller, 2025
ACM Fellow for contributions to automated, modular program verification
Peter Müller, 2021
Amazon Research Award
Peter Müller, 2016
Microsoft Research Outstanding Collaborator Award
Peter Müller and Rustan Leino, 2025
ETAPS Test of Time Award for "A Basis for Verifying Multi-Threaded Programs", ESOP'09
Peter Müller, 2024
CYD Award, Cyber Defence Campus
Peter Müller, 2017
Facebook Faculty Research Award
Alexander J. Summers, 2015
AITO Dahl-Nygaard Junior Prize
Thesis Awards
Andrea Keusch, 2025
ETH Medal for outstanding Master's thesis
Marco Eilers, 2022
ETH Medal for outstanding doctoral thesis
Gaurav Parthasarathy, 2019
ETH Medal for outstanding Master's thesis
Hongyi Ling, 2024
Willi Studer Prize for the MSc. best student in Computer Science
Thibault Dardinier, 2020
ETH Medal for outstanding Master's thesis
Patrick Emmisberger, 2017
ETH Medal for outstanding Master's thesis
Maria Christakis, 2015
EAPLS Best PhD Dissertation Award
Severin Heiniger, 2015
ETH Medal for outstanding Master's thesis
Maria Christakis, 2015
ETH Medal for outstanding doctoral thesis
Fabian Bannwart, 2006
ETH Medal for outstanding diploma thesis
Teaching Awards
Peter Müller, 2008
Golden Owl
Best Paper Awards
Simon Spies et al.:
Destabilizing Iris. PLDI 2025
Thibault Dardinier, Peter Müller, and Alexander J. Summers:
Fractional Resources in Unbounded Separation Logic. OOPSLA 2022
James Bornholt, Vytautas Astrauskas, et al.:
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. SOSP 2021
Thibault Dardinier, Peter Müller, and Alexander J. Summers:
Fractional Resources in Unbounded Separation Logic. OOPSLA 2022
A. Aguirre, G. Barthe, J. Hsu, B.L. Kaminski, J.-P. Katoen, Christoph Matheja:
A Pre-Expectation Calculus for Probabilistic Sensitivity. POPL 2021
Wytse Oortwijn and Marieke Huisman:
Practical Abstractions for Automated Verification of Message Passing Concurrency, iFM 2019
Vladimir Klebanov, Peter Müller et al.: The 1st Verified Software Competition: Experience Report. FM 2011
Maria Christakis, Peter Müller, and Valentin Wüstholz: Guiding Dynamic Symbolic Execution toward Unverified Program Executions. ICSE 2016
Werner Dietl, Michael Ernst, and Peter Müller: Tunable Static Inference for Generic Universe Types. ECOOP 2011
Distinguished Artifact Awards
Aurea Bílá, Joao Pereira, and Peter Müller: A Refinement Methodology for Distributed Programs in Rust. OOPSLA 2025
J. Fiala, S. Itzhaky, P. Müller, N. Polikarpova, and I. Sergey: Leveraging Rust Types for Program Synthesis. PLDI 2023
Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander. J. Summers: Leveraging Rust Types for Modular Specification and Verification. OOPSLA 2019
Joao Pereira et al.: Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router. CCS 2025
C. Bräm, M. Eilers, P. Müller, R. Sierra, and A. J. Summers: Rich Specifications for Ethereum Smart Contract Verification. OOPSLA 2021
Alexander J. Summers and Peter Müller: Automating Deductive Verification for Weak-Memory Programs. TACAS 2018
Verification Competitions
Jonas Fiala and Thibault Dardinier, 2025
verifyThis: Best team
Jonas Fiala and Thibault Dardinier, 2023
verifyThis: Best student team
Jonas Fiala and Thibault Dardinier, 2022
verifyThis: Best overall team
Viper, 2016
verifyThis: Distinguished user-assistance tool feature: quantified permissions
Jonas Fiala and Thibault Dardinier, 2024
verifyThis: Best student team
Marco Eilers and Alex Summers, 2023
verifyThis: Best overall team
Gobra, 2023
verifyThis: Innovative tool feature
Viper, 2019
verifyThis: Tool used by most teams
Peter Müller and Rustan Leino, 2012
Silver Medal, VSTTE Program Verification Competition
Service
Peter Müller, 2025
ESOP Best Reviewer Award