Not registered as user yet
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).
|SPLASH 2018|| Reasoning about Security of Amazon Web Services|
Speaker in Speakers within the SPLASH-I-track
|Show activities from other conferences|
View general profile