Colloquium Details

Formal Reasoning and Amazon Web Services

Speaker: Byron Cook, University College London/Amazon Web Services

Location: 60 Fifth Avenue 150

Date: April 10, 2019, 2 p.m.

Host: Subhash Khot


This talk will discuss the development and use of formal automated reasoning tools within Amazon Web Services (AWS) to increase the security and correctness of its cloud infrastructure and to help customers help themselves. See the AWS page on Provable Security to get an idea of the sort of work that will be described. Some open challenges will be discussed, as will some thoughts on future projects.

Speaker Bio:

Byron Cook is (full) Professor of Computer Science at University College London (UCL) and Senior Principal Applied Scientist at Amazon Web Services. Byron’s interests include computer/network security, program analysis/verification, termination proving, 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).


Refreshments will be offered starting 15 minutes prior to the scheduled start of the talk.

How to Subscribe