Write a Blog >>
Byron Cook

Not registered as user yet

Name:Byron Cook

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


ESEC/FSE 2020 Block Public Access: Trust Safety Verification of Access Control Policies
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile