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”
Campus Access
In accordance with the University’s current visitor guidelines, all non-Columbia guests will receive a QR code within a few hours of the event date. The code will be sent to you via email from CU Guest Access and must be presented for campus entry, along with a government-issued ID.
Accessibility
Columbia University makes every effort to accommodate individuals with disabilities. If you require disability accommodations to attend an event at Columbia University, please contact the Office of Disability Services at 212.854.2388 or access@columbia.edu.
Photography/Videography
Columbia Engineering reserves the right to capture and use images (including video, photo, audio) of student participants at this event in its current or future marketing materials. These materials include but are not limited to: social media, digital and/or print posters, email and web-based materials. By attending and participating in this event, you are consenting to having your image captured for these purposes. If you have concerns about your likeness being used, please reach out to engineeringcommunications@columbia.edu and we will accommodate your request.