AWS Podcast

#337: [Provable Security Podcast Series Episode #2]: Automated Reasoning in the Cloud with John Harrison

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…