Rok |
Nositel |
Přínos
|
1966 |
Alan J. Perlis |
pokročilé metody programování, tvorba překladačů
|
1967 |
Maurice 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 Bachman |
databázové technologie
|
1974 |
Donald Ervin 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 Floyd |
metodologie tvorby účinného a spolehlivého software
|
1979 |
Kenneth 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 Frank Codd |
systémy pro řízení bází dat, obzvláště relační databáze
|
1982 |
Stephen Cook |
výpočetní složitost
|
1983 |
Ken Thompson a Dennis 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 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 Brooks |
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 Šamir a Leonard Adleman |
šifrování s veřejným klíčem
|
2003 |
Alan Kay |
objektově orientované programování
|
2004 |
Vint 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]
|
2008 |
Barbara Liskovová |
praktické a teoretické základy návrhu programovacích jazyků a systémů, zejména s ohledem na datovou abstrakci, odolnost vůči chybám a distribuované výpočty
|
2009 |
Charles P. Thacker |
průkopnický návrh a realizace osobního počítače a četné vynálezy, které pomohly rozšíření místních sítí (LAN)
|
2010 |
Leslie G. Valiant |
převratné příspěvky k teorii počítání, včetně teorie pravděpodobně přibližně správného učení, složitosti počítání a algebraických výpočtů a teorie paralelních a distribuovaných výpočtů
|
2011 |
Judea Pearl |
fundamentální příspěvky k rozvoji umělé inteligence prostřednictvím rozvoje kalkulu pro pravděpodobnostní a kauzální vyvozování
|
2012 |
Silvio Micali a Shafi Goldwasser |
práce v oblasti teorie složitosti, která položila teoretické základy moderní kryptografii a zavedení nových efektivních metod ověřování matematických důkazů v této oblasti[2]
|
2013 |
Leslie Lamport |
příspěvky ke spolehlivosti a konzistenci počítačových systémů
|
2014 |
Michael Stonebraker |
zásadní přínos k vývoji moderních databázových systémů[3]
|
2015 |
Whitfield Diffie a Martin Hellman |
vynalezení a rozšíření asymetrické kryptografie s veřejným klíčem,[4] včetně použití pro elektronické podpisy, a praktického způsobu výměny kryptografických klíčů[5]
|
2016 |
Tim Berners-Lee |
zásluhy o rozvoj webových technologií, především protokolu HTTP, World Wide Web (WWW) i prvního webového prohlížeče.[6]
|
2017 |
John Hennessy a David Patterson |
systematický, kvantitativní přístup k návrhu a vyhodnocování počítačových architektur s trvajícím dopadem na mikroprocesorový průmysl
|
2018 |
Yoshua Bengio, Geoffrey Hinton a Yann LeCun |
konceptuální a technické průlomy, které z hlubokých neuronových sítí učinily kritickou komponentu výpočetní techniky[7]
|
2019 |
Pat Hanrahan a Ed Catmull |
zásadní příspěvky počítačové 3D grafice a revoluční dopad těchto technik na počítačem generovaný obsah (CGI) ve filmu a dalších aplikacích[8]
|
2020 |
Alfred Aho a Jeffrey Ullman |
fundamentální algoritmy a teorii zásadní pro implementaci programovacích jazyků a za shromáždění těchto výsledků a výsledků jiných v nesmírně vlivných knihách, které vzdělávaly generace počítačových vědců[9]
|
2021 |
Jack Dongarra |
průkopnické příspěvky k numerickým algoritmům a knihovnám, které umožnily, aby po více než čtyři dekády udržoval vysoce výkonný výpočetní software krok s exponenciálním vylepšování hardwaru[10]
|
2022 |
Robert Metcalfe |
vynález, standardizace a komercializace Ethernetu[11]
|
2023 |
Avi Wigderson |
průkopnické příspěvky teorii algoritmů včetně přetvoření našeho porozumění roli náhody v informatice a matematice a za dekády intelektuálního vedení v oboru teoretické informatiky[12]
|