On Making Mathematical Proof a Business - Allen School Distinguished Lecture

Explore a thought-provoking lecture from the Allen School Distinguished Lecture Series featuring Byron Cook, Vice President and Distinguished Scientist at Amazon and Professor of Computer Science at University College London. Delve into the topic "On Making Mathematic Proof a Business" as Cook discusses Amazon's groundbreaking adoption of mechanized proof search in mathematical logic across various product groups. Gain insights into the company's customer-facing launches and internal proof-based projects, and understand why Amazon has found this approach particularly useful. Examine the challenges faced in scaling this methodology to the next level and learn about Cook's extensive background in computer science, including his work in program analysis, verification, theorem proving, and more. This 71-minute talk offers a unique perspective on the intersection of mathematical proof and business applications in the software industry.

Allen School Distinguished Lecture Series: Byron Cook (October 12, 2023)