Peter Müller

Peter Müller is a Professor at ETH Zurich's Department of Computer Science, specializing in programming languages and software verification. His research focuses on formal methods, separation logic, and Rust programming language verification, with significant contributions to program verification infrastructure and techniques for ensuring memory safety and security properties in complex systems.

His primary research interests include:

• Program Verification and Formal Methods
• Separation Logic and Permission-Based Reasoning
• Rust Programming Language Verification
• Concurrency and Distributed Systems Verification
• Smart Contract Verification
• Hyperproperties and Security Verification

Müller's publication record shows a strong trajectory from foundational verification techniques toward practical applications in modern programming languages, particularly Rust. His work consistently addresses the challenge of making formal verification scalable and applicable to real-world systems. Recent publications demonstrate increasing focus on Rust-specific verification (ownership, borrowing, closures), hyperproperties for security verification, and distributed systems verification - reflecting both theoretical depth and practical relevance to industry needs.

He has served in significant leadership roles including session chair at PLDI 2020, Associate Chair for SPLASH 2026, and as a program committee member for numerous top-tier conferences including PLDI, POPL, SPLASH/OOPSLA, and ECOOP. In 2024, he participated in RTFM (Red-Hot Topics in Faculty Mentoring) as both a speaker and panelist, indicating his role in mentoring the next generation of academic researchers.