Scholar
Byron Cook
Google Scholar ID: JXiaPJEAAAAJ
Professor of Computer Science, UCL, Amazon
Programming languages
formal verification
program analysis
theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
7,867
H-index
51
i10-index
80
Publications
20
Co-authors
63
list available
Publications
3 items
Verifying the Rust Standard Library
2026
Cited
0
Learning How to Cube
2026
Cited
0
A Neurosymbolic Approach to Natural Language Formalization and Verification
2025
Cited
0
Co-authors
9 total
Nir Piterman
Professor in Computer Science, University of Gothenburg and Chalmers University of Technolog, Sweden
Peter O'Hearn
University College London
Daniel Kroening
Amazon
Moshe Y. Vardi
Rice University
Carsten Fuhs
Senior Lecturer, Birkbeck, University of London
Hongseok Yang
Professor, School of Computing, KAIST
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Natasha Sharygina
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
