Turingova cena

ocenění udělované organizací ACM počítačovým vědcům

Cena A. M. Turinga (anglicky ACM A.M. Turing Award) je ocenění udělované každoročně Asociací výpočetní techniky (ACM) jednotlivcům za jejich technický přínos v oboru informatiky. Přínos by měl mít trvalou a výraznou důležitost pro celý obor. Většina oceněných osobností byli informatici.

Cena je pojmenována po Alanu Mathisonovi Turingovi (19121954), britském matematikovi, který je považován za jednoho ze zakladatelů moderní informatiky. Turingova cena je někdy označována za „Nobelovu cenu informatiky“, neboť je nejdůležitějším oceněním v tomto oboru.

Turingovu cenu sponzoruje společnost Google Inc.; momentální výše ceny je 1 000 000 USD (dříve měla cena hodnotu 250 000 dolarů).

Seznam nositelů

editovat
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]

Reference

editovat
  1. Tisková zpráva ACM o Turingově ceně 2007 (anglicky). www.acm.org [online]. [cit. 15-02-2008]. Dostupné v archivu pořízeném dne 28-12-2008. 
  2. Shafi Goldwasser - A.M. Turing Award Winner [online]. ACM. Dostupné online. 
  3. Michael Stonebraker - A.M. Turing Award Laureate. amturing.acm.org [online]. [cit. 2022-04-17]. Dostupné online. 
  4. DIFFIE, W.; HELLMAN, M. New directions in cryptography. IEEE Transactions on Information Theory. 1976, svazek 22, čís. 6, s. 644–654. Dostupné online. DOI 10.1109/TIT.1976.1055638. 
  5. Whitfield Diffie - A.M. Turing Award Winner, acm.org
  6. Padesátou „IT Nobelovku“ získal Tim Berners-Lee, vynálezce WWW a HTTP. technet.idens.cz [online]. 2017-04-04 [cit. 2017-04-04]. Dostupné online. 
  7. Fathers of the Deep Learning revolution receive 2018 ACM A.M. Turing Award. www.acm.org [online]. [cit. 2022-04-17]. Dostupné online. (anglicky) 
  8. 2019 ACM A.M. Turing Award Laureates. awards.acm.org [online]. [cit. 2022-04-17]. Dostupné online. (anglicky) 
  9. ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms. 2021-03-31
  10. ACM Turing Award Honors Jack J. Dongarra for Pioneering Concepts and Methods Which Have Resulted in World-Changing Computations. 2022-03-30
  11. ACM Turing Award Honors Bob Metcalfe for Ethernet. 2023-03-22
  12. ACM A.M. Turing Award Honors Avi Wigderson for Foundational Contributions to the Theory of Computation

Externí odkazy

editovat