Write a Blog >>
DLS 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Byron Cook

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
Research interests:Verification, Automated Reasoning, Program analysis

Contributions

Show activities from other conferences

SPLASH 2018-profile
View general profile