Prof. Dr. Byron Cook is a Vice President and Distinguished Scientist, specializing in mathematical logic and automated formal reasoning. Byron’s scientific contributions have resulted in customer features such as IAM Access Analyzer and VPC Reachability Analyzer, as well as formal correctness proofs about Amazon’s internal cryptography, networking, storage, and virtualization infrastructure. Byron joined Amazon in December 2014. He is a Fellow of Britain’s Royal Academy of Engineers, as well as a full professor of Computer Science at University College London.
