Turingova cena

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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 (19121954), 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ť | upraviť zdroj]

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ť | upraviť zdroj]

Tento článok je čiastočný alebo úplný preklad článku Turing Award na anglickej Wikipédii.

Externé odkazy[upraviť | upraviť zdroj]