2026 Peter Müller: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	38	10238	9951	180	179	190	6129

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

10238

9951

180

179

190

6129

Overview

Peter Müller is affiliated with ETH Zurich in Switzerland, focusing predominantly on the field of Computer Science. Their research contributions span several core topics within the discipline, including:

Logic, programming, and type systems
Security and Verification in Computing
Formal Methods in Verification
Distributed systems and fault tolerance
Software Testing and Debugging Techniques
Parallel Computing and Optimization Techniques
Advanced Malware Detection Techniques

In terms of research subfields, Peter Müller has concentrated on:

Artificial Intelligence
Computational Theory and Mathematics
Computer Networks and Communications
Software
Hardware and Architecture

The scientist has published extensively, with 149 publications recorded in their main field. Their work appears frequently in the following venues:

arXiv (Cornell University)
Proceedings of the ACM on Programming Languages
Formal Aspects of Computing
Pollack Periodica
Archivnachrichten

Recent publications by Peter Müller include:

"How do programmers use unsafe rust?" (2020), Proceedings of the ACM on Programming Languages
"Igloo: soundly linking compositional refinement and separation logic for distributed system verification" (2020), Proceedings of the ACM on Programming Languages
"Modular specification and verification of closures in Rust" (2021), Proceedings of the ACM on Programming Languages
"Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties" (2024), Proceedings of the ACM on Programming Languages
"Leveraging Rust Types for Program Synthesis" (2023), Proceedings of the ACM on Programming Languages

Peter Müller collaborates often with several co-authors, particularly:

Alexander J. Summers
Thibault Dardinier
Felix A. Wolf
G. Parthasarathy
Aurel Bílý

In addition to journal publications, Müller has authored books published by prominent publishers. These include:

"Programming Languages and Systems" (2020), published by Springer Science+Business Media
"Die Vorbehalte in Übereinkommen zur Privatrechtsvereinheitlichung" (2022), published by Mohr Siebeck eBooks

Best Publications

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

401
Citations
Viper: A Verification Infrastructure for Permission-Based Reasoning

Peter Müller;Malte Schwerhoff;Alexander J. Summers

360
Citations
Object invariants in dynamic contexts

K. Rustan M. Leino;Peter Müller

315
Citations
Universes: Lightweight Ownership for JML.

Werner Dietl;Peter Müller

247
Citations
Behavioral interface specification languages

John Hatcliff;Gary T. Leavens;K. Rustan M. Leino;Peter Müller

239
Citations
Specification and verification: the Spec# experience

Mike Barnett;Manuel Fähndrich;K. Rustan M. Leino;Peter Müller

236
Citations
A Programming Logic for Sequential Java

Arnd Poetzsch-Heffter;Peter Müller

221
Citations
A Basis for Verifying Multi-threaded Programs

K. Rustan Leino;Peter Müller

211
Citations
Modular invariants for layered object structures

Peter Müller;Arnd Poetzsch-Heffter;Gary T. Leavens

198
Citations
Specification and verification challenges for sequential object-oriented programs

Gary T. Leavens;K. Rustan M. Leino;Peter Müller

192
Citations
Verification of Concurrent Programs with Chalice

K. Rustan Leino;Peter Müller;Jan Smans

166
Citations
Leveraging rust types for modular specification and verification

Vytautas Astrauskas;Peter Müller;Federico Poli;Alexander J. Summers

164
Citations
Generic universe types

Werner Dietl;Sophia Drossopoulou;Peter Müller

144
Citations
Guiding dynamic symbolic execution toward unverified program executions

Maria Christakis;Peter Muller;Valentin Wustholz

125
Citations
Ownership transfer in universe types

Peter Müller;Arsenii Rudich

120
Citations
A verification methodology for model fields

K. Rustan M. Leino;Peter Müller

99
Citations
The 1st verified software competition: experience report

Vladimir Klebanov;Peter Müller;Natarajan Shankar;Gary T. Leavens

91
Citations
Deadlock-Free channels and locks

K. Rustan M. Leino;Peter Müller;Jan Smans

83
Citations
Collaborative Verification and Testing with Explicit Assumptions

Maria Christakis;Peter Müller;Valentin Wüstholz

82
Citations
Modular specification and verification techniques for object-oriented software components

Peter Müller;Arnd Poetzsch-Heffter

79
Citations
Modular specification of frame properties in JML

Peter Müller;Arnd Poetzsch-Heffter;Gary T. Leavens

74
Citations

Frequent Co-Authors

K. Rustan M. Leino Amazon Web Services

Gary T. Leavens University of Central Florida

Bart Jacobs Radboud University

Gilles Barthe Max Planck Institute for Security and Privacy

Frank Piessens KU Leuven

Bertrand Meyer Schaffhausen Institute of Technology

Martin Vechev ETH Zurich

Andrei Sabelfeld Chalmers University of Technology

Natarajan Shankar SRI International

Andrew C. Myers Cornell University

External Links

Personal website of Peter Müller Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring Computer Science online opens up accessible education options for a diverse range of learners. Students seeking affordable study options can pursue cheapest online degrees in Computer Science to minimize tuition costs without sacrificing quality.

If your academic record isn't perfect, don't worry—many college that accepts low gpa options offer tailored support and flexibility to help you start a tech career.

Interested in other pathways? Tech skills also complement interdisciplinary fields. For example, exploring what can you do with an environmental studies degree highlights career opportunities where technology and environmental science intersect, such as GIS, data analysis, and sustainability tech roles.

If you're ready to fast-track your journey, check out top accelerated computer science degree programs to earn your qualification quicker. Exploring these pathways can help you find the best fit for your budget, timeline, and career goals.