Data Science Institute-Industry-Innovation Seminar: Byron Cook, Amazon

Wednesday, March 6, 2019 - 6:00pm - 7:30pm
Schapiro CEPSR, 530 W. 120 St., New York, NY 10027 Davis Auditorium (Room 412, 4th Floor)

"Reasoning about Security of Amazon Web Services" Byron Cook, Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services Abstract: This talk will discuss the development and use of formal verification tools within Amazon Web Services (AWS) to increase the security assurance of its cloud infrastructure and to help customers secure themselves. I’ll also discuss some remaining challenges that could inspire future research in the community. 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).

Event Image: 


550 W. 120th St., Northwest Corner 1401, New York, NY 10027    212-854-5660
©2018 Columbia University