Peter Müller

Prof. Dr. Peter Müller is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on program verification, static program analysis, type systems, testing, formal methods, and tools. His work contributes to the development of reliable and secure software systems. Prof. Müller's research is conducted within the Computer Science department at ETH Zurich, where he is affiliated with the institute's research groups. His profile page provides further details on his academic and research activities.

Peter Müller is a researcher at ETH Zurich specializing in Program Verification, Formal Methods, and Programming Methodology. His work focuses on developing tools and techniques for verifying software correctness, particularly in object-oriented and concurrent systems. Müller has contributed to the creation of verification infrastructures like Viper and Prusti, which support permission-based reasoning and formal verification for Rust. His research includes modular specification and verification of object-oriented programs, behavioral interface specification languages, and the use of ownership and type systems to enhance program reliability. Müller's publications address challenges in verifying multi-threaded programs and unsafe Rust code, emphasizing the integration of static analysis and dynamic execution.