AWS Podcast

AWS Podcast

The AWS Podcast is the definitive cloud platform podcast for developers, dev ops, and cloud professionals seeking the latest news and trends in storage, security, infrastructure, serverless, and more. Join Simon Elisha and Jeff Barr for regular updates, deep dives and interviews. Whether you’re building machine learning and AI models, open source projects, or hybrid cloud solutions, the AWS Podcast has something for you.... Show More

In this latest episode, we interview John Harrison, Senior Principal Applied Scientist with the AWS Automated Reasoning Group. John describes his experience helping to shape innovative applications of automated reasoning to pressing technology challenges. He talks about his time at Intel, how he transitioned from a research scientist to technology product teams, automated reasoning techniques that he has used in his career and at AWS, his theorem prover called HOL Light and his 702 page book, Handbook of Practical Logic and Automated Reasoning. Byron Cook, Director of the AWS Automated Reasoning Group, interviews John and will be featured throughout the miniseries. Byron is leading the provable security initiative at AWS, which is a collection of technologies that provide higher security assurance to customers by giving them a deeper understanding of their cloud architecture.

Share
Mark as Played

Chat About AWS Podcast

Popular Podcasts

The Joe Rogan Experience
The Joe Rogan Experience
Joe Rogan's Weekly Podcast
Have You Seen This Man?
Have You Seen This Man?
Join the real-time nationwide manhunt for escaped Ohio death row inmate Lester Eubanks. While out on bail for attempted rape in 1965, Eubanks murdered a 14-year-old school girl, was convicted and sent to prison. Through a series of shocking events, Eubanks was designated an honor prisoner and granted permission to join a small group trip outside penitentiary walls to go Christmas shopping. He walked away and hasn't been seen since. Now, join ABC News as it peels back the curtain on Eubanks' escape and life on the run, and follow the U.S. Marshals service as one of their star investigators uses every tool available to catch up to Eubanks.
The Ron Burgundy Podcast
The Ron Burgundy Podcast
Will Ferrell reprises his role as Ron Burgundy in his brand new Ron Burgundy Podcast! Each episode has a different theme in which Ron engages in conversation with another notable person on the topic at hand.