![Byron Cook](https://conf.researchr.org/getProfileImage/byroncook1/b002a1a0-0d8b-4d48-9f09-0b644bf67c26/small.jpg?1711477673000)
Registered user since Thu 4 Jan 2024
Name:Byron Cook
Bio:
Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. Byron’s interests include computer/network security, program analysis/verification, programming languages, theorem proving, logic, hardware design, operating systems, and biological systems. Byron is the founder and leader of Amazon’s Automated Reasoning Group (ARG).
Country:United States
Affiliation:Amazon
Personal website: http://www0.cs.ucl.ac.uk/staff/b.cook/
Research interests:Verification, Automated Reasoning, Program analysis
Contributions
SPLASH 2018-profile
View general profile
View general profile