CS Colloquium Speaker Speaker: Yael Tauman Kalai, Microsoft Research and MIT Date: Thursday, Feb 17, 2022 Time: 12:30pm EST Host: Prof. Ran Raz Location: Live-stream online Event page: [ https://www.cs.princeton.edu/events/26158 | https://www.cs.princeton.edu/events/26158 ] View live-stream online here: [ https://mediacentrallive.princeton.edu/ | https://mediacentrallive.princeton.edu/ ] Title: Efficient Verification of Computation 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 quantum complexity, hardness of approximation, and the complexity of 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.