Turingova cena

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

Cena A. M. Turinga 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 jako „Nobelova cena informatiky“, neboť je nejdůležitějším oceněním v tomto oboru.

Turingovu cenu sponzorují společnosti Intel Corporation a Google Inc.; momentální výše ceny je 250 000 USD (dříve byla sponzorem jen společnost Intel a cena měla hodnotu $100 000).

Seznam nositelů[editovat | editovat zdroj]

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

Reference[editovat | editovat zdroj]

  1. Tisková zpráva ACM o Turingově ceně 2007 (anglicky)
  2. Turing award 2012 [online]. ACM. Dostupné online. (anglicky) 

Externí odkazy[editovat | editovat zdroj]