Robinson Lecture 2010

This year's Robinson Lecture was given by Michael Rabin of Harvard University.  Rabin is known for his foundational work in theoretical computer science, including automata theory, randomized algorithms and cryptography. He spoke about

Zero Knowledge Proofs, Cryptography and Auctions

The Robinson Lectures honor Abraham Robinson, who was known for his work in logic on Non-Standard Analysis, and for his applied work on aerodynamics.  Robinson was Sterling Professor of Mathematics at Yale from 1967 to 1974.