Turing-palkinto

ACM A.M. Turing Award on Association for Computing Machinery (ACM) -järjestön vuosittain myöntämä palkinto, joka myönnetään "henkilölle, joka on valittu teknisluonteisesta panoksestaan tietojenkäsittely-yhteisölle". Se on nimetty Alan Turingin mukaan, ja se jaetaan vuosittain New York issa . Se on korkein palkinto, joka voidaan antaa tietojenkäsittelytieteilijälle. ja "tietojenkäsittelyn Nobel-palkinto".

Turing-palkinto

Historia

Ensimmäinen Turing-palkinto myönnettiin vuonna 1966 Alan Perlisille, Carnegie Mellonin yliopiston opettajalle. Palkinto on jaettu sen jälkeen joka vuosi.

Ensimmäinen saaja vuonna 1966 oli Alan Perlis Carnegie Mellonin yliopistosta. Frances E. Allen IBM:stä oli vuonna 2006 ensimmäinen naispuolinen palkinnon saaja palkinnon 40-vuotisen historian aikana.

Vastaanottajat

Vuosi	Vastaanottaja	Kuva	Perustelut
1966	Alan Perlis	80px	Hänen vaikutuksestaan kehittyneiden tietokoneohjelmointitekniikoiden ja kääntäjien rakentamisen alalla.
1967	Maurice Wilkes		Wilkes tunnetaan parhaiten ensimmäisen sisäisesti tallennetulla ohjelmalla varustetun tietokoneen, EDSAC:n, rakentajana ja suunnittelijana. Vuonna 1949 rakennetussa EDSAC:ssa käytettiin elohopeaviivamuistia. Hänet tunnetaan myös siitä, että hän kirjoitti yhdessä Wheelerin ja Gillin kanssa vuonna 1951 teoksen "Preparation of Programs for Electronic Digital Computers", jossa ohjelmakirjastot otettiin tehokkaasti käyttöön.
1968	Richard Hamming	80px	Numeerisia menetelmiä, automaattisia koodausjärjestelmiä sekä virheentunnistus- ja virheenkorjauskoodeja koskevasta työstä.
1969	Marvin Minsky		Hänen keskeisestä roolistaan tekoälyn luomisessa, muotoilussa, edistämisessä ja kehittämisessä.
1970	James H. Wilkinson	80px	Numeerisen analyysin alalla tekemästään tutkimuksesta, jonka tarkoituksena oli helpottaa nopeiden digitaalisten tietokoneiden käyttöä, ja sai erityistä tunnustusta lineaarialgebran laskentatyöstä ja "taaksepäin" tapahtuvasta virheanalyysistä.
1971	John McCarthy		McCarthyn luento "The Present State of Research on Artificial Intelligence" käsittelee aihetta, jolla McCarthy on saavuttanut huomattavaa tunnustusta työstään.
1972	Edsger W. Dijkstra		Edsger Dijkstra osallistui 1950-luvun lopulla merkittävällä tavalla ALGOLin kehittämiseen, korkean tason ohjelmointikielen, josta on tullut selkeyden ja matemaattisen tarkkuuden malliesimerkki. Hän on yksi ohjelmointikielten tieteen ja taiteen tärkeimmistä puolestapuhujista yleensä, ja hän on edistänyt suuresti ymmärrystämme niiden rakenteesta, esittämisestä ja toteuttamisesta. Hänen viidentoista vuoden julkaisutoimintansa ulottuu graafiteoriaa käsittelevistä teoreettisista artikkeleista ohjelmointikielten peruskäsikirjoihin, selittäviin teksteihin ja filosofisiin pohdintoihin.
1973	Charles Bachman		Hänen merkittävästä panoksestaan tietokantateknologian hyväksi.
1974	Donald Knuth		Merkittävästä panoksestaan algoritmien analysointiin ja ohjelmointikielten suunnitteluun ja erityisesti panoksestaan "The Art of Computer Programming" -teokseen, jota hän on tehnyt tunnetuilla kirjoillaan samannimisessä jatkuvassa kirjasarjassa.
1975	Allen Newell	80px	Yli kahdenkymmenen vuoden tieteellisessä yhteistyössä, aluksi yhteistyössä J. C. Shaw'n kanssa RAND Corporationissa ja sittemmin lukuisten Carnegie Mellon Universityn opettaja- ja opiskelijakollegoiden kanssa, he ovat tehneet perustavanlaatuista työtä tekoälyn, ihmisen kognition psykologian ja listojen käsittelyn alalla.
1975	Herbert A. Simon
1976	Michael O. Rabin		Heidän yhteisestä artikkelistaan "Finite Automata and Their Decision Problem", jossa esiteltiin ajatus ei-deterministisistä automaateista, jotka ovat osoittautuneet valtavan arvokkaaksi käsitteeksi. Heidän (Scottin ja Rabinin) klassinen artikkelinsa on ollut jatkuva inspiraation lähde myöhemmille töille tällä alalla.
1976	Dana Scott
1977	John Backus		Syvällinen, vaikutusvaltainen ja kestävä panos käytännön korkean tason ohjelmointijärjestelmien suunnitteluun, erityisesti FORTRANia koskevan työnsä ansiosta, sekä ohjelmointikielten määrittelyyn käytettävien muodollisten menettelyjen merkittävä julkaisu.
1978	Robert W. Floyd	80px	Koska hänellä on ollut selkeä vaikutus tehokkaiden ja luotettavien ohjelmistojen luomisessa käytettäviin menetelmiin ja koska hän on auttanut perustamaan seuraavat tärkeät tietojenkäsittelytieteen osa-alueet: jäsennysteoria, ohjelmointikielten semantiikka, automaattinen ohjelmien verifiointi, automaattinen ohjelmasynteesi ja algoritmien analyysi.
1979	Kenneth E. Iverson	80px	Hänen uraauurtavista ponnisteluistaan ohjelmointikielten ja matemaattisten merkintöjen alalla, jotka johtivat siihen, minkä tietojenkäsittelyala nykyään tuntee nimellä APL, hänen panoksestaan interaktiivisten järjestelmien toteuttamiseen, APL:n opetuskäyttöön sekä ohjelmointikielten teoriaan ja käytäntöön.
1980	Tony Hoare		Hänen perustavanlaatuisesta panoksestaan ohjelmointikielten määrittelyssä ja suunnittelussa.
1981	Edgar F. Codd	80px	Perustavanlaatuisesta ja jatkuvasta panoksesta tietokantojen hallintajärjestelmien, erityisesti relaatiotietokantojen, teoriaan ja käytäntöön.
1982	Stephen A. Cook		Hän on edistänyt merkittävästi ja perusteellisesti ymmärrystämme laskennan monimutkaisuudesta.
1983	Ken Thompson		Yleisen käyttöjärjestelmäteorian kehittämisestä ja erityisesti UNIX-käyttöjärjestelmän toteuttamisesta.
1983	Dennis M. Ritchie
1984	Niklaus Wirth		Innovatiivisten tietokonekielten, EULERin, ALGOL-W:n, MODULAn ja Pascalin, kehittäminen.
1985	Richard M. Karp		Hänen jatkuvasta panoksestaan algoritmien teoriaan, mukaan lukien tehokkaiden algoritmien kehittäminen verkkovirtauksen ja muiden kombinatoristen optimointiongelmien ratkaisemiseksi, polynomiaikaisen laskettavuuden ja algoritmisen tehokkuuden intuitiivisen käsitteen samaistaminen sekä erityisesti panoksensa NP-täydellisyysteoriaan.
1986	John Hopcroft		Algoritmien ja tietorakenteiden suunnittelussa ja analysoinnissa saavutetuista perustavanlaatuisista saavutuksista.
1986	Robert Tarjan
1987	John Cocke	80px	Merkittävästä panoksesta kääntäjien suunnittelussa ja teoriassa, suurten järjestelmien arkkitehtuurissa ja RISC-tietokoneiden (Reduced Instruction Set Computer) kehittämisessä.
1988	Ivan Sutherland		Hänen uraauurtavasta ja visionäärisestä panoksestaan tietokonegrafiikan kehittämisessä, joka alkoi Sketchpad-ohjelmasta ja jatkui sen jälkeen.
1989	William Kahan		Hänen perustavanlaatuisesta panoksestaan numeerisen analyysin alalla. Yksi liukulukulaskennan johtavista asiantuntijoista. Kahan on omistautunut "tekemään maailmasta turvallisen numeerisille laskutoimituksille".
1990	Fernando J. Corbató		Hänen uraauurtavasta työstään yleiskäyttöisten, laajamittaisten, ajan ja resurssien jakamiseen perustuvien CTSS- ja Multics-tietokonejärjestelmien konseptien organisoinnissa ja kehittämisen johtamisessa.
1991	Robin Milner	80px	Kolme erillistä ja täydellistä saavutusta: Tämä on luultavasti ensimmäinen teoreettisesti perusteltu mutta käytännöllinen työkalu koneavusteiseen todistusten rakentamiseen; 2) ML, ensimmäinen kieli, joka sisälsi polymorfisen tyypin päättelyn ja tyyppiturvallisen poikkeusten käsittelymekanismin; 3) CCS, yleinen rinnakkaisteoria. Lisäksi hän muotoili ja edisti voimakkaasti täydellistä abstraktiota, joka on operationaalisen ja denotationaalisen semantiikan välisen suhteen tutkimus.
1992	Butler W. Lampson		Osallistumisesta hajautettujen henkilökohtaisten tietojenkäsittely-ympäristöjen ja niiden toteuttamiseen tarvittavan teknologian kehittämiseen: työasemat, verkot, käyttöjärjestelmät, ohjelmointijärjestelmät, näytöt, tietoturva ja asiakirjojen julkaiseminen.
1993	Juris Hartmanis		Tunnustuksena heidän uraauurtavasta artikkelistaan, joka loi perustan laskennallisen kompleksisuusteorian alalle.
1993	Richard E. Stearns
1994	Edward Feigenbaum		Suurten tekoälyjärjestelmien suunnittelun ja rakentamisen uranuurtajana, mikä osoittaa tekoälyteknologian käytännön merkityksen ja mahdollisen kaupallisen vaikutuksen.
1994	Raj Reddy
1995	Manuel Blum		Tunnustuksena hänen panoksestaan laskennallisen kompleksisuusteorian perusteiden ja sen soveltamisen kehittämiseksi salaukseen ja ohjelmien tarkistamiseen.
1996	Amir Pnueli		Merkittävistä töistä, joilla ajallinen logiikka otettiin käyttöön tietojenkäsittelytieteessä, sekä merkittävistä panoksista ohjelmien ja järjestelmien verifioinnin alalla.
1997	Douglas Engelbart		Innostava visio vuorovaikutteisen tietojenkäsittelyn tulevaisuudesta ja keskeisten teknologioiden keksiminen tämän vision toteuttamiseksi.
1998	Jim Gray		Tietokantojen ja tapahtumienkäsittelyn tutkimukseen tehdystä merkittävästä panoksesta ja teknisestä johtajuudesta järjestelmien toteuttamisessa.
1999	Frederick P. Brooks		Tietokonearkkitehtuurin, käyttöjärjestelmien ja ohjelmistotekniikan merkittävistä saavutuksista.
2000	Andrew Chi-Chih Yao		Tunnustuksena hänen perustavanlaatuisesta panoksestaan laskennan teoriaan, mukaan lukien pseudosatunnaislukujen tuottamisen, salakirjoituksen ja viestinnän monimutkaisuuden teoria.
2001	Ole-Johan Dahl	80px	Oliosuuntautuneen ohjelmoinnin syntyyn vaikuttaneista ideoista Simula I ja Simula 67 -ohjelmointikielten suunnittelun kautta.
2001	Kristen Nygaard
2002	Ron Rivest		Heidän nerokkaasta panoksestaan julkisen avaimen salauksen käyttökelpoisuuden lisäämiseksi käytännössä.
	Adi Shamir
	Leonard M. Adleman
2003	Alan Kay		Hän on ollut uranuurtajana monissa nykyisten oliosuuntautuneiden ohjelmointikielten perustana olevissa ideoissa, johtanut Smalltalkin kehittämisryhmää ja antanut perustavanlaatuisen panoksen henkilökohtaiseen tietojenkäsittelyyn.
2004	Vint Cerf		Internetin tietoverkkojen alalla tehdystä uraauurtavasta työstä, mukaan luettuna Internetin perustietoliikenneprotokollien, TCP/IP:n, suunnittelu ja toteutus, sekä innostavasta johtajuudesta verkkojen alalla.
2004	Bob Kahn
2005	Peter Naur		Perustavanlaatuisesta panoksesta ohjelmointikielen suunnitteluun ja ALGOL 60:n määrittelyyn, kääntäjien suunnitteluun sekä tietokoneohjelmoinnin taiteeseen ja käytäntöön.
2006	Frances E. Allen		Uraauurtava panos optimoivien kääntäjätekniikoiden teoriaan ja käytäntöön, joka loi perustan nykyaikaisille optimoiville kääntäjille ja automaattiselle rinnakkaissuoritukselle.
2007	Edmund M. Clarke		Heidän roolistaan mallintarkistuksen kehittämisessä erittäin tehokkaaksi verifiointitekniikaksi, joka on laajalti käytössä laitteisto- ja ohjelmistoteollisuudessa.
	E. Allen Emerson
	Joseph Sifakis
2008	Barbara Liskov		Osallistumisesta ohjelmointikielten ja järjestelmien suunnittelun käytännön ja teoreettisiin perusteisiin, erityisesti tietojen abstraktioon, vikasietoisuuteen ja hajautettuun tietojenkäsittelyyn.
2009	Charles P. Thacker		Ensimmäisen nykyaikaisen henkilökohtaisen tietokoneen, Xerox Alton, uraauurtavasta suunnittelusta ja toteutuksesta sekä Ethernetin ja taulutietokoneen kehittämisestä.
2010	Leslie G. Valiant		Muuttuvasta panoksesta laskennan teoriaan, mukaan lukien todennäköisesti suunnilleen oikean oppimisen (PAC) teoria, luettelemisen ja algebrallisen laskennan monimutkaisuus sekä rinnakkaisen ja hajautetun laskennan teoria.
2011	Juudean helmi		Perustavanlaatuisesta panoksesta tekoälyyn kehittämällä todennäköisyys- ja kausaalilaskennan.
2012	Silvio Micali		Muuttuvasta työstä, jolla luotiin monimutkaisuusteoreettinen perusta salakirjoitustieteelle ja kehitettiin samalla uusia menetelmiä matemaattisten todisteiden tehokkaaseen todentamiseen monimutkaisuusteoriassa.
2012	Shafi Goldwasser
2013	Leslie Lamport		Perustavanlaatuisesta panoksesta hajautettujen ja samanaikaisten järjestelmien teoriaan ja käytäntöön, erityisesti kausaalisuuden ja loogisten kellojen, turvallisuuden ja elävyyden, monistettujen tilakoneiden ja peräkkäisen johdonmukaisuuden kaltaisten käsitteiden keksimisestä.
2014	Michael Stonebraker		Perustavanlaatuisesta panoksesta nykyaikaisten tietokantajärjestelmien perustana oleviin käsitteisiin ja käytäntöihin.
2015	Martin E. Hellman		Nykyaikaisen kryptografian perustavanlaatuisesta edistämisestä. Diffien ja Hellmanin uraauurtavassa artikkelissa "New Directions in Cryptography" vuodelta 1976 esiteltiin julkisen avaimen salauksen ja digitaalisten allekirjoitusten ideat, jotka ovat nykyään useimpien Internetissä säännöllisesti käytettyjen turvallisuusprotokollien perusta.
2015	Whitfield Diffie
2016	Tim Berners-Lee		World Wide Webin ja ensimmäisen verkkoselaimen keksimisestä sekä perustavanlaatuisten protokollien ja algoritmien keksimisestä, jotka mahdollistavat Webin skaalautumisen.
2017	John L. Hennessy		Järjestelmällisen, kvantitatiivisen lähestymistavan luominen tietokonearkkitehtuurien suunnitteluun ja arviointiin, millä on pysyvä vaikutus mikroprosessoriteollisuuteen.
2017	David Patterson
2018	Yoshua Bengio		Käsitteellisistä ja teknisistä läpimurroista, jotka ovat tehneet syvistä neuroverkoista kriittisen osan tietojenkäsittelyä.
	Geoffrey Hinton
	Yann LeCun
2019	Edwin Catmull		Perustavanlaatuisesta panoksesta kolmiulotteiseen tietokonegrafiikkaan ja näiden tekniikoiden vallankumouksellisesta vaikutuksesta tietokoneella tuotettuun kuvaan (CGI) elokuvantuotannossa ja muissa sovelluksissa.
2019	Pat Hanrahan