Turingova cena
Z Wikipédie
Cena A. M. Turinga je ocenenie udeľované každoročne Asociáciou výpočtovej techniky (ACM) jednotlivcom za ich technický prínos počítačovej komunite. Prínos by mal mať trvalú a výraznú dôležitosť pre celý odbor. Väčšina ocenených osobností boli počítačoví vedci.
Cena je pomenovaná po Alanovi Mathisonovi Turingovi (1912–1954), britskom matematikovi, ktorý je považovaný za jedného zo zakladateľov modernej počítačovej vedy. Turingova cena sa niekedy označuje ako Nobelova cena informatiky, lebo je najdôležitejším ocenením v tomto odbore.
Turingovu cenu sponzoruje spoločnosľ Intel; momentálna výške ceny je 100 000 USD.
[úprava] Zoznam držiteľov
| Rok | Držiteľ | Prínos |
|---|---|---|
| 1966 | Alan J. Perlis | pokročilé metódy programovania, tvorba prekladačov |
| 1967 | Maurice V. Wilkes | uložený program, programové knižnice |
| 1968 | Richard Hamming | numerické metódy, systémy automatického kódovania, kódy pre detekciu a opravu chýb |
| 1969 | Marvin Minsky | umelá inteligencia |
| 1970 | James H. Wilkinson | numerická analýza, lineárna algebra, „spätná“ analýza chýb |
| 1971 | John McCarthy | umelá inteligencia |
| 1972 | Edsger Dijkstra | veda a umenie programovacích jazykov |
| 1973 | Charles W. Bachman | databázové technológie |
| 1974 | Donald E. Knuth | analýza algoritmov a návrh programovacích jazykov |
| 1975 | Allen Newell a Herbert A. Simon | umelá inteligencia, psychológia ľudského vnímania, spracovanie zoznamov |
| 1976 | Michael O. Rabin a Dana S. Scottová | nedeterministické počítače |
| 1977 | John Backus | vysokoúrovňové programovanie, formálne metódy špecifikácie programovacích jazykov |
| 1978 | Robert W. Floyd | metodológia tvorby účinného a spoľahlivého softvéru |
| 1979 | Kenneth E. Iverson | programovacie jazyky a matematická notácia, implementácia interaktívnych systémov, výukové využitie APL, teória a prax programovacích jazykov |
| 1980 | C. Antony R. Hoare | definícia a návrh programovacích jazykov |
| 1981 | Edgar F. Codd | systémy pre riadenie bázy dát, najmä relačná databáza |
| 1982 | Stephen A. Cook | výpočtová zložitosť |
| 1983 | Ken Thompson a Dennis Ritchie | všeobecná teória operačných systémov, implementácia operačného systému UNIX |
| 1984 | Niklaus Wirth | vývoj programovacích jazykov |
| 1985 | Richard M. Karp | teória algoritmov, najmä teória NP-úplnosti |
| 1986 | John Hopcroft a Robert Tarjan | návrh a analýza algoritmov a dátových štruktúr |
| 1987 | John Cocke | teória prekladačov, architektúra rozsiahlych systémov, vývoj počítačov 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é prostredia osobných počítačov |
| 1993 | Juris Hartmanis a Richard E. Stearns | teória výpočtovej zložitosti |
| 1994 | Edward Feigenbaum and Raj Reddy | rozsiahle systémy umelej inteligencie |
| 1995 | Manuel Blum | teória výpočtovej zložitosti a jej aplikácia na kryptografiu a overovanie programov |
| 1996 | Amir Pnueli | temporálna logika, overovanie programov a systémov |
| 1997 | Douglas Engelbart | interaktívne výpočty |
| 1998 | James Gray | databázové transakčné operácie |
| 1999 | Frederick P. Brooks, Jr. | architektúra počítačov, operačné systémy, softvérove inžinierstvo |
| 2000 | Andrew Chi-Chih Yao | teória počítania vrátane generovania pseudonáhodných čísel, kryptografia a výpočtová zložitosť |
| 2001 | Ole-Johan Dahl a Kristen Nygaard | objektovo orientované programovanie |
| 2002 | Ronald L. Rivest, Adi Shamir a Leonard M. Adleman | šifrovanie s verejným kľúčom |
| 2003 | Alan Kay | objektovo orientované programovánie |
| 2004 | Vinton G. Cerf a Robert E. Kahn | protokoly TCP/IP |
