Schedule:
10:30-11:00am Check-in
11:00-12:00pm Lecture
Advance registration required for both Columbia non-affiliates and Columbia affiliates.
About the Speaker
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.
About the Lecture
"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.
Contact Information
Engineering Events
[email protected]