Berkeley ACM A.M. Turing Laureate Lecture: Proofs, Knowledge, and Computation
Speaker: Silvio Micali, Ford Professor of Engineering, M.I.T
4:00pm - 5:15pm
Location: Banatao Auditorium, Sutardja Dai Hall
As part of a special series celebrating the 50th anniversary of Computer Science at Berkeley, where eight awardees of the highest honor in computer science reflect on their time during a golden age of CS research at Berkeley and look toward the future of research and technological development in their fields.
Silvio Micali is a visionary whose work has contributed to the mathematical foundations of cryptography and has advanced the theory of computation. His non-conventional thinking has fundamentally changed our understanding of basic notions such as randomness, secrets, proof, knowledge, collusion, and privacy, which have been contemplated and debated for millennia. This foundational work was a key component in the development of the computer security industry, facilitated by his patents and start-up companies. His work has also had great impact on other research areas in computer science and mathematics.
Micali’s work with Shafi Goldwasser (his co-winner of the Turing award and long-time collaborator) helped make cryptography a precise science. The mathematical structures they created, including formal notions of privacy, adversaries, pseudorandomness, interactive proofs, zero-knowledge proof, and numerous other basic notions that are often extremely subtle to formulate, set cryptography on rigorous foundations of the highest standards, and opened up whole new areas of research within computer science.
Sponsor:Electrical Engineering and Computer Sciences (EECS)
- Event website