Seminar Series
Byron Cook, Amazon Distinguished Scientist
Host: Ruzica Piskac
Please register so we know you are attending!
Abstract:
This talk will discuss the latest on how Amazon uses formal reasoning across its cloud systems and how increasingly it’s AI systems. It will discuss some of the open challenges, and will end with a discussion on where things are headed for field of automated formal reasoning
Bio:
Dr. Byron Cook, FREng is Professor at Univ. College London, Vice President and Distinguished Scientist at Amazon, and Program Manager at DARPA. Byron has worked on the early starts of numerous groundbreaking tools/technologies, including Microsoft’s SLAM and TERMINATOR projects, separation logic based program analysis, SMT solvers, and the BioModelAnalyzer tool. See http://www0.cs.ucl.ac.uk/staff/b.cook/ for more information
https://seas.yale.edu/news-events/events/amazon-distinguished-scientist-byron-cook