Turing-díj

Turing-díj
angol  ACM AM Turing-díj
Ország
Típusú tudományos díj
Akit díjaznak Számítógépek Szövetsége
Statisztika
Alapítás dátuma 1966
Weboldal amturing.acm.org _ 
 Médiafájlok a Wikimedia Commons oldalon

A Turing-díj a számítástechnika  legrangosabb díja , amelyet a Számítógépek Szövetsége ítél oda az ezen a területen végzett kiemelkedő tudományos és műszaki hozzájárulásokért.

Az Association for Computing Machinery alapította a kiváló angol tudós, Alan Turing tiszteletére , aki már jóval az első elektronikus számítógépek megjelenése előtt megkapta az első mélyreható eredményeket a kiszámíthatóság terén .

Évente egy vagy több informatikusnak és informatikusnak ítélik oda, akiknek ezen a területen végzett munkája erős és tartós hatással volt a számítástechnikai közösségre [1] . A díj egy személynek legfeljebb egyszer adományozható. Az információtechnológia területén a Turing-díj az akadémiai Nobel-díjhoz hasonló státuszú [2] . Először 1966 - ban ítélték oda Alan Perlisnek a fordítói technológia fejlesztéséért .

A 2000-es években a nyereményalapot az Intel és a Google vállalat szponzorálta, az éves díjalap 250 ezer dollár volt , 2014 óta az éves nyereményalapot 1 millió dollárra emelték, és a Google lett a díj egyetlen támogatója [3 ] [4] .

A hagyomány szerint a díjazott „Turing-előadás” címmel beszámolót tart, amelyben a díjazott az informatika és számítástechnika számára fontos problémáiról osztja meg véleményét.

Turing-díjasok

Év díjazott A kitüntetés oka
1966 Alan Perlis Az általános programozási technikák és a fordítóprogramok készítése terén végzett befolyásáért
1967 Maurice Wilks Wilks professzor leginkább az EDSAC tervezőjeként ismert, amely az első számítógép , amely lehetővé tette a programok belső tárolását . Az 1949 - ben épített EDSAC késleltető vonal memóriát használt . Wheeler és Gill mellett az 1951 -es Preparation of Programs for Electronic Digital Computers című könyv szerzőjeként is ismert, amely bemutatja a könyvtár alapvető fogalmát .
1968 Richard Hamming Numerikus módszerekkel , automatikus kódolási rendszerekkel, hibaészlelő és -javító kódokkal végzett munkákhoz
1969 Marvin Minsky Óriási hozzájárulásért a mesterséges intelligencia tudományos irányának létrehozásához, kialakításához, népszerűsítéséhez és fejlesztéséhez
1970 James Wilkinson A numerikus elemzéssel kapcsolatos kutatásaiért , amelyek hozzájárultak a nagy sebességű digitális számítógépek használatához, amelyek különösen fontossá váltak a lineáris algebrai számításokkal és az "inverz" hibaelemzéssel kapcsolatos munkája fényében.
1971 John McCarthy McCarthy „The Current State of Research in Artificial Intelligence ” című előadása rávilágít a technika állására azon a területen, amely jelentős sikerét jelentős részben az ő munkájának köszönheti.
1972 Edsger Dijkstra Jelentős hozzájárulásáért az Algol magas szintű programozási nyelv fejlesztéséhez , amely a letisztultság és a matematikai szigorúság megtestesítőjévé vált. A programozási nyelvek tudományának és művészetének egyik legfényesebb képviselője a maga teljességében, valamint olyan tudós, aki sok tekintetben hozzájárult szerkezetük, ábrázolásuk és megvalósításuk megértéséhez. Tizenöt éven át publikált publikációi a gráfelméleti elméleti cikkektől a programozási nyelvek témakörében az alapvető útmutatókig, leírásokig és filozófiai reflexiókig a témák széles skáláját ölelik fel .
1973 Charles Bachman Az adatbázis-technológiához nyújtott kiemelkedő hozzájárulásért
1974 Donald Knuth Az algoritmusok elemzéséhez, a programozási nyelvek fejlesztéséhez, és különösen egy jól ismert könyvsorozat létrehozásáért "A programozás művészete " általános címmel nyújtott nagy hozzájárulásáért.
1975 Allen Newell Herbert Simon
 A mesterséges intelligenciához, az emberi észlelés pszichológiájához és a listafeldolgozáshoz való alapvető hozzájárulásért
1976 Michael Rabin Dana Scott
 A "Véges automaták és eldönthetőségük problémája" című cikkhez, amely egy nem-determinisztikus automata ötletét javasolta , amely koncepció később kivételes értékűnek bizonyult. A klasszikussá vált cikk számos későbbi, ezen a területen végzett munkához inspirációt adott.
1977 John Backus A gyakorlati, magas szintű szoftverrendszerek tervezésében nyújtott mélyreható, hosszan tartó és befolyásos hozzájárulásáért, különösen a Fortran nyelven végzett munkájáért, valamint a programozási nyelv specifikációinak formalizálásáról szóló eredeti publikációjáért
1978 Robert Floyd A hatékony és megbízható szoftverek létrehozásának módszertanára gyakorolt ​​kétségtelen hatásáért, valamint a számítástechnika olyan területeinek fejlesztésében nyújtott segítségéért, mint az elemzés elmélete , a programozási nyelvek szemantikája , az automatikus programellenőrzés , az automatikus programszintézis és az algoritmus-elemzés .
1979 Kenneth Iverson A programozási nyelvek és a matematikai jelölések területén végzett úttörő munkájáért, amelynek eredményeként a szakemberek ma APL néven ismertek , az interaktív rendszerek megvalósításában, az APL oktatási célú felhasználásában, valamint az elméletben és a technikában végzett munkájáért. programozási nyelvek
1980 Anthony Hoare A programozási nyelvek meghatározásában és fejlesztésében nyújtott alapvető hozzájárulásáért
1981 Edgar Codd Az adatbázis-kezelő rendszerek, különösen a relációs típusú rendszerek elméletéhez és gyakorlatához való alapvető és tartós hozzájárulásáért
1982 Stephen Arthur Cook A számítások bonyolultságának megértésében elért jelentős előrelépésekért . Munkája megalapozta az NP-teljesség elméletét . Ennek az osztálynak a tulajdonságainak és határainak vizsgálata a számítástechnikai rendszerek elméletének egyik legfontosabb irányává vált az elmúlt tíz évben.
1983 Ken Thompson Dennis Ritchie
 Az operációs rendszerek általános elméletének kidolgozásához , és különösen a Unix létrehozásához
1984 Niklaus Wirth Egy sor innovatív számítógépes nyelv, az Euler , Algol-W , Modula és Pascal fejlesztéséhez
1985 Richard Karp Az algoritmusok elméletéhez való hosszú távú hozzájárulásért, beleértve a hatékony algoritmusok fejlesztését a hálózatokon folyó áramlásokhoz és más kombinatorikus optimalizálási problémákhoz, a polinomiális komplexitási számítások összehasonlításához a hatékonyság intuitív fogalmával, és ami a legfontosabb, az elmélethez való hozzájárulásért az NP-teljesség
1986 John Hopcroft Robert Tarjan
 Az algoritmusok és adatstruktúrák fejlesztésében és elemzésében elért alapvető eredményekért
1987 John Cock A fordítóprogramok tervezésében és elméletében, a nagy rendszerek architektúrájában és a RISC számítógépek fejlesztésében nyújtott kiemelkedő hozzájárulásért
1988 Ivan Sutherland A számítógépes grafika alapvető és látnoki hozzájárulásaiért a Sketchpad feltalálásától kezdve , de ezzel nem ér véget
1989 William Cahan A numerikus elemzéshez való alapvető hozzájárulásért . A lebegőpontos számítások egyik első szakértője . Kahan annak a feladatnak is elkötelezte magát, hogy "biztonságossá tegye a világot a numerikus számításokhoz"
1990 Fernando Corbato Úttörő munkáért a koncepció és fejlesztés menedzsment területén általános célú, nagyszabású idő- és erőforrás-megosztó számítógépes rendszerek CTSS és Multics létrehozásához
1991 Robin Milner Három különböző kiváló teljesítményért: 1) LCF , a bizonyítások automatizálása Scott kiszámítható függvényeinek logikájában, nyilvánvalóan az első elméleti alapokra épülő, de a gyakorlatban hasznos automatizált bizonyítási eszköz; 2) ML , az első olyan programozási nyelv, amely polimorf típusú következtetést használ , valamint típusos hibakezelési mechanizmust ; 3) CCS , A párhuzamos számítástechnika általános elmélete . Emellett megfogalmazta és kidolgozta a teljes absztrakciót , egy elméletet a műveleti és a denotációs szemantika kapcsolatáról.
1992 Butler Lampson Az elosztott, személyi számítástechnikai környezetek és az ezek megvalósítását szolgáló technológia fejlesztéséhez való hozzájárulásért: munkaállomások , hálózatok , operációs rendszerek , szoftverrendszerek , kijelzők , biztonság és dokumentumcsere
1993 Juris Hartmanis Richard E. Stearns
 Tiszteletként az alapvető munkájuk előtt, amely a számítási komplexitás elméletének alapját adta
1994 Edward Feigenbaum Raj Reddy
 A nagyméretű mesterséges intelligencia rendszerek fejlesztésének és létrehozásának úttörőjéért, valamint a mesterséges intelligencia technológiák gyakorlati jelentőségének és potenciális kereskedelmi értékének bemutatásáért
1995 Manuel Blum A számítási komplexitáselmélet alapjaihoz, valamint a kriptográfiában és a programellenőrzéshez való alkalmazásához való hozzájárulás elismeréseként
1996 Amir Pnueli A számítástudományokban az időlogika megvalósításában végzett alapmunkáért , valamint a programok és rendszerek hitelesítésében nyújtott kiemelkedő munkáért.
1997 Douglas Engelbart Az interaktív számítástechnika jövőjének inspiráló vízióiért és a kulcsfontosságú technológiák feltalálásáért, amelyek segítenek megvalósítani ezt a víziót
1998 Jim Gray Adatbázisokkal kapcsolatos alapötletekhez , tranzakciófeldolgozási kutatásokhoz és műszaki vezető szerephez a rendszerek megvalósításában.
1999 Frederic Brooks A számítógép-architektúrában , operációs rendszerekben és szoftvertervezésben nyújtott történelmileg jelentős hozzájárulásokért .
2000 Andrew Yao Tisztelet a számításelmélethez való alapvető hozzájárulásaiért , beleértve a számítási komplexitás koncepciója alapján az álvéletlen számok generálásának elméletét , a kriptográfiát és a kommunikáció bonyolultságát .
2001 Ole-Johan Dahl Kristen Nyugor
 Az objektum-orientált programozás fejlesztésében alapvető ötletekhez a Simula I és Simula 67 programozási nyelvek fejlesztése során
2002 Ronald Rivest Adi Shamir Leonard Adleman

 Egyedülálló hozzájárulásért a nyilvános kulcsú titkosítási rendszerek gyakorlati értékének növeléséhez
2003 Alan Kay Számos úttörő ötletért, amelyek a modern objektum-orientált nyelvek alapját képezték , a Smalltalk nyelvi fejlesztőcsapat vezetéséért és a PC -terület fejlesztéséhez való alapvető hozzájárulásért .
2004 Vinton Cerf Robert Kahn
 Az internetezés problémájával kapcsolatos úttörő munkáért  , beleértve a főbb internetes protokollok , a TCP/IP fejlesztését és megvalósítását , valamint a számítógépes hálózatépítésben végzett vezető szerepéért
2005 Naur Péter A programozási nyelvek tervezésében és az Algol 60 nyelv létrehozásában , valamint a fordítók tervezésében , valamint a számítógépes programozás művészetében és technikájában nyújtott alapvető hozzájárulásokért
2006 Francis Allen Úttörő hozzájárulásért a számítógépes programoptimalizálás elméletéhez és gyakorlatához, amely a modern optimalizáló fordítók és az automatikus programpárhuzamosítás alapjául szolgált.
2007 Edmund Clark Allen Emerson Joseph Sifakis

 A modellellenőrzés fejlesztésében betöltött szerepük miatt egy rendkívül hatékony programellenőrzési  technika , amelyet széles körben alkalmaznak mind szoftver- , mind hardverfejlesztésben [5]
2008 Liskov Barbara A programozási nyelvek és rendszertervezés gyakorlati és elméleti alapjaihoz való hozzájárulásért, különösen a hibatűrés kutatása, az adatabsztrakció és az elosztott számítástechnika területén.
2009 Charles Thacker Az Alto , az első modern személyi számítógép úttörő fejlesztéséért és létrehozásáért, valamint az Ethernet -technológiához és a táblagépes személyi számítógépek fejlesztéséhez való hozzájárulásáért .
2010 Leslie Valiant Hozzájárulások az algoritmusok elméletéhez , beleértve a megközelítőleg helyes tanulást felsorolás összetettségének elméletét és algebrai számításokat , valamint a párhuzamos és elosztott számítások elméletét . [6]
2011 Judah Pearl A mesterséges intelligenciához való alapvető hozzájárulásért a valószínűségi és ok-okozati érvelés kalkulusának  kifejlesztésén keresztül [7 ]
2012 Silvio Micali Shafi Goldwasser
 A valószínűségi titkosítással kapcsolatos úttörő munkáért (beleértve az első valószínűségi nyilvános kulcsú titkosítási rendszert is) és a zéró tudásalapú bizonyítások kriptográfiai protokollokban való alkalmazásával [8] .
2013 Leslie Lamport Az elosztott és kölcsönható rendszerek elméletéhez és gyakorlatához való alapvető hozzájárulásért , amelyet az olyan fogalmak felfedezése jellemez, mint az ok-okozati összefüggés és a logikai órák , a biztonság és a túlélés, a replikálható automaták, a szekvenciális adatkonzisztencia [9] .
2014 Michael Stonebreaker A modern adatbázis-kezelő rendszerek alapjául szolgáló elvekhez és gyakorlatokhoz való alapvető hozzájárulásokért [10] .
2015 Whitfield Diffie Martin Hellman
 A kriptográfiához való alapvető hozzájárulásokért [11] .
2016 Tim Berners-Lee A World Wide Web , az első webböngésző , valamint az internet terjedését befolyásoló alapvető protokollok és algoritmusok feltalálásáért [12] .
2017 John Hennessy David Patterson
 A számítógép-architektúrák tervezésének és ellenőrzésének innovatív szisztematikus és mérhető megközelítéséért, amely tartós hatást gyakorolt ​​a mikroprocesszor-iparra [13] .
2018 Yoshua Bengio Geoffrey Hinton Yan LeCun

 Azokra a fogalmi és mérnöki áttörésekre, amelyek a mély neurális hálózatokat a számítástechnika sarokkövévé tették [14] .
2019 Ed Catmull Pat Hanrahan
 A 3D grafika fejlesztéséhez való alapvető hozzájárulásért és a számítógépes grafika forradalmi hatásáért filmes és egyéb alkalmazásokban [15] .
2020 Alfred Aho Jeffrey Ullman
 A programozási nyelvek fordításának és algoritmusainak alapjainak kialakításához [16] .
2021 Jack Dongarra A numerikus módszerek könyvtárainak úttörő hozzájárulásáért, amelyek lehetővé tették a szuperszámítógép-szoftverek számára, hogy lépést tartsanak az exponenciális hardverfejlesztéssel négy évtizeden keresztül [17] .

Jegyzetek

  1. ↑ AM Turing-díj (a link nem érhető el) . ACM. Letöltve: 2007. november 5. Az eredetiből archiválva : 2012. február 13.. 
  2. ↑ Barna, Bob. Miért nincs Nobel-díj a  számítástechnikában ? Network World (2011. június 6.). Letöltve: 2022. június 1. Az eredetiből archiválva : 2016. október 22.
  3. ↑ A Google minden finanszírozást biztosít a számítástechnikai legrangosabb díjhoz  , Association for Computing Machinery (2014. november 13.  ). Az eredetiből archiválva : 2014. november 29. Letöltve : 2014. november 21.  "Az ACM (The Association for Computing Machinery) ma bejelenti, hogy az ACM AM Turing Award finanszírozási szintje mostantól 1 000 000 dollár, amelyet a Google Inc."
  4. ↑ A Turing-díj összege majdnem megegyezett a Nobel-díjjal  (orosz) , az OSZone -val  (2014. november 21.). Az eredetiből archiválva : 2014. november 25. Letöltve: 2014. november 21.
  5. ↑ Kihirdették az éves Turing-díjasokat – Tudomány és technológia – Compulent Archiválva : 2009. február 21. a Wayback Machine -nél .
  6. ↑ ACM Award Citation / Leslie G Valiant .
  7. ↑ Turing-díj 2011. Judea Pearl . Letöltve: 2012. március 19. Az eredetiből archiválva : 2017. augusztus 26..
  8. ↑ Turing-díj 2012  (angol)  (elérhetetlen link) . ACM. Letöltve: 2013. március 18. Az eredetiből archiválva : 2013. március 21..
  9. ↑ Turing -díj 2013  . ACM (2014. március 18.). Hozzáférés dátuma: 2014. március 18. Az eredetiből archiválva : 2014. március 18.
  10. ↑ Az adatbázisrendszer-architektúra úttörője megkapja az ACM legmagasabb kitüntetését . A modern adatbázis-rendszerek alapjául szolgáló koncepciók és gyakorlatok alapvető hozzájárulásáért.  (angol)  (elérhetetlen link) . ACM (2015. március 25.) . Letöltve: 2015. március 25. Az eredetiből archiválva : 2015. március 25.
  11. ↑ A kriptográfia úttörői megkapják az Acm AM Turing-díjat , archiválva 2016. március 4-én a Wayback Machine -nél .
  12. ↑ Sir Tim Berners -Lee  . ACM. Letöltve: 2017. április 12. Az eredetiből archiválva : 2017. április 6..
  13. ↑ John L.  Hennesy . ACM. Letöltve: 2018. március 21. Az eredetiből archiválva : 2018. március 22.
  14. ↑ A Deep Learning Revolution atyái megkapják az ACM AM Turing-díjat  . ACM (2019. március 27.). Letöltve: 2019. március 27. Az eredetiből archiválva : 2021. augusztus 23.
  15. ↑ A modern számítógépes grafika úttörőit ACM AM Turing-díjjal ismerték el  . ACM (2020. március 23.). Letöltve: 2020. március 23.
  16. ↑ Az ACM Turing-díj azokat az újítókat tünteti ki, akik a programozási nyelv-fordítók és algoritmusok  alapjait alakították ki . ACM (2021. március 31.). Letöltve: 2021. március 31. Az eredetiből archiválva : 2021. október 7..
  17. ↑ Az ACM Turing-díj Jack J. Dongarrát adományozza az úttörő koncepciókért és módszerekért, amelyek világváltó számításokat eredményeztek  . ACM (2022. március 31.). Letöltve: 2022. április 2. Az eredetiből archiválva : 2022. április 1..

Linkek

  Ugrás a Wikidata elemre  Szótárak és enciklopédiák
 Turing- díjasok