Formal Reasoning and Amazon Web Services

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 https://aws.amazon.com/security/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.

Byron Cook is 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). See http://www0.cs.ucl.ac.uk/staff/b.cook/ for more information.

Host: Professor Tim Nelson