Uploaded May 2026 | Updated September 2026, 3 weeks ago
"Neurosymbolic AI at AWS"
This talk will discuss work at AWS to bring the power of agentic/generative AI with the safety and correctness of formal reasoning.
Byron Cook is a vice president and distinguished scientist at Amazon, program manager at the Defense Advanced Research Projects Agency (DARPA), and a professor at the University College London (UCL). He is well-known for his work on automatic methods for proving program term ination and the Terminator termination prover, showcasing that automatic termination proving was impossible. He contributed to Microsoft’s SLAM and Static Driver Verifier. Byron Cook revived automatic program verification research in various ways and founded Amazon’s Automated Reasoning Group (ARG). He has received multiple awards for his research contributions, notably the Roger Needham Award and the distinction of Fellow of
the Royal Academy of Engineering.
"Neurosymbolic AI at AWS"
This talk will discuss work at AWS to bring the power of agentic/generative AI with the safety and correctness of formal reasoning.
Byron Cook is a vice president and distinguished scientist at Amazon, program manager at the Defense Advanced Research Projects Agency (DARPA), and a professor at the University College London (UCL). He is well-known for his work on automatic methods for proving program term ination and the Terminator termination prover, showcasing that automatic termination proving was impossible. He contributed to Microsoft’s SLAM and Static Driver Verifier. Byron Cook revived automatic program verification research in various ways and founded Amazon’s Automated Reasoning Group (ARG). He has received multiple awards for his research contributions, notably the Roger Needham Award and the distinction of Fellow of
the Royal Academy of Engineering.
