Download Turing Award Recipients

Turing Award
Turing Award, in full A.M. Turing Award, annual award given by the Association for Computing Machinery
(ACM), a professional computing society founded in 1947, to one or more individuals “selected for
contributions of a technical nature made to the computing community.” The Turing Award is often referred to
as the computer science equivalent of the Nobel Prize.
The Turing Award is named for Alan Mathison Turing, an English pioneer in computers and artificial
intelligence. The first recipient of the award, in 1966, was Alan J. Perlis, an American computer scientist who
wrote the compiler for the ALGOL computer programming language. The first woman to win the prize was
Frances E. Allen, in 2006, for her work in compiler optimization, which contributed to the development of
parallel execution in multiprocessing.
Intel Corporation began funding the Turing Award in 2002, and in 2007 Google Inc. joined in funding the
award. The prize money was raised to $250,000 that year. Since 2014, the award has been accompanied by a
prize of US $1 million, with financial support provided by Google.
A list of Turing Award winners is provided in the table.
YEAR
MAME
AREA OF ACHIEVEMENT
1966
1967
1968
1969
1970
1971
1972
1973
1974 √
1975
1975
1976 √
1976 √
1977
1978
1979
1980
1981
1982 √
1983
1983
1984
1985 √
1986 √
1986 √
1987
1988
1989
1990
1991
Perlis, Alan J.
Wilkes, Maurice V.
Hamming, Richard W.
Minsky, Marvin L.
Wilkinson, James H.
McCarthy, John
Dijkstra, Edsger W.
Bachman, Charles W.
Knuth, Donald E.
Newell, Allen
Simon, Herbert A.
Rabin, Michael O.
Scott, Dana S.
Backus, John
Floyd, Robert W.
Iverson, Kenneth E.
Hoare, C. Antony R.
Codd, Edgar F.
Cook, Stephen A.
Ritchie, Dennis M.
Thompson, Kenneth L.
Wirth, Niklaus E.
Karp, Richard M.
Hopcroft, John E.
Tarjan, Robert E.
Cocke, John
Sutherland, Ivan
Kahan, William
Corbato, Fernando J.
Milner, A.J. Robin
compiler for the ALGOL programming language
EDSAC, the first stored-program computer
Hamming codes for error detection and error correction
artificial intelligence
numerical analysis on supercomputers
artificial intelligence
programming languages, including ALGOL
database technology
computer algorithms and programming languages
artificial intelligence
artificial intelligence
nondeterministic machines
nondeterministic machines
programming languages, including FORTRAN
programming languages, including automatic program verification
programming languages, including APL
programming languages
programming languages
theory of NP-complete problems
operating systems, including UNIX
operating systems, including UNIX
programming languages, including PASCAL
theory of algorithms and study of NP-complete problems
algorithms and data structures
algorithms and data structures
compilers and microprocessors
computer graphics
numerical analysis
time-sharing systems, including CTSS and Multics
machine-assisted proof construction
1992
1993 √
1993 √
1994
1994
1995 √
1996
1997
1998
1999
2000 √
2001
2001
2002 √
2002 √
2002 √
2003
2004
2004
2005
2006
2007
2007
2007
2008
2009
2010 √
2011
2012 √
2012 √
2013
2014
2015
2015
Lampson, Butler W.
Hartmanis, Juris
Stearns, Richard E.
Feigenbaum, Edward
Reddy, Raj
Blum, Manuel
Pnueli, Amir
Engelbart, Douglas
Gray, Jim
Brooks, Frederick P.
Yao, Andrew Chi-Chih
Dahl, Ole-Johan
Nygaard, Kristen
Adleman, Leonard M.
Rivest, Ronald L.
Shamir, Adi
Kay, Alan
Cerf, Vinton
Kahn, Robert E.
Naur, Peter
Allen, Frances E.
Clarke, Edmund M.
Emerson, E. Allen
Sifakis, Joseph
Liskov, Barbara J.H.
Thacker, Charles P.
Valiant, Leslie
Pearl, Judea
Goldwasser, Shafi
Micali, Silvio
Lamport, Leslie
Stonebraker, Michael
Hellman, Martin E.
Diffie, Whitfield
distributed computing
computational complexity theory
computational complexity theory
artificial intelligence
artificial intelligence
computational complexity theory
temporal logic in computing
computer mouse and multiple windows
databases and transaction processing
computer architecture, operating systems, and software engineering
theory of computations
object-oriented programming languages
object-oriented programming languages
public-key cryptography
public-key cryptography
public-key cryptography
object-oriented programming languages, including Smalltalk
Transmission Control Protocol and Internet Protocol (TCP/IP)
Transmission Control Protocol and Internet Protocol (TCP/IP)
programming languages, including ALGOL 60
compiler optimization and automatic parallel execution
model checking software
model checking software
model checking software
programming languages and system design
Alto, the first personal computer
computational learning theory
artificial intelligence
cryptography, complexity theory
cryptography, complexity theory
distributed and concurrent systems
modern database systems
modern cryptography
modern cryptography