| Rok
|
Nositel
|
P?inos
|
| 1966
|
 Alan J. Perlis
|
pokro?ile metody programovani, tvorba
p?eklada??
|
| 1967
|
 Maurice Wilkes
|
ulo?eny program,
programove knihovny
|
| 1968
|
Richard Hamming
|
numericke metody
, systemy automatickeho kodovani, kody pro
detekci a opravu chyb
|
| 1969
|
Marvin Minsky
|
um?la inteligence
|
| 1970
|
James H. Wilkinson
|
numericka analyza,
linearni algebra
, ?zp?tna“ analyza chyb
|
| 1971
|
John McCarthy
|
um?la inteligence
|
| 1972
|
 Edsger Dijkstra
|
v?da a um?ni
programovacich jazyk?
|
| 1973
|
Charles Bachman
|
databazove
technologie
|
| 1974
|
Donald Ervin Knuth
|
analyza
algoritm?
a navrh programovacich jazyk?
|
| 1975
|
Allen Newell
a
Herbert A. Simon
|
um?la inteligence, psychologie lidskeho vnimani, zpracovani seznam?
|
| 1976
|
 Michael O. Rabin
a
Dana S. Scott
|
nedeterministicke po?ita?e
|
| 1977
|
John Backus
|
vysokourov?ove programovani, formalni metody specifikace programovacich jazyk?
|
| 1978
|
Robert Floyd
|
metodologie tvorby u?inneho a spolehliveho
software
|
| 1979
|
 Kenneth Iverson
|
programovaci jazyky a matematicka notace, implementace interaktivnich system?, vyukove vyu?iti
APL
, teorie a praxe programovacich jazyk?
|
| 1980
|
C. Antony R. Hoare
|
definice a navrh programovacich jazyk?
|
| 1981
|
Edgar Frank Codd
|
systemy pro ?izeni bazi dat, obzvla?t?
rela?ni databaze
|
| 1982
|
Stephen Cook
|
vypo?etni slo?itost
|
| 1983
|
Ken Thompson
a
Dennis Ritchie
|
obecna teorie
opera?nich system?
, implementace opera?niho systemu
UNIX
|
| 1984
|
 Niklaus Wirth
|
vyvoj programovacich jazyk?
|
| 1985
|
Richard M. Karp
|
teorie algoritm?, zvla?t? teorie
NP-uplnosti
|
| 1986
|
John Hopcroft
a
Robert Tarjan
|
navrh a analyza algoritm? a datovych struktur
|
| 1987
|
John Cocke
|
teorie p?eklada??, architektura rozsahlych system?, vyvoj po?ita?? typu
RISC
|
| 1988
|
Ivan Sutherland
|
po?ita?ova grafika
|
| 1989
|
William Kahan
|
numericka analyza
|
| 1990
|
Fernando Corbato
|
CTSS
a
Multics
|
| 1991
|
Robin Milner
|
LCF
,
programovaci jazyk ML
, CCS
|
| 1992
|
Butler W. Lampson
|
distribuovana prost?edi osobnich po?ita??
|
| 1993
|
 Juris Hartmanis
a
Richard E. Stearns
|
teorie vypo?etni slo?itosti
|
| 1994
|
Edward Feigenbaum
a
 Raj Reddy
|
rozsahle systemy um?le inteligence
|
| 1995
|
 Manuel Blum
|
teorie vypo?etni slo?itosti a jeji aplikace na
kryptografii
a ov??ovani program?
|
| 1996
|
Amir Pnueli
|
temporalni logika
, ov??ovani program? a system?
|
| 1997
|
Douglas Engelbart
|
interaktivni vypo?ty
|
| 1998
|
James Gray
|
databazove
transak?ni operace
|
| 1999
|
Frederick Brooks
|
architektura po?ita??, opera?ni systemy,
softwarove in?enyrstvi
|
| 2000
|
 Andrew Chi-Chih Yao
|
teorie po?itani v?etn? generovani
pseudonahodnych ?isel
, kryptografie a vypo?etni slo?itosti
|
| 2001
|
 Ole-Johan Dahl
a
Kristen Nygaard
|
objektov? orientovane programovani
|
| 2002
|
Ronald L. Rivest
,
Adi ?amir
a
Leonard Adleman
|
?ifrovani s ve?ejnym kli?em
|
| 2003
|
Alan Kay
|
objektov? orientovane programovani
|
| 2004
|
Vint Cerf
a
Robert E. Kahn
|
protokoly
TCP/IP
|
| 2005
|
 Peter Naur
|
navrh programovacich jazyk? (
ALGOL 60
), navrh p?eklada?? a um?ni a praxe po?ita?oveho programovani
|
| 2006
|
Frances E. Allenova
|
optimalizujici p?eklada?e, automaticka paralelizace provad?ni
|
| 2007
|
Edmund M. Clarke
,
E. Allen Emerson
a
  Joseph Sifakis
|
prace na automatickych zp?sobech hledani navrhovych chyb v po?ita?ovem hardwaru a softwaru
[1]
|
| 2008
|
Barbara Liskovova
|
prakticke a teoreticke zaklady navrhu
programovacich jazyk?
a system?, zejmena s ohledem na
datovou abstrakci
,
odolnost v??i chybam
a
distribuovane vypo?ty
|
| 2009
|
Charles P. Thacker
|
pr?kopnicky navrh a realizace osobniho po?ita?e a ?etne vynalezy, ktere pomohly roz?i?eni mistnich siti (LAN)
|
| 2010
|
Leslie G. Valiant
|
p?evratne p?isp?vky k
teorii po?itani
, v?etn? teorie
pravd?podobn? p?ibli?n? spravneho u?eni
, slo?itosti po?itani a
algebraickych vypo?t?
a teorie
paralelnich
a
distribuovanych vypo?t?
|
| 2011
|
Judea Pearl
|
fundamentalni p?isp?vky k rozvoji
um?le inteligence
prost?ednictvim rozvoje kalkulu pro
pravd?podobnostni
a
kauzalni
vyvozovani
|
| 2012
|
 Silvio Micali
a
Shafi Goldwasser
|
prace v oblasti
teorie slo?itosti
, ktera polo?ila teoreticke zaklady moderni
kryptografii
a zavedeni novych efektivnich metod ov??ovani matematickych d?kaz? v teto oblasti
[2]
|
| 2013
|
Leslie Lamport
|
p?isp?vky ke spolehlivosti a konzistenci po?ita?ovych system?
|
| 2014
|
Michael Stonebraker
|
zasadni p?inos k vyvoji modernich
databazovych system?
[3]
|
| 2015
|
Whitfield Diffie
a
Martin Hellman
|
vynalezeni a roz?i?eni
asymetricke kryptografie s ve?ejnym kli?em
,
[4]
v?etn? pou?iti pro
elektronicke podpisy
, a
praktickeho zp?sobu
vym?ny kryptografickych kli??
[5]
|
| 2016
|
Tim Berners-Lee
|
zasluhy o rozvoj
webovych
technologii, p?edev?im protokolu
HTTP
,
World Wide Web
(WWW) i prvniho
weboveho prohli?e?e
.
[6]
|
| 2017
|
John Hennessy
a
David Patterson
|
systematicky, kvantitativni p?istup k navrhu a vyhodnocovani po?ita?ovych architektur s trvajicim dopadem na mikroprocesorovy pr?mysl
|
| 2018
|
Yoshua Bengio
,
Geoffrey Hinton
a
Yann LeCun
|
konceptualni a technicke pr?lomy, ktere z
hlubokych
neuronovych siti
u?inily kritickou komponentu vypo?etni techniky
[7]
|
| 2019
|
Pat Hanrahan
a
Ed Catmull
|
zasadni p?isp?vky
po?ita?ove 3D grafice
a revolu?ni dopad t?chto technik na
po?ita?em generovany
obsah (CGI) ve filmu a dal?ich aplikacich
[8]
|
| 2020
|
Alfred Aho
a
Jeffrey Ullman
|
fundamentalni algoritmy a teorii zasadni pro implementaci
programovacich jazyk?
a za shroma?d?ni t?chto vysledk? a vysledk? jinych v nesmirn? vlivnych knihach, ktere vzd?lavaly generace po?ita?ovych v?dc?
[9]
|
| 2021
|
Jack Dongarra
|
pr?kopnicke p?isp?vky k
numerickym algoritm?m
a
knihovnam
, ktere umo?nily, aby po vice ne? ?ty?i dekady udr?oval vysoce vykonny vypo?etni software krok s exponencialnim vylep?ovani hardwaru
[10]
|
| 2022
|
Robert Metcalfe
|
vynalez, standardizace a komercializace
Ethernetu
[11]
|
| 2023
|
Avi Wigderson
|
pr?kopnicke p?isp?vky
teorii algoritm?
v?etn? p?etvo?eni na?eho porozum?ni roli
nahody
v informatice a matematice a za dekady intelektualniho vedeni v oboru teoreticke informatiky
[12]
|