Automated Reasoning in and about the Cloud
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.
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.