Want to create an interactive transcript for this episode?
Podcast: AWS Podcast
Episode: #306: [Provable Security Podcast Series Episode #1]: Automated Reasoning’s Past, Present, and Future with Moshe Vardi
Description: Provable Security: Conversations on Next Gen Security. We published a podcast (https://aws.amazon.com/podcasts/aws-podcast/#266) on provable security (https://aws.amazon.com/security/provable-security/) last fall, and, due to high customer interest, we decided to bring you a regular peek into this AWS initiative. This series will cover how the traditionally academic field of automated reasoning is being applied at AWS at scale to help provide higher assurances for our customers, regulators, and the broader cloud industry. We’ll talk to individuals whose minds helped shape the history of automated reasoning, as well as learn from engineers and sc...