Want to create an interactive transcript for this episode?
Podcast: AWS Podcast
Episode: #337: [Provable Security Podcast Series Episode #2]: Automated Reasoning in the Cloud with John Harrison
Description: 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...