Numerous teams across Amazon Web Services are developing and/or applying the types of formal techniques that many PLDI attendees will find interesting. This talk will survey some of those efforts, will outline a few of the open challenges, and will provide pointers to additional information.

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).