Scholar

Byron Cook

Google Scholar ID: JXiaPJEAAAAJ

Professor of Computer Science, UCL, Amazon

Programming languagesformal verificationprogram analysistheory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

7,867

H-index

51

i10-index

80

Publications

20

Co-authors

63

list available

Contact

No contact links provided.

Publications

2 items

Learning How to Cube

2026

Cited

0

A Neurosymbolic Approach to Natural Language Formalization and Verification

2025

Cited

0

Resume (English only)

Co-authors

63 total

Professor in Computer Science, University of Gothenburg and Chalmers University of Technolog, Sweden

University College London

Daniel Kroening