CS Department Colloquium Series
Efficient Verification of Computation
Yael Tauman Kalai, Microsoft Research and MIT
February 17
12:30 pm
See event website for additional details and how to view or participate.
