Scholar
Peter Müller
Google Scholar ID: ttxZRHEAAAAJ
ETH Zurich
Program Verification
Formal Methods
Programming Methodology
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
8,954
H-index
48
i10-index
128
Publications
20
Co-authors
24
list available
Publications
3 items
Certified Program Synthesis with a Multi-Modal Verifier
2026
Cited
0
Hyper Separation Logic (extended version)
2026
Cited
0
Sound State Encodings in Translational Separation Logic Verifiers (Extended Version)
2026
Cited
0
Co-authors
8 total
Alexander J. Summers
The University of British Columbia
Gary T. Leavens
Professor, University of Central Florida
Werner Dietl
Electrical and Computer Engineering, University of Waterloo
Sophia Drossopoulou
Professor, Imperial College London
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Maria Christakis
Professor @ TU Wien Informatics
Valentin Wüstholz
Diligence Security
Linard Arquint
Doctoral Student, ETH Zurich
