Awards

Research Awards

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, 2021

Amazon Research Award

Peter Müller, 2016

Microsoft Research Outstanding Collaborator Award

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

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

Marco Eilers, 2022

ETH Medal for outstanding doctoral thesis

Gaurav Parthasarathy, 2019

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

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

James Bornholt, Vytautas Astrauskas, et al.:
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. SOSP 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 1^st 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

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