a.m. turing award winners 1966-2020

a.m. turing award winners 1998 Jim Gray For seminal contributions to database and transaction processing research and technical leadership in system implementation. 1999 Frederick P. Brooks For landmark contributions to computer architecture, operating systems, and software engineering. 2000 Andrew Yao In recognition of his fundamental contributions to the theory of computation, including the complexity-based theory of pseudorandom number generation, cryptography, and communication complexity. 2001 Ole-Johan Dahl and Kristen Nygaard For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67. 2002 Ron Rivest and Adi Shamir For their ingenious contribution for making public-key cryptography useful in practice. 2003 Alan Kay For pioneering many of the ideas at the root of contemporary object-oriented programming languages, leading the team that developed Smalltalk, and for fundamental contributions to personal computing. 2004 Vint Cerf and Bob Kahn For pioneering work on internetworking, including the design and implementation of the Internet's basic communications protocols, TCP/IP, and for inspired leadership in networking. 2005 Peter Naur For fundamental contributions to programming language design and the definition of ALGOL 60, to compiler design, and to the art and practice of computer programming. 2006 Frances E. Allen Allen For pioneering contributions to the theory and practice of optimizing compiler techniques that laid the foundation for modern optimizing compilers and automatic parallel execution. 2007 Edmund M. Clarke For their roles in developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries. 2008 Barbara Liskov For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing. 2009 Charles P. Thacker For his pioneering design and realization of the Xerox Alto, the first modern personal computer, and in addition for his contributions to the Ethernet and the Tablet PC. 2010 Leslie Valiant For transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing. 2011 Judea Pearl For fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning. 2012 Silvio Micali 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. 2013 Leslie Lamport For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency. 2014 Michael Stonebraker For fundamental contributions to the concepts and practices underlying modern database systems. 2015 Whitfield Diffie For fundamental contributions to modern cryptography. Diffie and Hellman's groundbreaking 1976 paper, "New Directions in Cryptography," introduced the ideas of public-key cryptography and digital signatures, which are the foundation for most regularly-used security protocols on the Internet today. 2016 Tim Berners-Lee For inventing the World Wide Web, the first web browser, and the fundamental protocols and algorithms allowing the Web to scale. 2017 John L. Hennessy For pioneering a systematic, quantitative approach to the design and evaluation of computer architectures with enduring impact on the microprocessor industry. 2018 Yoshua Bengio For conceptual and engineering breakthroughs that have made deep neural networks a critical component of computing. 2019 Edwin Catmull For fundamental contributions to 3-D computer graphics, and the revolutionary impact of these techniques on computer-generated imagery (CGI) in filmmaking and other applications.