Automated Reasoning in and about the Cloud

Rod Chapman

Senior Principal Applied Scientist, Amazon Web Services

In the last decade, AWS has become known for conspicuous success with the deployment of Automated Reasoning technologies, covering verification of key correctness properties for both customer-facing services and our internal infrastructure. In this talk, I'd like to reflect on the economic and technical incentives that have made this possible within AWS, and highlight a few notable success stories.

Download Slides

About Rod Chapman

Rod Chapman is a Senior Principal Applied Scientist in the Cryptography and Privacy Engineering Group of Amazon Web Services. He has long had an interest in automated reasoning, and its application in programming language design and program verification. He currently helps teams at AWS with development and formal verification of cryptographic software.

Sponsored by