CS Department Colloquium Series

Efficient Verification of Computation

Yael Tauman Kalai, Microsoft Research and MIT

See event website for additional details and how to view or participate.