Turing Award |
ACM Turing Award | |
---|---|
Awarded for | Outstanding contributions in |
Country | |
Presented by | |
Reward(s) | US $1,000,000^{[1]} |
First awarded | 1966 |
Last awarded | 2018 |
Website | amturing |
The ACM A.M. Turing Award is an annual prize given by the
The award is named after
The first recipient, in 1966, was
Year | Recipient | Picture | Rationale |
---|---|---|---|
1966 | For his influence in the area of advanced | ||
1967 | Wilkes is best known as the builder and designer of the | ||
1968 | For his work on | ||
1969 | For his central role in creating, shaping, promoting, and advancing the field of | ||
1970 | For his research in | ||
1971 | McCarthy's lecture "The Present State of Research on Artificial Intelligence" is a topic that covers the area in which he has achieved considerable recognition for his work.^{[15]} | ||
1972 | Edsger Dijkstra was a principal contributor in the late 1950s to the development of the | ||
1973 | For his outstanding contributions to | ||
1974 | For his major contributions to the analysis of algorithms and the design of programming languages, and in particular for his contributions to " | ||
1975 | In joint scientific efforts extending over twenty years, initially in collaboration with | ||
1976 | For their joint paper "Finite Automata and Their Decision Problem,"^{[20]} which introduced the idea of | ||
1977 | For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on | ||
1978 | For having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of | ||
1979 | For his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as | ||
1980 | For his fundamental contributions to the definition and design of programming languages.^{[26]} | ||
1981 | For his fundamental and continuing contributions to the theory and practice of database management systems, esp. | ||
1982 | For his advancement of our understanding of the complexity of computation in a significant and profound way.^{[28]} | ||
1983 | For their development of generic operating systems theory and specifically for the implementation of the | ||
1984 | For developing a sequence of innovative computer languages, | ||
1985 | 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 | ||
1986 | For fundamental achievements in the design and analysis of algorithms and data structures. | ||
1987 | For significant contributions in the design and theory of compilers, the architecture of large systems and the development of | ||
1988 | For his pioneering and visionary contributions to | ||
1989 | For his fundamental contributions to | ||
1990 | For his pioneering work organizing the concepts and leading the development of the general-purpose, large-scale, | ||
1991 | For three distinct and complete achievements: 1) | ||
1992 | For contributions to the development of distributed, personal computing environments and the technology for their implementation: | ||
1993 | In recognition of their seminal paper which established the foundations for the field of | ||
1994 | For pioneering the design and construction of large scale artificial intelligence systems, demonstrating the practical importance and potential commercial impact of artificial intelligence technology.^{[33]} | ||
1995 | In recognition of his contributions to the foundations of | ||
1996 | For seminal work introducing | ||
1997 | For an inspiring vision of the future of interactive computing and the invention of key technologies to help realize this vision.^{[36]} | ||
1998 | For seminal contributions to | ||
1999 | For landmark contributions to | ||
2000 | In recognition of his fundamental contributions to the | ||
2001 | For ideas fundamental to the emergence of | ||
2002 | For | ||
2003 | For pioneering many of the ideas at the root of contemporary | ||
2004 | For pioneering work on | ||
2005 | For fundamental contributions to | ||
2006 | 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 | For their roles in developing | ||
2008 | For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing. | ||
2009 | For his pioneering design and realization of the | ||
2010 | For transformative contributions to the | ||
2011 | For fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning.^{[39]} | ||
2012 | 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.^{[40]} | ||
2013 | 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.^{[41]}^{[42]} | ||
2014 | For fundamental contributions to the concepts and practices underlying modern database systems.^{[43]} | ||
2015 | For fundamental contributions to modern cryptography. Diffie and Hellman's groundbreaking 1976 paper, "New Directions in Cryptography,"^{[44]} introduced the ideas of public-key cryptography and digital signatures, which are the foundation for most regularly-used security protocols on the Internet today.^{[45]} | ||
2016 | For inventing the | ||
2017 | For pioneering a systematic, quantitative approach to the design and evaluation of computer architectures with enduring impact on the microprocessor industry.^{[47]} | ||
2018 | For conceptual and engineering breakthroughs that have made | ||