| Title | : | Efficient Verification of Computation on Untrusted Platforms |
| Speaker | : | Yael Kalai (Researcher @ Microsoft Research, New England and MIT) |
| Details | : | Wed, 7 Feb, 2024 3:00 PM @ Google Meet |
| 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. Meeting link : meet.google.com/foz-uhzb-khu |
