Turingova cena
Z Wikipedie, otevřené encyklopedie
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 (1912–1954), 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 sponzoruje společnost Intel Corporation; momentální výše ceny je 100 000 USD.
[editovat] 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. Scottová | 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 and 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í |
