Turingova cena

Z Multimediaexpo.cz

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 počítačové komunitě. 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 počítačoví vědci.

Cena je pojmenována po Alanu Mathisonovi Turingovi (19121954), britském matematikovi, který je považován za jednoho ze zakladatelů moderní počítačové vědy. 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.
Momentální výše ceny je 250 000 USD.

Seznam nositelů

Rok Nositel Přínos
1966 Alan J. Perlis pokročilé metody programování, tvorba překladačů
1967 Maurice V. 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 W. Bachman databázové technologie
1974 Donald E. 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 W. Floyd metodologie tvorby účinného a spolehlivého software
1979 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 C. Antony R. Hoare definice a návrh programovacích jazyků
1981 Edgar F. Codd systémy pro řízení bází dat, obzvláště relační databáze
1982 Stephen A. Cook výpočetní složitost
1983 Ken Thompson a Dennis M. 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 J. 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 P. Brooks, Jr. 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 Shamir a Leonard M. Adleman šifrování s veřejným klíčem
2003 Alan Kay objektově orientované programování
2004 Vinton G. 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í

Externí odkaz