Turing-palkinto

Turing-palkinto
Englanti  ACM AM Turing -palkinto
Maa
Tyyppi tieteellinen palkinto
Kuka palkitaan Tietotekniikan liitto
Tilastot
Perustuspäivä 1966
Verkkosivusto amturing.acm.org _ 
 Mediatiedostot Wikimedia Commonsissa

Turing Award on arvostetuin tietojenkäsittelytieteen  palkinto , jonka Association for Computing Machinery myöntää erinomaisesta tieteellisestä ja teknisestä panoksesta tällä alalla.

Perustettu Association for Computing Machinery - järjestön kunniaksi erinomaiselle englantilaiselle tiedemiehelle Alan Turingille , joka sai ensimmäiset syvälliset tulokset laskettavuudesta kauan ennen ensimmäisten elektronisten tietokoneiden ilmestymistä .

Myönnetään vuosittain yhdelle tai useammalle tietojenkäsittelytieteilijälle ja tietojenkäsittelytieteilijälle, joiden panoksella tällä alalla on ollut vahva ja kestävä vaikutus tietojenkäsittelyyhteisöön [1] . Palkinto voidaan myöntää yhdelle henkilölle enintään kerran. Tietotekniikan alalla Turing-palkinnolla on samanlainen asema kuin akateemisten tieteiden Nobel-palkinnolla [2] . Ensimmäinen palkinto vuonna 1966 Alan Perlisille kääntäjätekniikan kehittämisestä .

2000-luvulla palkintorahastoa sponsoroivat Intel- ja Google -yritykset, vuotuinen palkintorahasto oli 250 tuhatta dollaria , vuodesta 2014 lähtien vuotuinen palkintorahasto on nostettu 1 miljoonaan dollariin, ja Googlesta on tullut palkinnon ainoa sponsori [3 ] [4] .

Perinteisesti palkinnon saaja pitää raportin nimeltä "Turing Lecture", jossa palkinnon saaja jakaa mielipiteensä hänen mielestään tärkeistä informatiikan ja tietotekniikan ongelmista.

Turing-palkinnon voittajat

vuosi Laureaatti Palkinnon syy
1966 Alan Perlis Hänen vaikutuksestaan ​​yleisten ohjelmointitekniikoiden ja kääntäjien rakentamisen alalla
1967 Maurice Wilks Professori Wilks tunnetaan parhaiten EDSAC :n suunnittelijana, joka on ensimmäinen tietokone , joka salli ohjelmien sisäisen tallennuksen . Vuonna 1949 rakennettu EDSAC käytti viivelinjamuistia . Hänet tunnetaan myös Wheelerin ja Gillin kanssa vuoden 1951 kirjan Preparation of Programs for Electronic Digital Computers kirjoittajana , joka esittelee kirjaston keskeisen käsitteen .
1968 Richard Hamming Numeeristen menetelmien , automaattisten koodausjärjestelmien, virheiden havaitsemisen ja korjauskoodien työhön
1969 Marvin Minsky Valtavasta panoksesta tekoälyn tieteellisen suunnan luomiseen, muodostumiseen, edistämiseen ja kehittämiseen
1970 James Wilkinson Hänen numeerisen analyysin tutkimuksesta , joka vaikutti nopeiden digitaalisten tietokoneiden käyttöön, mikä tuli erityisen tärkeäksi hänen lineaarialgebralaskutoimituksiin ja "käänteiseen" virheanalyysiin liittyvän työnsä valossa.
1971 John McCarthy McCarthyn luento "The Current State of Research in Artificial Intelligence " korostaa alan huippua, jonka merkittävä menestys johtuu suurelta osin hänen työstään.
1972 Edsger Dijkstra Hänen merkittävästä panoksestaan ​​korkean tason ohjelmointikielen Algol kehittämisessä , josta on tullut selkeyden ja matemaattisen kurinalaisuuden ruumiillistuma. Hän on yksi ohjelmointikielten tieteen ja taiteen kirkkaimmista edustajista kaikessa yleisyydessä, sekä tiedemies, joka on monin tavoin myötävaikuttanut niiden rakenteen, esityksen ja toteutuksen ymmärtämiseen. Hänen julkaisunsa viidentoista vuoden ajan kattavat monenlaisia ​​aiheita graafiteorian teoreettisista artikkeleista ohjelmointikielten alan perusoppaisiin, kuvauksiin ja filosofisiin pohdiskeluihin.
1973 Charles Bachman Erinomaisesta panoksesta tietokantatekniikkaan
1974 Donald Knuth Hänen suuresta panoksestaan ​​algoritmien analysoinnissa, ohjelmointikielten kehittämisessä ja erityisesti tunnetun kirjasarjan luomisessa yleisnimellä "Ohjelmoinnin taito "
1975 Allen Newell Herbert Simon
 Tekoälyn, ihmisen havainnon psykologian ja luetteloiden käsittelyn perustavanlaatuisesta panoksesta
1976 Michael Rabin Dana Scott
 Artikkelissa "Äärilliset automaatit ja niiden päätettävyyden ongelma", joka ehdotti ajatusta ei-deterministisesta automaatista , käsite, joka myöhemmin osoittautui poikkeuksellisen arvokkaaksi. Klassiseksi tullut artikkeli toimi inspiraationa monille myöhemmille tämän alan töille.
1977 John Backus Hänen syvällisestä, pitkäkestoisesta ja vaikutusvaltaisesta panoksestaan ​​käytännöllisten korkean tason ohjelmistojärjestelmien suunnittelussa, erityisesti hänen työstään Fortran -kielellä , ja alkuperäisestä julkaisustaan ​​ohjelmointikielen määrittelyjen formalisoinnista
1978 Robert Floyd Hänen kiistattomasta vaikutuksestaan ​​tehokkaiden ja luotettavien ohjelmistojen luomisen metodologiaan ja avustaan ​​sellaisten tietojenkäsittelytieteen alojen kehittämisessä , kuten jäsennysteoria , ohjelmointikielten semantiikka , automaattinen ohjelmien verifiointi , automaattinen ohjelmasynteesi ja algoritmianalyysi
1979 Kenneth Iverson Hänen uraauurtavasta työstään ohjelmointikielten ja matemaattisten merkintöjen alalla, jonka tuloksena asiantuntijat nykyään tunnetaan nimellä APL , hänen panoksestaan ​​interaktiivisten järjestelmien toteuttamisessa, APL:n käyttämisessä opetustarkoituksiin sekä teoriassa ja tekniikassa ohjelmointikielistä
1980 Anthony Hoare Hänen perustavanlaatuisesta panoksestaan ​​ohjelmointikielten määrittelyssä ja kehittämisessä
1981 Edgar Codd Hänen perustavanlaatuisesta ja kestävästä panoksestaan ​​tietokannan hallintajärjestelmien, erityisesti relaatiotyyppisten , teoriassa ja käytännössä
1982 Stephen Arthur Cook Hän on saavuttanut huomattavan edistyksen laskennan monimutkaisuuden ymmärtämisessä . Hänen työnsä loi perustan NP-täydellisyyden teorialle . Tämän luokan ominaisuuksien ja rajojen tutkimuksesta on tullut yksi laskentajärjestelmien teorian tärkeimmistä suunnasta viimeisen kymmenen vuoden aikana.
1983 Ken Thompson Dennis Ritchie
 Käyttöjärjestelmien yleisen teorian kehittämiseen ja erityisesti Unixin luomiseen
1984 Niklaus Wirth Kehittää sarjan innovatiivisia tietokonekieliä, Euler , Algol-W , Modula ja Pascal
1985 Richard Karp Pitkän aikavälin panoksesta algoritmien teoriaan, mukaan lukien tehokkaiden algoritmien kehittäminen verkkojen virtauksille ja muut kombinatoriset optimointiongelmat, polynomin monimutkaisuuslaskelmien vertailu intuitiiviseen tehokkuuden käsitteeseen, ja mikä tärkeintä, panoksesta teoriaan NP-täydellisyydestä
1986 John Hopcroft Robert Tarjan
 Perussaavutuksista algoritmien ja tietorakenteiden kehittämisessä ja analysoinnissa
1987 John Cock Erinomaisesta panoksesta kääntäjien suunnitteluun ja teoriaan, suuriin järjestelmäarkkitehtuuriin ja RISC - tietokoneiden kehittämiseen
1988 Ivan Sutherland Perusteellisista ja näkemyksellisistä panoksista tietokonegrafiikkaan Sketchpadin keksinnöstä lähtien , mutta ei siihen
1989 William Cahan Numeerisen analyysin perustavanlaatuisille panoksille . Yksi ensimmäisistä liukulukulaskennan asiantuntijoista . Kahan omistautui myös tehtävälle "tehdä maailma turvalliseksi numeerisia laskelmia varten"
1990 Fernando Corbato Uraauurtavasta työstä suunnittelu- ja kehityshallinnassa yleiskäyttöisten, laajamittaisten ajan ja resurssien jakamiseen tarkoitettujen tietokonejärjestelmien CTSS ja Multics luomiseen
1991 Robin Milner Kolmelle eri korkeatasoiselle saavutukselle: 1) LCF , automatisoi todistukset Scottin laskettavien funktioiden logiikassa, ilmeisesti ensimmäinen teoreettiselle pohjalle rakennettu automaattinen todistelurakennustyökalu , joka on kuitenkin hyödyllinen käytännössä; 2) ML , ensimmäinen ohjelmointikieli, joka käyttää polymorfista tyyppipäätelmää yhdessä tyyppivirheiden käsittelymekanismin kanssa ; 3) CCS , Rinnakkaislaskennan yleinen teoria . Lisäksi hän muotoili ja kehitti täyden abstraktion , teorian operatiivisen ja denotaatiosemantiikan välisestä suhteesta .
1992 Butler Lampson Osallistumisesta hajautettujen henkilökohtaisten tietojenkäsittelyympäristöjen ja niiden toteuttamiseen tarkoitettujen tekniikoiden kehittämiseen: työasemat , verkot , käyttöjärjestelmät , ohjelmistojärjestelmät, näytöt , turvallisuus ja asiakirjanvaihto
1993 Juris Hartmanis Richard E. Stearns
 Kunnioituksena heidän merkittävälle työlleen, joka loi perustan laskennallisen monimutkaisuuden teorialle
1994 Edward Feigenbaum Raj Reddy
 Suuren mittakaavan tekoälyjärjestelmien kehittämisen ja luomisen edelläkävijä ja tekoälyteknologian käytännön merkityksen ja mahdollisen kaupallisen arvon osoittaminen
1995 Manuel Blum Tunnustuksena panoksesta laskennallisen monimutkaisuusteorian perusteisiin ja sen soveltamiseen kryptografiaan ja ohjelmien todentamiseen
1996 Amir Pnueli Merkittävästä työstä ajallisen logiikan toteuttamisessa laskennallisissa tieteissä ja erinomaisesta panoksesta ohjelmien ja järjestelmien verifioinnissa
1997 Douglas Engelbart Inspiroivista visioista interaktiivisen tietojenkäsittelyn tulevaisuudesta ja avainteknologioiden keksimisestä tämän vision toteuttamiseksi
1998 Jim Gray Perusideoita tietokantoihin , tapahtumankäsittelytutkimukseen ja tekniseen johtajuuteen järjestelmien toteutuksessa.
1999 Frederic Brooks Historiallisesti merkittävistä panostuksista tietokonearkkitehtuuriin , käyttöjärjestelmiin ja ohjelmistosuunnitteluun .
2000 Andrew Yao Kunnioituksena hänen perustavanlaatuiselle panokselleen laskentateoriassa , mukaan lukien laskennallisen monimutkaisuuden käsitteeseen perustuva pseudosatunnaislukujen generoinnin teoria , kryptografia ja kommunikoinnin monimutkaisuus .
2001 Ole-Johan Dahl Kristen Nyugor
 Ideoille, jotka ovat olennaisia ​​olioohjelmoinnin kehittämisessä ohjelmointikielten Simula I ja Simula 67 kehittämisen aikana
2002 Ronald Rivest Adi Shamir Leonard Adleman

 Ainutlaatuisesta panoksesta julkisen avaimen salausjärjestelmien käytännön arvon lisäämiseen
2003 Alan Kay Monille uraauurtaville ideoille, jotka muodostivat perustan nykyaikaisille oliokielille , Smalltalkin kielten kehitystiimin johtamiseen ja perustavanlaatuisiin panoksiin PC -alan kehitykseen.
2004 Vinton Cerf Robert Kahn
 Pioneerityöstä verkkotyöskentelyn ongelman parissa , mukaan lukien tärkeimpien Internet-protokollien, TCP/IP:n, kehittäminen ja  käyttöönotto sekä johtajuudestaan ​​tietokoneverkoissa
2005 Peter Naur Peruspanoksesta ohjelmointikielten suunnittelussa ja Algol 60 -kielen luomisessa sekä kääntäjien suunnittelussa sekä tietokoneohjelmoinnin taiteessa ja tekniikassa
2006 Francis Allen Uraauurtavasta panoksesta tietokoneohjelmien optimoinnin teoriaan ja käytäntöön, joka toimi perustana nykyaikaisille optimoiville kääntäjille ja automaattiselle ohjelmien rinnakkaisuudelle
2007 Edmund Clark Allen Emerson Joseph Sifakis

 Niiden roolin vuoksi mallintarkistuksen kehittämisessä , erittäin tehokas ohjelman varmennustekniikka , jota  käytetään laajalti sekä ohjelmisto- että laitteistokehityksessä [5]
2008 Barbara Liskov Ohjelmointikielten ja järjestelmäsuunnittelun käytännön ja teoreettisten perusteiden edistämisestä, erityisesti virhetoleranssitutkimuksen, datan abstraktion ja hajautetun laskennan aloilla.
2009 Charles Thacker Alton , ensimmäisen modernin henkilökohtaisen tietokoneen, uraauurtavasta kehittämisestä ja luomisesta sekä hänen panoksestaan ​​Ethernet -teknologiaan ja tablet-tietokoneiden kehittämiseen .
2010 Leslie Valiant Avustuksista algoritmien teoriaan , mukaan lukien suunnilleen oikea oppiminen monimutkaisuuden teoria ja algebrallinen laskeminen sekä ja hajautetun laskennan teoria . [6]
2011 Juudan helmi Tekoälyn perustavanlaatuisesta panoksesta kehittämällä todennäköisyys- ja kausaalista  päättelyä varten [7 ]
2012 Silvio Micali Shafi Goldwasser
 Uraauurtavaan työhön todennäköisyyspohjaisessa salauksessa (mukaan lukien ensimmäinen todennäköisyyspohjainen julkisen avaimen salausjärjestelmä ) ja työstä nollatietotodisteiden soveltamisessa kryptografisissa protokollissa [8] .
2013 Leslie Lamport Peruspanoksesta hajautettujen ja vuorovaikutteisten järjestelmien teoriaan ja käytäntöön, joille on tunnusomaista sellaisten käsitteiden löytäminen kuin kausaalisuus ja loogiset kellot , turvallisuus ja selviytyminen, replikoitavat automaatit, peräkkäinen tietojen johdonmukaisuus [9] .
2014 Michael Stonebreaker Perustavasta panoksesta nykyaikaisten tietokantojen hallintajärjestelmien taustalla oleviin periaatteisiin ja käytäntöihin [10] .
2015 Whitfield Diffie Martin Hellman
 Perustavasta panoksesta kryptografiaan [11] .
2016 Tim Berners-Lee World Wide Webin , ensimmäisen verkkoselaimen ja Internetin leviämiseen vaikuttaneiden perusprotokollien ja -algoritmien keksimiseen [12] .
2017 John Hennessy David Patterson
 Innovatiivinen systemaattinen ja mitattavissa oleva lähestymistapa tietokonearkkitehtuurien suunnitteluun ja todentamiseen, jolla on ollut pysyvä vaikutus mikroprosessoriteollisuuteen [13] .
2018 Yoshua Bengio Geoffrey Hinton Yan LeCun

 Niille käsitteellisille ja teknisille läpimurroille, jotka ovat tehneet syvästä neuroverkosta laskennan kulmakiven [14] .
2019 Ed Catmull Pat Hanrahan
 Olennaisesta panoksesta 3D-grafiikan kehittämisessä ja vallankumouksellisesta vaikutuksesta tietokonegrafiikkaan elokuvissa ja muissa sovelluksissa [15] .
2020 Alfred Aho Jeffrey Ullman
 Ohjelmointikielten kääntämisen ja algoritmien perustan muodostamiseen [16] .
2021 Jack Dongarra Uraauurtavasta panoksesta numeeristen menetelmien kirjastoihin, jotka ovat mahdollistaneet supertietokoneohjelmistojen pysymisen eksponentiaalisen laitteistokehityksen tahdissa neljän vuosikymmenen ajan [17] .

Muistiinpanot

  1. ↑ AM Turing Award (linkki ei saatavilla) . ACM. Haettu 5. marraskuuta 2007. Arkistoitu alkuperäisestä 13. helmikuuta 2012. 
  2. ↑ Ruskea, Bob. Miksi tietojenkäsittelyn Nobel-palkintoa ei  jaeta . Network World (6. kesäkuuta 2011). Haettu 1. kesäkuuta 2022. Arkistoitu alkuperäisestä 22. lokakuuta 2016.
  3. ↑ Google tarjoaa kaiken rahoituksen tietojenkäsittelyn arvostetuimmalle palkinnolle  , Association for Computing Machinery (13. marraskuuta  2014). Arkistoitu alkuperäisestä 29. marraskuuta 2014. Haettu 21. marraskuuta 2014.  "ACM (The Association for Computing Machinery) ilmoittaa tänään, että ACM AM Turing Award -palkinnon rahoitustaso on nyt 1 000 000 dollaria, jonka tarjoaa Google Inc."
  4. ↑ Turing-palkinnon rahat olivat melkein yhtä suuret kuin Nobel-palkinto  (Venäjä) , OSZone  (21.11.2014). Arkistoitu alkuperäisestä 25. marraskuuta 2014. Haettu 21.11.2014.
  5. ↑ Vuosittaiset Turing-palkinnon voittajat julkistettu - Tiede ja teknologia - Compulent Arkistoitu 21. helmikuuta 2009 Wayback Machinessa .
  6. ↑ ACM Award Citation / Leslie G Valiant .
  7. ↑ Turing Award 2011. Judea Pearl . Haettu 19. maaliskuuta 2012. Arkistoitu alkuperäisestä 26. elokuuta 2017.
  8. ↑ Turing-palkinto 2012  (englanniksi)  (linkki ei saatavilla) . ACM. Haettu 18. maaliskuuta 2013. Arkistoitu alkuperäisestä 21. maaliskuuta 2013.
  9. ↑ Turing- palkinto 2013  . ACM (18. maaliskuuta 2014). Käyttöpäivä: 18. maaliskuuta 2014. Arkistoitu alkuperäisestä 18. maaliskuuta 2014.
  10. ↑ Tietokantajärjestelmäarkkitehtuurin edelläkävijä saa ACM:n korkeimman kunnian . Perustavasta panoksesta nykyaikaisten tietokantajärjestelmien taustalla oleviin käsitteisiin ja käytäntöihin.  (englanniksi)  (linkki ei ole käytettävissä) . ACM (25. maaliskuuta 2015) . Haettu 25. maaliskuuta 2015. Arkistoitu alkuperäisestä 25. maaliskuuta 2015.
  11. ↑ Cryptography Pioneers vastaanottaa Acm AM Turing Award -palkinnon arkistoitu 4. maaliskuuta 2016 Wayback Machinessa .
  12. ↑ Sir Tim Berners -Lee  . ACM. Haettu 12. huhtikuuta 2017. Arkistoitu alkuperäisestä 6. huhtikuuta 2017.
  13. ↑ John L.  Hennesy . ACM. Haettu 21. maaliskuuta 2018. Arkistoitu alkuperäisestä 22. maaliskuuta 2018.
  14. ↑ Deep Learning Revolutionin isät saavat ACM AM Turing  -palkinnon . ACM (27. maaliskuuta 2019). Haettu 27. maaliskuuta 2019. Arkistoitu alkuperäisestä 23. elokuuta 2021.
  15. ↑ Modernin tietokonegrafiikan pioneerit tunnustettu ACM AM Turing -palkinnolla  . ACM (23. maaliskuuta 2020). Haettu: 23.3.2020.
  16. ↑ ACM Turing -palkinto antaa tunnustusta innovoijille, jotka loivat ohjelmointikielen kääntäjien ja algoritmien  perustan . ACM (31. maaliskuuta 2021). Haettu 31. maaliskuuta 2021. Arkistoitu alkuperäisestä 7. lokakuuta 2021.
  17. ↑ ACM Turing -palkinto myöntää Jack J. Dongarralle uraauurtavia käsitteitä ja menetelmiä, jotka ovat johtaneet maailmaa muuttaviin laskelmiin  . ACM (31. maaliskuuta 2022). Haettu 2. huhtikuuta 2022. Arkistoitu alkuperäisestä 1. huhtikuuta 2022.

Linkit

  Siirry Wikidata-kohteeseen  Sanakirjat ja tietosanakirjat
 Turing-palkinnon voittajat