Turingova cena

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ů

RokNositelPřínos
1966USA Alan J. Perlispokročilé metody programování, tvorba překladačů
1967Spojené království Maurice Wilkesuložený program, programové knihovny
1968USA Richard Hammingnumerické metody, systémy automatického kódování, kódy pro detekci a opravu chyb
1969USA Marvin Minskyumělá inteligence
1970Spojené království James H. Wilkinsonnumerická analýza, lineární algebra, „zpětná“ analýza chyb
1971USA John McCarthyumělá inteligence
1972Nizozemsko Edsger Dijkstravěda a umění programovacích jazyků
1973USA Charles Bachmandatabázové technologie
1974USA Donald Ervin Knuthanalýza algoritmů a návrh programovacích jazyků
1975USA Allen Newell a USA Herbert A. Simonumělá inteligence, psychologie lidského vnímání, zpracování seznamů
1976Izrael Michael O. Rabin a USA Dana S. Scottnedeterministické počítače
1977USA John Backusvysokoúrovňové programování, formální metody specifikace programovacích jazyků
1978USA Robert Floydmetodologie tvorby účinného a spolehlivého software
1979Kanada Kenneth Iversonprogramovací jazyky a matematická notace, implementace interaktivních systémů, výukové využití APL, teorie a praxe programovacích jazyků
1980Spojené království C. Antony R. Hoaredefinice a návrh programovacích jazyků
1981Spojené království Edgar Frank Coddsystémy pro řízení bází dat, obzvláště relační databáze
1982USA Stephen Cookvýpočetní složitost
1983USA Ken Thompson a USA Dennis Ritchieobecná teorie operačních systémů, implementace operačního systému UNIX
1984Švýcarsko Niklaus Wirthvývoj programovacích jazyků
1985USA Richard M. Karpteorie algoritmů, zvláště teorie NP-úplnosti
1986USA John Hopcroft a USA Robert Tarjannávrh a analýza algoritmů a datových struktur
1987USA John Cocketeorie překladačů, architektura rozsáhlých systémů, vývoj počítačů typu RISC
1988USA Ivan Sutherlandpočítačová grafika
1989Kanada William Kahannumerická analýza
1990USA Fernando CorbatóCTSS a Multics
1991Spojené království Robin MilnerLCF, programovací jazyk ML, CCS
1992USA Butler W. Lampsondistribuovaná prostředí osobních počítačů
1993Lotyšsko Juris Hartmanis a USA Richard E. Stearnsteorie výpočetní složitosti
1994USA Edward Feigenbaum a Indie USA Raj Reddyrozsáhlé systémy umělé inteligence
1995Venezuela Manuel Blumteorie výpočetní složitosti a její aplikace na kryptografii a ověřování programů
1996Izrael Amir Pnuelitemporální logika, ověřování programů a systémů
1997USA Douglas Engelbartinteraktivní výpočty
1998USA James Graydatabázové transakční operace
1999USA Frederick Brooksarchitektura počítačů, operační systémy, softwarové inženýrství
2000Tchaj-wan USA Andrew Chi-Chih Yaoteorie počítání včetně generování pseudonáhodných čísel, kryptografie a výpočetní složitosti
2001Norsko Ole-Johan Dahl a Norsko Kristen Nygaardobjektově orientované programování
2002USA Ronald L. Rivest, Adi Šamir a Leonard Adlemanšifrování s veřejným klíčem
2003USA Alan Kayobjektově orientované programování
2004USA Vint Cerf a Robert E. Kahnprotokoly TCP/IP
2005Dánsko Peter Naurnávrh programovacích jazyků (ALGOL 60), návrh překladačů a umění a praxe počítačového programování
2006USA Frances E. Allenováoptimalizující překladače, automatická paralelizace provádění
2007USA Edmund M. Clarke, USA E. Allen Emerson a Řecko Francie Joseph Sifakispráce na automatických způsobech hledání návrhových chyb v počítačovém hardwaru a softwaru [1]
2008USA 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
2009USA Charles P. Thackerprůkopnický návrh a realizace osobního počítače a četné vynálezy, které pomohly rozšíření místních sítí (LAN)
2010Spojené království Leslie G. Valiantpř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ů
2011Izrael USA Judea Pearlfundamentální příspěvky k rozvoji umělé inteligence prostřednictvím rozvoje kalkulu pro pravděpodobnostní a kauzální vyvozování
2012USA Itálie Silvio Micali a Izrael USA Shafi Goldwasserprá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]
2013USA Leslie Lamportpříspěvky ke spolehlivosti a konzistenci počítačových systémů
2014USA Michael Stonebrakerzásadní přínos k vývoji moderních databázových systémů[3]
2015USA Whitfield Diffie a USA Martin Hellmanvynalezení 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]
2016Spojené království Tim Berners-Leezásluhy o rozvoj webových technologií, především protokolu HTTP, World Wide Web (WWW) i prvního webového prohlížeče.[6]
2017USA John Hennessy a USA David Pattersonsystematický, kvantitativní přístup k návrhu a vyhodnocování počítačových architektur s trvajícím dopadem na mikroprocesorový průmysl
2018Kanada Yoshua Bengio, Kanada Geoffrey Hinton a USA Yann LeCunkonceptuální a technické průlomy, které z hlubokých neuronových sítí učinily kritickou komponentu výpočetní techniky[7]
2019USA Pat Hanrahan a USA Ed Catmullzá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]
2020Kanada USA Alfred Aho a USA Jeffrey Ullmanfundamentá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]
2021USA Jack Dongarraprů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]
2022USA Robert Metcalfevynález, standardizace a komercializace Ethernetu[11]
2023USA Avi Wigdersonprů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

  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

Média použitá na této stránce