| År | bilde | Navn | Begrunnelse |
|---|
| 1966 | | Alan J. Perlis[5] | For hans innflytelse innenfor avanserteprogrammeringsteknikker ogkompilator-teknikk |
| 1967 |  | Maurice V. Wilkes[6] | Professor Wilkes er best kjent som utvikler og bygger avEDSAC, verdens første datamaskin med et internt lagretprogram. Den ble bygget i 1949, og bruktekvikksølvminne. Han er også, sammen med Wheeler og Gill, kjent som forfatteren avPreparation of Programs for Electronic Digital Computers i 1951, hvorprogrambiblioteker i praksis ble innført. |
| 1968 | | Richard Hamming[7] | For hans arbeid innenfornumeriske metoder, automatiske kodesystemer, feildeteksjon og feilkorrigering av koder |
| 1969 |  | Marvin Minsky[8] | Kunstig intelligens |
| 1970 | | James H. Wilkinson[9] | For sin forskning innenfornumerisk analyse |
| 1971 |  | John McCarthy[10] | Dr. McCarthy's forelesning "The Present State of Research onArtificial Intelligence" betegner det område hvor han har ytt sine fremste bidrag |
| 1972 |  | Edsger Dijkstra[11] | Edsger Dijkstra var på 1950-tallet hovedbidragsyter i utviklingen avALGOL, et høynivåprogrammeringsspråk som fremholdes som et forbilde innen tydelighet og matematisk stringens. Han er i det hele tatt en ledende eksponent innen utvikling avprogrammeringsspråk, og har gitt store bidrag til vår forståelse av deres struktur, representasjon, og implementasjon. Hans publikasjoner gjennom femten år spenner fra teoretiske artikler om grafteori til grunnleggende manualer, beskrivende tekster, og filosofiske betraktninger rundt programmeringsspråk. |
| 1973 |  | Charles W. Bachman[12] | For hans fremragende bidrag tildatabase-teknologi |
| 1974 |  | Donald E. Knuth[13] | For hans store bidrag til analyse av algoritmer og design av programmeringsspråk, og da spesielt for hans bidrag til programmeringsmetoder gjennom bokserienThe Art of Computer Programming |
| 1975 | | Allen Newell[14] | Gjennom felles vitenskapelig innsats over mer enn 20 år, i begynnelsen i samarbeid med J. C. Shaw hosRAND Corporation, og senere med et stort antall fra fakultetet og studentene vedCarnegie-Mellon University, har de gjort grunnleggende bidrag til feltetkunstig intelligens, innenfor menneskeligkognisjon og til listebehandling |
| Herbert A. Simon[15] |
| 1976 | | Michael O. Rabin[16] | For deres felles avhandlingFinite Automata and Their Decision Problem, som introduserte begrepetikke-deterministiske maskiner, noe som har vist seg å være et enormt viktig konsept. Deres klassiske avhandling har vært en kontinuerlig kilde for inspirasjon innenfor fagfeltet. |
 | Dana S. Scott[17] |
| 1977 | | John Backus[18] | For dyptgripende og varige bidrag innenfor utvikling av høynivå programmeringssystemer, spesielt gjennom hans arbeid medFORTRAN, og for publisering av formelle prosedyrer innenfor spesifikasjon av programmeringsspråk |
| 1978 | | Robert W. Floyd[19] | For å ha hatt en klar innflytelse på metodologiene for å lage effektiv og pålitelig programvare, og for å bidra til å grunnlegge de følgende viktige områdene innendatavitenskap:parsing-teori, programmeringsspråkssemantikk, automatiskprogram-verifikasjon,automatisk program-syntese, oganalyse avalgoritmer |
| 1979 | | Kenneth E. Iverson[20] | Pioner iprogrammeringsspråk og matematikk, bruk av APL i undervisning |
| 1980 |  | C. Antony R. Hoare[21] | Pioner i programmeringsspråk |
| 1981 | | Edgar F. Codd[22] | Databasesystemer, spesieltrelasjonsdatabaser |
| 1982 |  | Stephen A. Cook[23] | Kompleksitetsteori ogNP-komplette problemer |
| 1983 |  | Ken Thompson[24] | Operativsystemteori og utviklingen avUNIX operativsystem |
 | Dennis M. Ritchie[25] |
| 1984 |  | Niklaus Wirth[26] | Utvikling av flere programmeringsspråk, særligPascal |
| 1985 |  | Richard M. Karp[27] | Algoritmeteori |
| 1986 |  | John Hopcroft[28] | Design og analyse av algoritmer ogdatastrukturer |
 | Robert Tarjan[29] |
| 1987 | | John Cocke[30] | Kompilatorteori og utvikling av datamaskiner med reduserte instruksjonssett – (RISC) |
| 1988 |  | Ivan Sutherland[31] | Datagrafikk |
| 1989 |  | William (Velvel) Kahan[32] | Numerisk analyse |
| 1990 |  | Fernogo J. Corbató[33] | CTSS ogMultics |
| 1991 | | Robin Milner[34] | LCF,ML,CCS |
| 1992 |  | Butler W. Lampson[35] | Distribuerte, personlige databehandlingsmiljø |
| 1993 |  | Juris Hartmanis[36] | Kompleksitetsteori |
 | Richard E. Stearns[37] |
| 1994 |  | Edward Feigenbaum[38] | Kunstig intelligens – store systemer |
 | Raj Reddy[39] |
| 1995 |  | Manuel Blum[40] | Kompleksitetsteori, anvendelse ikryptografi |
| 1996 |  | Amir Pnueli[41] | Logikk og systemer for verifisering |
| 1997 |  | Douglas Engelbart[42] | Interaktiv databehandling |
| 1998 |  | James Gray[43] | Database og transaksjonsbehandling |
| 1999 |  | Frederick P. Brooks, Jr.[44] | Dataarkitektur,operativsystem ogprogramvareutvikling |
| 2000 |  | Andrew Chi-Chih Yao[45] | Teori for databehandling inkludert kryptografi og datakommunikasjon |
| 2001 | | Ole-Johan Dahl[46] | Objektorientert programmering |
 | Kristen Nygaard[47] |
| 2002 |  | Ronald L. Rivest[48] | Asymmetrisk kryptering, særligRSA i praksis |
 | Adi Shamir[49] |
 | Leonard M. Adleman[50] |
| 2003 |  | Alan Kay[51] | Objektorienterte programmeringsspråk, utvikling avSmalltalk |
| 2004 |  | Vinton G. Cerf[52] | TCP/IP-protokollene |
 | Robert E. Kahn[53] |
| 2005 |  | Peter Naur[54] | For grunnleggende bidrag til utviklingen av programmeringsspråk og definisjonen avAlgol 60,kompilatordesign (for implementasjonen avGIER Algol) og bruk avstrukturert programmering |
| 2006 |  | Frances E. Allen[55] | For optimalisering av kompilering |
| 2007 |  | Edmund M. Clarke[56] | For [sine roller] i utviklingen av «Model checking» til en høyst effektiv verifikasjonsteknologi, tatt i bruk i vid utstrekning av maskin- og programvareindustrien |
| E. Allen Emerson[57] |
 | Joseph Sifakis[58] |
| 2008 |  | Barbara Liskov[59] | For praktiske og teoretiske bidrag til grunnlaget forprogrammeringsspråk og systemdesign, særlig knyttet til abstrahering av data, feiltolerering og distribuert databehandling. |
| 2009 |  | Charles P. Thacker[60] | For pionerarbeid i forbindelse med utviklingen avAlto, den første moderne personlige datamaskinen, og dessuten for hans bidrag tilEthernet ogNotatblokk-PC. |
| 2010 |  | Leslie Valiant[61] | Betydelige bidrag tilkompleksitetsteorien, spesielt i forbindelse medmaskinlæring (med innføringen av PAC-modellen) og distribuert databehandling. |
| 2011 | | Judea Pearl[62] | Grunnleggende bidrag tilkunstig intelligens ved å utvikle enmatematisk analyse for probabilistisk og kausalistiskinferens. |
| 2012 |  | Silvio Micali[63] | Opprettelse av etkompleksitsteoretisk grunnlag forkryptografi og dermed bane vei for nye metoder for effektiv verifisering av matematiske bevis innen kompleksitetsteorien. |
 | Shafi Goldwasser[64] |
| 2013 |  | Leslie Lamport[65] | For fundamentale bidrag til teori og praksis ved distribuerte og samtidige systemer. |
| 2014 |  | Michael Stonebraker[66] | For fundamentale bidrag til moderne databasesystemer. |
| 2015 |  | Martin Hellman[67] | For utvikling avoffentlig nøkkelkryptering ogdigital signatur[68] |
 | Whitfield Diffie[69] |
| 2016 |  | Tim Berners-Lee[70] | For oppfinnelsen av World Wide Web, den første nettleseren og de fundamentale protokoller og algoritmer som gjør at webben skalerer. |
| 2017 |  | John L. Hennessy | For eksemplarisk arbeid innen en systematisk, kvantitativ tilnærming til design og evaluering av dataarkitekturer med varig innvirkning på mikroprosessorindustrien.[71] |
 | David A. Patterson |
| 2018 |  | Yoshua Bengio | For konseptuelle og tekniske gjennombrudd som har gjortdype nevrale nettverk en kritisk komponent i databehandling.[72] |
 | Geoffrey Hinton |
 | Yann LeCun |
| 2019 |  | Edwin Catmull | For banebrytende innsats innenfordatagrafikk, spesielt3D-animasjon.[73] |
 | Pat Hanrahan |
| 2020 | | Alfred Aho | For grunnleggende algoritmer og teori innenfor programmeringssprog og for å sammenfatte egne og andres resultater i svært innflytelsesrike bøker som har påvirket flere generasjoner.[74] |
| Jeffrey Ullman |
| 2021 |  | Jack Dongarra | For banebrytende bidrag tilnumeriske algoritmer ogprogramvarebiblioteker som gjorde det mulig for høyytelsesberegningsprogramvare å holde tritt med eksponentielle maskinvareforbedringer i over fire tiår[75] |
| 2022 |  | Robert Metcalfe | For oppfinnelsen, standardiseringen og kommersialiseringen avEthernet[76] |
.jpg)
.jpg)
.jpg)
.jpg)
.jpg)
