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