Peter Müller
Scholar

Peter Müller

Google Scholar ID: ttxZRHEAAAAJ
ETH Zurich
Program VerificationFormal MethodsProgramming Methodology
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
8,954
 
H-index
48
 
i10-index
128
 
Publications
20
 
Co-authors
24
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
24 total
Alexander J. Summers
Alexander J. Summers
The University of British Columbia
Co-author 2
Co-author 2
Gary T. Leavens
Gary T. Leavens
Professor, University of Central Florida
Werner Dietl
Werner Dietl
Electrical and Computer Engineering, University of Waterloo
Co-author 5
Co-author 5
Sophia Drossopoulou
Sophia Drossopoulou
Professor, Imperial College London
David Basin
David Basin
Professor of Computer Science, ETH Zurich; Affiliated Faculty, INSAIT, Sofia University
Co-author 8
Co-author 8