Thursday, September 22
10:00 am - 12:00 pm

KIVA - 32-G449

TALK: Thursday 09-22-2022 Efficient Verification of Computation on Untrusted Platforms – Yael Kalai


  • Date: Thursday, September 22
  • Time: 10:00 am - 12:00 pm
  • Location: KIVA - 32-G449
Additional Location Details:

Abstract: Efficient verification of computation is fundamental to computer science and is at the heart of the P vs. NP question. Recently it has had growing practical significance, especially with the increasing popularity of blockchain technologies and cloud computing. In this talk, I will present schemes for verifying the correctness of a computation. I will discuss both their practical aspects and their impact on cryptography, quantum complexity, hardness of approximation, and the complexity of finding a Nash equilibrium.

Bio: Yael Tauman Kalai received her BA (1997) from the Hebrew University in Jerusalem, MA (2001) under the supervision of Adi Shamir at the Weizmann Institute, and PhD (2006) under the supervision of Shafi Goldwasser at MIT. After postdoctoral positions at Microsoft Research and the Weizmann Institute, she is now a Principal Senior Researcher at Microsoft Research New England and an adjunct professor at MIT. Her research focuses on cryptography. She received the George M. Sprowls, the Louis D. Smullin Award, and is a fellow of the International Association of Cryptographic Research.


Join Zoom Meeting