SCS Special Seminar
— 3:00pm
Location:
In Person and Virtual - ET
-
Newell-Simon 4305 and Zoom
Speaker:
YAEL TAUMAN KALAI
,
Principal Senior ResearcherMicrosoft Research New England
https://www.microsoft.com/en-us/research/people/yael/
Efficient Verification of Computation on Untrusted Platforms
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 finding a Nash equilibrium. — 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. In Person and Zoom Participation. See announcement.
For More Information:
emodoono@andrew.cmu.edu