Participants in Berkeley ACM A.M. Turing Laureate Colloquium
Listed in chronological order of ACM A.M. Turing award.
Richard Karp
Talk: Computational Complexity in Theory and in Practice – October 24, 2018
Won in 1985 for NP-completeness
For his continuing contributions to the theory of algorithms including the development of efficient algorithms for network flow and other combinatorial optimization problems, the identification of polynomial-time computability with the intuitive notion of algorithmic efficiency, and, most notably, contributions to the theory of NP-completeness.
Turing Award Lecture: Combinatorics, complexity, and randomness
William Kahan
Talk: A Numerical Analyst Thinks about Deep Learning – November 7, 2018
Won in 1989 for IEEE 754 Floating Point Standard
For his fundamental contributions to numerical analysis. One of the foremost experts on floating-point computations. Kahan has dedicated himself to “making the world safe for numerical computations.
Turing Award Lecture: Better to prescribe arithmetic than describe it (no transcript)
Manuel Blum
Talk: Towards a Conscious AI: A Computer Architecture Inspired by Neuroscience – October 17, 2018
Won in 1995 for Computational Complexity
In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking.
Turing Award Lecture: Alan Turing and the other theory of computing and can a machine be conscious?
Andrew Chi-Chih Yao
Talk: Game Theory in Auction and Blockchain – November 14, 2018
Won in 2000 for Public Key Protocols
In recognition of his fundamental contributions to the theory of computation, including the complexity-based theory of pseudorandom number generation, cryptography, and communication complexity.
Silvio Micali (Ph.D. ’82) and Shafi Goldwasser (M.S. ’81/Ph.D. ’84)
Shafi’s talk: From Basic Idea to Impact: The Story of Modern Cryptography – September 26, 2018
Silvio’s talk: Proofs, Knowledge, and Computation – October 3, 2018
Won in 2012 for Probabilistic Encryption
For transformative work that laid the complexity-theoretic foundations for the science of cryptography and in the process pioneered new methods for efficient verification of mathematical proofs in complexity theory.
Turing Award Lectures: The Cryptographic Lens and Proof According to Silvio
Michael Stonebraker
Talk: The Land Sharks are on the Squawk Box – October 31, 2018
Won in 2014 for Postgres Database
For fundamental contributions to the concepts and practices underlying modern database systems.
Turing Award Lecture: Postgres
David Patterson
Talk: A new Golden Age for Computer Architecture – October 10, 2018
Won with John Hennessy in 2017 for RISC I-IV
For pioneering a systematic, quantitative approach to the design and evaluation of computer architectures with enduring impact on the microprocessor industry.
Turing Award Lecture: A New Golden Age for Computer Architecture: Domain-Specific Hardware/Software Co-Design, Enhanced Security, Open Instruction Sets, and Agile Chip Development