Turingova cena
z Wikipédie, slobodnej encyklopé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.
Od roku 2007 Turingovu cenu sponzorujú spoločnosti Intel Corporation a Google Inc., jej výška je 250 000 USD. Pôvodne cenu sponzoroval Intel vo výške 100 000 USD.
Zoznam držiteľov [upraviť]
| Rok | Držiteľ | Prínos |
|---|---|---|
| 1966 | Alan J. Perlis | pokročilé metódy programovania, tvorba prekladačov |
| 1967 | Maurice V. Wilkes | ukladanie programov vnútorne, konkrétne v Electronic Delay Storage Automatic Calculator, práca ako používať 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á“ (reverzná) analýza chýb |
| 1971 | John McCarthy | pokroky vo výskume umelej inteligencie |
| 1972 | Edsger Dijkstra | veda a umenie programovacích jazykov (je významný spolutvorca ALGOLu a položil základy formálnych definícii programovacích jazykov) |
| 1973 | Charles W. Bachman | databázové technológie |
| 1974 | Donald E. Knuth | analýza algoritmov a návrh programovacích jazykov, spoluúčasť na knihách ang. The Art of Computer Programming |
| 1975 | Allen Newell a Herbert A. Simon | umelá inteligencia, psychológia ľudského vnímania, spracovanie zoznamov |
| 1976 | Michael O. Rabin a Dana S. Scott | z práce Finite Automata and Their Decision Problem za ideu nedeterministické počítače |
| 1977 | John Backus | vysokoúrovňové programovanie, formálne metódy špecifikácie programovacích jazykov (významne spolupracoval na FORTRANe) |
| 1978 | Robert W. Floyd | metodológia tvorby účinného a spoľahlivého softvéru, rozvoj ďalších podkategórii počítačovej vedy: parsovanie, sémantiky programovacích jazykov, verifikácia, syntéza a analýza algoritmov |
| 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 EULER, ALGOL-W, MODULA, Pascal |
| 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 a nové vízie v nej, program Sketchpad ako programov na jednoduchšiu interakciu s počítačom |
| 1989 | William Kahan | numerická analýza (ako expert na výpočty v pohyblivej desatinnej čiarke) |
| 1990 | Fernando J. Corbató | CTSS a Multics na zdieľanie zdrojov a času vo výpočtových úlohách |
| 1991 | Robin Milner | LCF, programovací jazyk ML, CCS ako teória súbežnosti |
| 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 a 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 (verifikácia) programov a systémov |
| 1997 | Douglas Engelbart | interakcia človeka s počítačom |
| 1998 | James Gray | databázy a transakčné operácie |
| 1999 | Frederick P. Brooks, Jr. | architektúra počítačov, operačné systémy, softvérové 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é programovanie, jazyk Smalltalk |
| 2004 | Vinton G. Cerf a Robert E. Kahn | protokoly TCP/IP |
| 2005 | Peter Naur | pokročilé metódy programovania, tvorba prekladačov, ALGOL 60 |
| 2006 | Frances E. Allenová | optimalizácia techník prekladačov a automatizované paralelné vykonávanie |
| 2007 | Edmund M. Clarke, E. Allen Emerson a Joseph Sifakis | za ich rolu vo vývoji Model-checking, metódy verifikácie používanej v hardvérovom a softvérovom priemysle |
| 2008 | Barbara Liskovová | za príspevky k teórii programovacích jazykov, zvlášť súvisiace s abstrakciou dát, toleranciou chýb a distribuovanými výpočtami |
| 2009 | Charles Thacker | za vývoj počítača prvého moderného (s pracovnou plochou a GUI) osobného počítača Xerox Alto |
Referencie [upraviť]
Tento článok je čiastočný alebo úplný preklad článku Turing Award na anglickej Wikipédii.
