About Byron Cook

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.

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. Bryan 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.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.