November 15, 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 aboutZero Knowledge Proofs, Cryptography and AuctionsThe 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.