Amazon Distinguished Scientist Byron Cook

Departments: Applied Physics, Biomedical Engineering, Chemical & Environmental Engineering, Computer Science, Electrical & Computer Engineering, Mechanical Engineering & Materials Science
Time: Thursday, March 20, 2025 - 12:00pm - 1:00pm
Type: Seminar Series
Presenter: Byron Cook
Room/Office:
Location:
17 Hillhouse Avenue, Room 328
17 Hillhouse Avenue
New Haven, CT 06511
United States
See map: Google Maps

Byron will discuss how Amazon uses formal reasoning across its cloud and AI systems. Byron will address some of the challenges and will conclude with an open discussion on where things are headed for the field of automated formal reasoning. 

Byron Cook is a professor at University College, London, Vice President and Distinguished Scientist at Amazon, and Program Manager at DARPA. Byron has worked on the early stages of numerous groundbreaking tools and technologies, including Microsoft's SLAM and TERMINATOR projects, separation logic-based program analysis, SMT solvers, and the BioModelAnalyzer tool.

Please register so we know you are attending!