Talk by Byron Cook: The Business of Proofs
Business of Proofs
| DATE: | Wednesday, April 17, 2024 |
| TIME: | 11:15 – 12:30 |
| VENUE: | Treitlstraße 3 (Campus Freihaus), Informatikhörsaal (ground floor) |
ABSTRACT
With only a few niche exceptions, the software industry had not previously figured out how to make deep use of formal mechanical reasoning based on mathematical logic. At Amazon, we have recently seen tremendous adoption of the approach by product groups, with a variety of customer-facing launches that use automated reasoning, and numerous internal proof projects. This talk describes those projects, and tries to explain what went well at Amazon. The talk also describes challenges that we face to scale the approach to the next level.
SHORT BIO:
Byron Cook is Professor of Computer Science at University College London (UCL); as well as Vice President and Distinguished Scientist at Amazon Web Services. Byron’s has worked in a variety of areas over the years, including computer and network security, program analysis and verification, programming languages, theorem proving, hardware design, operating systems, and biological systems.
Picture: Byron Cook
