Scholar
Jim Grundy
Google Scholar ID: qDr8e5IAAAAJ
AWS
Hardware Verification
Software Verification
Automated Reasoning
Theorem Proving
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
803
H-index
14
i10-index
16
Publications
20
Co-authors
13
list available
Publications
2 items
CSLib: The Lean Computer Science Library
2026
Cited
0
Relational Hoare Logic for Realistically Modelled Machine Code
2025
Cited
0
Co-authors
6 total
Tom Melham
Professor of Computer Science, University of Oxford
Gregory Malecha
BedRock Systems, Inc
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Michael Tautschnig
Queen Mary University of London
Daniel Kroening
Amazon
Michael Hsiao
Professor, Virginia Tech, IEEE Fellow
