The Growth Rocketship: Proving Cloud Security and AI at AWS

Launched in 2006, Amazon Web Services (AWS) now powers millions of customers worldwide with on-demand infrastructure, storage, and AI services. In 2016, Byron Cook founded the Automated Reasoning Group within AWS, applying formal methods — mathematical techniques that prove software correctness — to secure cloud infrastructure at scale.

In this episode of Connected With Latham, Haim Zaltzman, Global Vice Chair of Latham's Emerging Companies & Growth Practice, speaks with Byron Cook, Vice President and Distinguished Scientist at Amazon Web Services, to discuss what "provably secure" means for regulators and business leaders, how formal verification shapes the future of cloud security and AI safety, and what ethical responsibilities come with deploying verification tools at scale.

Listen here or subscribe via Apple Podcasts, Spotify, or anywhere else you listen to podcasts.