| Rok |
Nositel |
Přínos |
| 1966 |
Alan J. Perlis |
pokročilé metody programování, tvorba překladačů |
| 1967 |
Maurice V. Wilkes |
uložený program, programové knihovny |
| 1968 |
Richard Hamming |
numerické metody, systémy automatického kódování, kódy pro detekci a opravu chyb |
| 1969 |
Marvin Minsky |
umělá inteligence |
| 1970 |
James H. Wilkinson |
numerická analýza, lineární algebra, „zpětná“ analýza chyb |
| 1971 |
John McCarthy |
umělá inteligence |
| 1972 |
Edsger Dijkstra |
věda a umění programovacích jazyků |
| 1973 |
Charles W. Bachman |
databázové technologie |
| 1974 |
Donald E. Knuth |
analýza algoritmů a návrh programovacích jazyků |
| 1975 |
Allen Newell a Herbert A. Simon |
umělá inteligence, psychologie lidského vnímání, zpracování seznamů |
| 1976 |
Michael O. Rabin a Dana S. Scott |
nedeterministické počítače |
| 1977 |
John Backus |
vysokoúrovňové programování, formální metody specifikace programovacích jazyků |
| 1978 |
Robert W. Floyd |
metodologie tvorby účinného a spolehlivého software |
| 1979 |
Kenneth E. Iverson |
programovací jazyky a matematická notace, implementace interaktivních systémů, výukové využití APL, teorie a praxe programovacích jazyků |
| 1980 |
C. Antony R. Hoare |
definice a návrh programovacích jazyků |
| 1981 |
Edgar F. Codd |
systémy pro řízení bází dat, obzvláště relační databáze |
| 1982 |
Stephen A. Cook |
výpočetní složitost |
| 1983 |
Ken Thompson a Dennis M. Ritchie |
obecná teorie operačních systémů, implementace operačního systému UNIX |
| 1984 |
Niklaus Wirth |
vývoj programovacích jazyků |
| 1985 |
Richard M. Karp |
teorie algoritmů, zvláště teorie NP-úplnosti |
| 1986 |
John Hopcroft a Robert Tarjan |
návrh a analýza algoritmů a datových struktur |
| 1987 |
John Cocke |
teorie překladačů, architektura rozsáhlých systémů, vývoj počítačů typu RISC |
| 1988 |
Ivan Sutherland |
počítačová grafika |
| 1989 |
William Kahan |
numerická analýza |
| 1990 |
Fernando J. Corbató |
CTSS a Multics |
| 1991 |
Robin Milner |
LCF, programovací jazyk ML, CCS |
| 1992 |
Butler W. Lampson |
distribuovaná prostředí osobních počítačů |
| 1993 |
Juris Hartmanis a Richard E. Stearns |
teorie výpočetní složitosti |
| 1994 |
Edward Feigenbaum a Raj Reddy |
rozsáhlé systémy umělé inteligence |
| 1995 |
Manuel Blum |
teorie výpočetní složitosti a její aplikace na kryptografii a ověřování programů |
| 1996 |
Amir Pnueli |
temporální logika, ověřování programů a systémů |
| 1997 |
Douglas Engelbart |
interaktivní výpočty |
| 1998 |
James Gray |
databázové transakční operace |
| 1999 |
Frederick P. Brooks, Jr. |
architektura počítačů, operační systémy, softwarové inženýrství |
| 2000 |
Andrew Chi-Chih Yao |
teorie počítání včetně generování pseudonáhodných čísel, kryptografie a výpočetní složitosti |
| 2001 |
Ole-Johan Dahl a Kristen Nygaard |
objektově orientované programování |
| 2002 |
Ronald L. Rivest, Adi Shamir a Leonard M. Adleman |
šifrování s veřejným klíčem |
| 2003 |
Alan Kay |
objektově orientované programování |
| 2004 |
Vinton G. Cerf a Robert E. Kahn |
protokoly TCP/IP |
| 2005 |
Peter Naur |
návrh programovacích jazyků (ALGOL 60), návrh překladačů a umění a praxe počítačového programování |
| 2006 |
Frances E. Allenová |
optimalizující překladače, automatická paralelizace provádění |
| 2007 |
Edmund M. Clarke, E. Allen Emerson a Joseph Sifakis |
práce na automatických způsobech hledání návrhových chyb v počítačovém hardwaru a softwaru [1] |