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.

Sponsors

Computer Science

Computer Science

Leading the field through foundational theory, applications, and societal impact