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.