Lecture: Verifying Computation in the Modern World

Yael Tauman Kalai

Verifying Computation in the Modern World
Yael Tauman Kalai
ACM Prize in Computing 2022 

Modern computations are often too large or complex to run locally, and must therefore be delegated to more powerful, sometimes opaque, systems. This lecture explores how proof systems can certify the results of classical, quantum, and AI-aided computations, allowing even a computationally weak classical device to verify their correctness efficiently. 

The 13th Heidelberg Laureate Forum took place from September 13–18, 2026. #HLF26 

The Heidelberg Laureate Forum (HLF) is an annual networking conference where 200 carefully selected young researchers in mathematics and computer science spend a week interacting with the laureates of the most prestigious awards in their disciplines: the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal, IMU Abacus Medal and Nevanlinna Prize. 

The opinions expressed in the videos do not necessarily reflect the views of the Heidelberg Laureate Forum Foundation or any other person or associated institution involved in the making and distribution of these videos.

---