BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Columbia Entrepreneurship - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Columbia Entrepreneurship
X-ORIGINAL-URL:https://entrepreneurship.columbia.edu
X-WR-CALDESC:Events for Columbia Entrepreneurship
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20260417T103000
DTEND;TZID=UTC:20260417T120000
DTSTAMP:20260417T064430
CREATED:20260416T190309Z
LAST-MODIFIED:20260416T190309Z
UID:82756-1776421800-1776427200@entrepreneurship.columbia.edu
SUMMARY:Lecture Series in AI: Byron Cook\, PhD\, VP/Distinguished Scientist\, Amazon-AWS
DESCRIPTION:Schedule:\n10:30-11:00am Check-in\n11:00-12:00pm Lecture \nAdvance registration required for both Columbia non-affiliates and Columbia affiliates. \nAbout the Speaker\nByron 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. \nAbout the Lecture\n“Neurosymbolic AI at AWS” \nThis talk will discuss work at AWS to bring the power of agentic/generative AI with the safety and correctness of formal reasoning.\nCampus Access\nIn 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. \nAccessibility\nColumbia 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. \nPhotography/Videography\nColumbia 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.
URL:https://entrepreneurship.columbia.edu/event/lecture-series-in-ai-byron-cook-phd-vp-distinguished-scientist-amazon-aws/
CATEGORIES:Columbia Engineering
ATTACH;FMTTYPE=image/png:https://entrepreneurship.columbia.edu/wp-content/uploads/2026/04/r3_image_upload_599694_Byron_Cook_Lecture_Slides_35121133.png
END:VEVENT
END:VCALENDAR