Turing Award - Turing Award
ACM Turing Award | |
---|---|
Oceněno pro | Vynikající příspěvky v roce 2006 počítačová věda |
Země | Spojené státy |
Předložený | Sdružení pro výpočetní techniku (ACM) |
Odměna | 1 000 000 USD[1] |
Poprvé oceněn | 1966 |
Naposledy uděleno | 2019 |
webová stránka | lákavý |
The Cena ACM A. M. Turinga je výroční cena udělená Sdružení pro výpočetní techniku (ACM) za příspěvky „trvalého a zásadního technického významu pro počítačovou oblast“.[2] To je obecně uznáváno jako nejvyšší rozdíl v počítačová věda, nebo "Nobelova cena za práci na počítači ".[3][4][5][6]
Cena je pojmenována po Alan Turing, který byl Brit matematik a čtenář v matematice na University of Manchester. Turing je často považován za klíčového zakladatele společnosti teoretická informatika a umělá inteligence.[7] Od roku 2007 do roku 2013 byla cena doprovázena další cenou ve výši 250 000 USD s finanční podporou poskytnutou společností Intel a Google.[2] Od roku 2014 byla cena doprovázena cenou ve výši 1 milion USD s finanční podporou poskytovanou společností Google.[1][8]
Prvním příjemcem v roce 1966 byl Alan Perlis, z Univerzita Carnegie Mellon. První příjemkyní byla Frances E. Allen z IBM v roce 2006.[9]
Příjemci
Rok | Příjemce | Fotografie | Odůvodnění |
---|---|---|---|
1966 | Alan Perlis | Pro jeho vliv v oblasti pokročilých programování techniky a překladač konstrukce.[10] | |
1967 | Maurice Wilkes | Wilkes je nejlépe známý jako stavitel a návrhář EDSAC, první počítač s interně uloženým program. EDSAC, postavený v roce 1949, používal a paměť rtuťové prodlevy. On je také známý jako autor, s Wheeler a Gill, svazku na "Příprava programů pro elektronické digitální počítače" v roce 1951, ve kterém programové knihovny byly účinně zavedeny.[11] | |
1968 | Richard Hamming | Za jeho práci na numerické metody, systémy automatického kódování a kódy pro detekci a opravu chyb.[12] | |
1969 | Marvin Minsky | Pro jeho ústřední roli při vytváření, utváření, prosazování a rozvoji oboru umělá inteligence.[13] | |
1970 | James H. Wilkinson | Pro jeho výzkum v numerická analýza usnadnit používání vysokorychlostního digitálního počítače, který získal zvláštní uznání za svou práci ve výpočtech v lineární algebra a „zpětná“ analýza chyb.[14] | |
1971 | John McCarthy | McCarthyho přednáška „Současný stav výzkumu umělé inteligence“ je tématem, které pokrývá oblast, v níž dosáhl značného uznání za svou práci.[15] | |
1972 | Edsger W. Dijkstra | Na konci 50. let byl Edsger Dijkstra hlavním přispěvatelem k rozvoji ALGOL, vysoká úroveň programovací jazyk který se stal modelem jasnosti a matematické přesnosti. Je jedním z hlavních zastánců vědy a umění programovacích jazyků obecně a významně přispěl k pochopení jejich struktury, reprezentace a implementace. Jeho patnáct let publikací sahá od teoretických článků o teorii grafů až po základní příručky, výkladové texty a filozofická rozjímání v oblasti programovacích jazyků.[16] | |
1973 | Charles Bachman | Za jeho mimořádné příspěvky databáze technologie.[17] | |
1974 | Donald Knuth | Za jeho hlavní příspěvky k analýze algoritmů a návrhu programovacích jazyků, zejména za jeho příspěvky k „Umění počítačového programování „prostřednictvím svých známých knih v souvislé sérii s tímto titulem.[18] | |
1975 | Allen Newell | Ve společném vědeckém úsilí trvajícím více než dvacet let, původně ve spolupráci s J. C. Shaw na RAND Corporation, a následně s četnými kolegy z fakulty a studentů na Univerzita Carnegie Mellon, poskytli základní příspěvky k umělé inteligenci, psychologii lidského poznání a zpracování seznamu.[19] | |
Herbert A. Simon | |||
1976 | Michael O. Rabin | Za společný dokument „Konečné automaty a jejich problém s rozhodováním“[20] který představil myšlenku nedeterministické stroje, který se ukázal jako nesmírně cenný koncept. Jejich (Scott & Rabin) klasický papír byl nepřetržitým zdrojem inspirace pro další práci v této oblasti.[21][22] | |
Dana Scott | |||
1977 | John Backus | Za hluboké, vlivné a trvalé příspěvky k navrhování praktických systémů programování na vysoké úrovni, zejména díky jeho práci na FORTRAN a za klíčové zveřejnění formálních postupů pro specifikaci programovací jazyky.[23] | |
1978 | Robert W. Floyd | Za jasný vliv na metodiky pro vytváření efektivního a spolehlivého softwaru a za pomoc při zakládání následujících důležitých podpolí počítačová věda: teorie analýza, sémantika programovacích jazyků, automatické ověření programu, automatická syntéza programu, a analýza algoritmů.[24] | |
1979 | Kenneth E. Iverson | Za jeho průkopnické úsilí v programovacích jazycích a matematickou notaci, které vedlo k tomu, co výpočetní pole nyní zná APL, za jeho příspěvky k implementaci interaktivních systémů, k výukovým účelům APL a k teorii a praxi programovacího jazyka.[25] | |
1980 | Tony Hoare | Za jeho zásadní přínos k definici a návrhu programovacích jazyků.[26] | |
1981 | Edgar F. Codd | Za jeho základní a pokračující příspěvky k teorii a praxi systémů správy databází, zejména relační databáze.[27] | |
1982 | Stephen Cook | Za jeho pokrok v našem chápání složitosti výpočtu významným a hlubokým způsobem.[28] | |
1983 | Ken Thompson | Pro jejich vývoj teorie obecných operačních systémů a zejména pro implementaci UNIX operační systém.[29][30] | |
Dennis Ritchie | |||
1984 | Niklaus Wirth | Pro vývoj sledu inovativních počítačových jazyků EULER, ALGOL-W, MODUL a Pascal. | |
1985 | Richard M. Karp | Pro jeho pokračující příspěvky k teorii algoritmů, včetně vývoje efektivních algoritmů pro tok sítě a dalších kombinatorických optimalizačních problémů, identifikace polynomiálně-časové vyčíslitelnosti s intuitivním pojmem algoritmické účinnosti a zejména příspěvků k teorii NP-úplnost. | |
1986 | John Hopcroft | Za základní úspěchy při navrhování a analýze algoritmů a datových struktur. | |
Robert Tarjan | |||
1987 | John Cocke | Za významné příspěvky v designu a teorii překladačů, architektuře velkých systémů a vývoji počítače se sníženým počtem instrukcí (RISC). | |
1988 | Ivan Sutherland | Za jeho průkopnické a vizionářské příspěvky pro počítačová grafika, začínání s Skicák a pokračování po. | |
1989 | William Kahan | Za jeho zásadní přínos pro numerická analýza. Jeden z nejvýznamnějších odborníků na plovoucí bod výpočty. Kahan se věnoval „zajištění bezpečnosti světa pro numerické výpočty“. | |
1990 | Fernando J. Corbató | Za svou průkopnickou práci při organizování konceptů a vedení vývoje univerzálního, velkoplošného, sdílení času a počítačové systémy pro sdílení zdrojů, CTSS a Multics. | |
1991 | Robin Milner | Pro tři odlišné a úplné úspěchy: 1) LCF, mechanizace Scottovy logiky vypočítatelných funkcí, pravděpodobně první teoreticky založený, ale praktický nástroj pro konstrukce podporovaná strojem; 2) ML, první jazyk zahrnující polymorfní odvození typu společně s a typově bezpečné zpracování výjimek mechanismus; 3) CCS, obecná teorie konkurence. Kromě toho formuloval a silně pokročil plná abstrakce, studium vztahu mezi provozní a denotační sémantika.[31] | |
1992 | Butler W. Lampson | Za příspěvky k vývoji distribuovaných osobních výpočetních prostředí a technologií pro jejich implementaci: pracovní stanice, sítí, operační systémy, programovací systémy, displeje, bezpečnostní a publikování dokumentů. | |
1993 | Juris Hartmanis | Jako uznání jejich seminární práce, která položila základy pro obor teorie výpočetní složitosti.[32] | |
Richard E. Stearns | |||
1994 | Edward Feigenbaum | Za průkopnický design a konstrukci rozsáhlých systémů umělé inteligence, za prokázání praktického významu a potenciálního komerčního dopadu technologie umělé inteligence.[33] | |
Raj Reddy | |||
1995 | Manuel Blum | Jako uznání jeho příspěvku k založení teorie výpočetní složitosti a jeho aplikace na kryptografie a kontrola programu.[34] | |
1996 | Amir Pnueli | Pro představení klíčové práce časová logika do počítačové vědy a za vynikající příspěvky do programu a systémů ověření.[35] | |
1997 | Douglas Engelbart | Pro inspirativní vizi budoucnosti interaktivních počítačů a vynález klíčových technologií, které pomohou tuto vizi realizovat.[36] | |
1998 | Jim Gray | Za klíčové příspěvky do databáze a zpracování transakcí výzkumné a technické vedení v implementaci systému. | |
1999 | Frederick P. Brooks | Pro mezník příspěvky do počítačová architektura, operační systémy, a softwarové inženýrství. | |
2000 | Andrew Yao | Jako uznání jeho zásadních příspěvků k teorie výpočtu, včetně teorie složitosti založené na generování pseudonáhodných čísel, kryptografie, a složitost komunikace. | |
2001 | Ole-Johan Dahl | Pro myšlenky zásadní pro vznik objektově orientované programování, prostřednictvím jejich návrhu programovacích jazyků Simula I. a Simula 67. | |
Kristen Nygaard | |||
2002 | Ron Rivest | Pro jejich geniální příspěvek pro výrobu kryptografie veřejného klíče užitečné v praxi. | |
Adi Shamir | |||
Leonard Adleman | |||
2003 | Alan Kay | Pro průkopníky mnoha myšlenek v kořenech soudobosti objektově orientované programovací jazyky, vedoucí týmu, který se vyvinul Pokec a za základní příspěvky k osobní práci na počítači. | |
2004 | Vint Cerf | Za průkopnickou práci internetová síť, včetně návrhu a implementace Internet základní komunikační protokoly, TCP / IP a za inspirativní vedení v oblasti sítí. | |
Bob Kahn | |||
2005 | Peter Naur | Pro základní příspěvky do programovací jazyk design a definice ALGOL 60, do překladač designu a umění a praxi počítačového programování. | |
2006 | Frances E. Allen | Za průkopnické příspěvky k teorii a praxi optimalizace technik překladačů, které položily základ pro moderní optimalizaci překladačů a automatické paralelní provádění. | |
2007 | Edmund M. Clarke | Za jejich role při vývoji kontrola modelu do vysoce účinné ověřovací technologie, široce přijímané v hardwarovém a softwarovém průmyslu.[37] | |
E. Allen Emerson | |||
Joseph Sifakis | |||
2008 | Barbara Liskov | Za příspěvky k praktickým a teoretickým základům programovacího jazyka a návrhu systému, zejména v souvislosti s abstrakcí dat, odolností proti chybám a distribuovaným výpočtem. | |
2009 | Charles P. Thacker | Za jeho průkopnický design a realizaci Xerox Alto, první moderní osobní počítač, a navíc za jeho příspěvky do Ethernetu a Tablet PC. | |
2010 | Leslie Valiant | Za transformační příspěvky do teorie výpočtu, včetně teorie pravděpodobně přibližně správné (PAC ) učení, složitost výčtu a algebraických výpočtů a teorie paralelních a distribuovaných výpočtů. | |
2011 | Judea Pearl[38] | Za základní příspěvky k umělé inteligenci prostřednictvím vývoje počtu pro pravděpodobnostní a kauzální uvažování.[39] | |
2012 | Silvio Micali | Pro transformační práci, která položila teoreticko-složité základy složitosti vědy o kryptografii a byla průkopníkem nových metod pro efektivní ověřování matematických důkazů v teorii složitosti.[40] | |
Shafi Goldwasser | |||
2013 | Leslie Lamport | Pro základní příspěvky k teorii a praxi distribuovaných a souběžných systémů, zejména vynález konceptů, jako je kauzalita a logické hodiny, bezpečnost a živost, replikované stavové stroje a sekvenční konzistence.[41][42] | |
2014 | Michael Stonebraker | Za základní příspěvky k konceptům a postupům, které jsou základem moderních databázových systémů.[43] | |
2015 | Whitfield Diffie | Za základní příspěvky k moderní kryptografii. Průkopnický článek Diffieho a Hellmana z roku 1976 „Nové směry v kryptografii“[44] představil myšlenky kryptografie veřejného klíče a digitálních podpisů, které jsou základem pro většinu dnes běžně používaných bezpečnostních protokolů na internetu.[45] | |
Martin Hellman | |||
2016 | Tim Berners-Lee | Za vynalezení Celosvětová Síť, první webový prohlížeč a základní protokoly a algoritmy umožňující škálování webu.[46] | |
2017 | John L. Hennessy | Za průkopnický systémový, kvantitativní přístup k návrhu a hodnocení počítačových architektur s trvalým dopadem na mikroprocesorový průmysl.[47] | |
David Patterson | |||
2018 | Yoshua Bengio | Pro koncepční a technické průlomy, které přinesly hluboké neuronové sítě kritická součást práce na počítači.[48] | |
Geoffrey Hinton | |||
Yann LeCun | |||
2019 | Edwin Catmull | Za základní příspěvky k 3D počítačové grafice a za revoluční dopad těchto technik na počítačově generované snímky (CGI) ve filmové tvorbě a dalších aplikacích.[49] | |
Pat Hanrahan |
Viz také
- Seznam ACM Awards
- Seznam ocenění za informatiku
- Seznam cen známých jako Nobelova cena za pole
- Seznam cen pojmenovaných po lidech
- Medaile IEEE Johna von Neumanna
- Turingova přednáška
- Nobelova cena
- Schockova cena
- Cena Nevanlinna
- Cena Kanellakis
- Millennium Technology Prize
Reference
- ^ A b Cacm Staff (2014). „Cena Turingovy ceny ACM se zvýšila na 1 milion dolarů“. Komunikace ACM. 57 (12): 20. doi:10.1145/2685372.
- ^ A b „Cena A. M. Turinga“. ACM. Archivovány od originál dne 12. 12. 2009. Citováno 2007-11-05.
- ^ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algoritmy. McGraw-Hill. p.317. ISBN 978-0-07-352340-8.
- ^ Přednášky o bibliografii Turingovy ceny, DBLP
- ^ Geringer, Steven (27. července 2007). „Cena ACM'S Turing Award zvýšena na 250 000 $“. ACM tisková zpráva. Archivovány od originál dne 30. prosince 2008. Citováno 2008-10-16.
- ^ Viz také: Brown, Bob (6. června 2011). „Proč neexistuje žádná Nobelova cena za práci na počítači“. Síťový svět. Citováno 3. června 2015.
- ^ Homer, Steven a Alan L. (2001). Teorie vyčíslitelnosti a složitosti. p. 35. ISBN 978-0-387-95055-6. Citováno 2007-11-05.
- ^ „Cena Turingovy ceny ACM byla zvýšena na 1 milion dolarů“. ACM. Archivovány od originál dne 2015-11-23. Citováno 2014-11-13.
- ^ „První žena, která získala cenu ACM Turing Award“ (Tisková zpráva). Sdružení pro výpočetní techniku. 21. února 2007. Archivovány od originál 2. července 2007. Citováno 2007-11-05.
- ^ Perlis, A. J. (1967). "Syntéza algoritmických systémů". Deník ACM. 14: 1–9. doi:10.1145/321371.321372. S2CID 12937998.
- ^ Wilkes, M. V. (1968). "Počítače tehdy a teď". Deník ACM. 15: 1–7. doi:10.1145/321439.321440. S2CID 9846847.
- ^ Hamming, R. W. (1969). „Pohled jednoho člověka na informatiku“. Deník ACM. 16: 3–12. doi:10.1145/321495.321497. S2CID 6868310.
- ^ Minsky, M. (1970). "Forma a obsah v informatice (přednáška ACM 1970)". Deník ACM. 17 (2): 197–215. doi:10.1145/321574.321575. S2CID 15661281.
- ^ Wilkinson, J. H. (1971). "Několik komentářů od numerického analytika". Deník ACM. 18 (2): 137–147. doi:10.1145/321637.321638. S2CID 37748083.
- ^ McCarthy, J. (1987). „Obecnost v umělé inteligenci“. Komunikace ACM. 30 (12): 1030–1035. doi:10.1145/33447.33448. S2CID 1045033.
- ^ Dijkstra, E. W. (1972). „Pokorný programátor“. Komunikace ACM. 15 (10): 859–866. doi:10.1145/355604.361591.
- ^ Bachman, C. W. (1973). „Programátor jako navigátor“. Komunikace ACM. 16 (11): 653–658. doi:10.1145/355611.362534.
- ^ Knuth, D. E. (1974). „Počítačové programování jako umění“. Komunikace ACM. 17 (12): 667–673. doi:10.1145/361604.361612.
- ^ Newell, A .; Simon, H. A. (1976). „Počítačová věda jako empirický dotaz: Symboly a vyhledávání“. Komunikace ACM. 19 (3): 113. doi:10.1145/360018.360022.
- ^ Rabin, M. O .; Scott, D. (1959). „Konečné automaty a jejich problémy s rozhodováním“. IBM Journal of Research and Development. 3 (2): 114. doi:10.1147 / kolo 32.0114. S2CID 3160330.
- ^ Rabin, M. O. (1977). "Složitost výpočtů". Komunikace ACM. 20 (9): 625–633. doi:10.1145/359810.359816.
- ^ Scott, D. S. (1977). „Logické a programovací jazyky“. Komunikace ACM. 20 (9): 634–641. doi:10.1145/359810.359826.
- ^ Backus, J. (1978). „Může být programování osvobozeno od von Neumannova stylu ?: Funkční styl a jeho algebra programů“. Komunikace ACM. 21 (8): 613–641. doi:10.1145/359576.359579.
- ^ Floyd, R. W. (1979). „Paradigmata programování“. Komunikace ACM. 22 (8): 455–460. doi:10.1145/359138.359140.
- ^ Iverson, K. E. (1980). „Zápis jako nástroj myšlení“. Komunikace ACM. 23 (8): 444–465. doi:10.1145/358896.358899.
- ^ Hoare, C. A. R. (1981). „Staré šaty císaře“. Komunikace ACM. 24 (2): 75–83. doi:10.1145/358549.358561.
- ^ Codd, E. F. (1982). „Relační databáze: praktický základ produktivity“. Komunikace ACM. 25 (2): 109–117. doi:10.1145/358396.358400.
- ^ Cook, S.A. (1983). "Přehled výpočetní složitosti". Komunikace ACM. 26 (6): 400–408. doi:10.1145/358141.358144.
- ^ „Laureát ceny A.M. Turinga - Kenneth Lane Thompson“. amturing.acm.org. Citováno 4. listopadu 2018.
- ^ „Laureát ceny A.M. Turinga - Dennis M. Ritchie“. amturing.acm.org. Citováno 4. listopadu 2018.
- ^ Milner, R. (1993). „Elements of interaction: Turing award lecture“. Komunikace ACM. 36: 78–89. doi:10.1145/151233.151240.
- ^ Stearns, R. E. (1994). „Přednáška o Turingově ceně: Je čas přehodnotit čas“. Komunikace ACM. 37 (11): 95–99. doi:10.1145/188280.188379.
- ^ Reddy, R. (1996). "Snít možný sen". Komunikace ACM. 39 (5): 105–112. doi:10.1145/229459.233436.
- ^ „Laureát ceny A.M. Turinga - Manuel Blum“. amturing.acm.org. Citováno 4. listopadu 2018.
- ^ „Laureát ceny A.M. Turinga - Amir Pnueli“. amturing.acm.org. Citováno 4. listopadu 2018.
- ^ „Laureát ceny A.M. Turinga - Douglas Engelbart“. amturing.acm.org. Citováno 4. listopadu 2018.
- ^ Vyhlášeni vítězové Turing Award 2007
- ^ Pearl, Judea (2011). Mechanizace kauzální inference: „mini“ Turingův test a další (mp4). Přednášky ACM Turing Award. doi:10.1145/1283920.2351636 (neaktivní 11. 11. 2020). ISBN 978-1-4503-1049-9.CS1 maint: DOI neaktivní od listopadu 2020 (odkaz)
- ^ „Judea Pearl“. ACM.
- ^ „Turingova cena 2012“. ACM. Archivovány od originál dne 18. 3. 2013.
- ^ „Turingova cena 2013“. ACM.
- ^ Lamport, L. (1978). „Čas, hodiny a řazení událostí v distribuovaném systému“ (PDF). Komunikace ACM. 21 (7): 558–565. CiteSeerX 10.1.1.155.4742. doi:10.1145/359545.359563. S2CID 215822405.
- ^ „Turingova cena 2014“. ACM.
- ^ Diffie, W .; Hellman, M. (1976). „Nové směry v kryptografii“ (PDF). Transakce IEEE na teorii informací. 22 (6): 644–654. CiteSeerX 10.1.1.37.9720. doi:10.1109 / TIT.1976.1055638.
- ^ „Průkopníci kryptografie získali 2015 ACM A.M. Turing Award“. ACM.
- ^ „Turingova cena 2016“. ACM.
- ^ „Průkopníci moderní počítačové architektury obdrželi ocenění ACM A.M. Turing Award“. ACM.
- ^ Otcové revoluce Deep Learning dostávají ACM A.M. Turing Award
- ^ Průkopníci moderní počítačové grafiky uznávaní s ACM A.M. Turingova cena - inovace Hanrahan a Catmull vydláždily cestu pro dnešní 3D animované filmy. Citováno 19. března 2020.