Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

On Making Mathematical Proof a Business - Allen School Distinguished Lecture

Paul G. Allen School via YouTube

Overview

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.

Syllabus

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

Taught by

Paul G. Allen School

Reviews

Start your review of On Making Mathematical Proof a Business - Allen School Distinguished Lecture

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.