Formal reasoning and AI at Amazon

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 UCL, 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