Turing-prisen

Turing-prisen (engelsk: The A.M. Turing Award) deles ut årlig av Association for Computing Machinery (ACM) for tekniske bidrag til databehandlingsmiljøet. Bidragene bør være av varig og teknisk viktig natur.

Prisen er oppkalt etter Alan Mathison Turing (1912–1954), en britisk matematiker som regnes som en av pionerene innenfor feltet databehandling. Turing-prisen er anerkjent innenfor informatikken og sammenliknes ofte med nobelprisen.Turingprisen for 2001 ble tildelt Ole Johan Dahl og Kristen Nygaard . uio.no. Besøkt 23. mars 2020. Fra 2007 til 2013 var den sponset av Intel og Google og bestod av 250 000 amerikanske dollar.  Fra 2014 er den sponset av Google og består av én million amerikanske dollar. 

 Prismottagere 
ÅrbildeNavnBegrunnelse1966Alan J. PerlisAlan J. Perlis - Turing Award hos ACMFor hans innflytelse innenfor avanserte programmeringsteknikker og kompilator-teknikk1967100x100pk|Maurice V. WilkesMaurice V. WilkesMaurice V. Wilkes - Turing Award hos ACMProfessor Wilkes er best kjent som utvikler og bygger av EDSAC, verdens første datamaskin med et internt lagret program. Den ble bygget i 1949, og brukte kvikksølvminne. Han er også, sammen med Wheeler og Gill, kjent som forfatteren av Preparation of Programs for Electronic Digital Computers i 1951, hvor programbiblioteker i praksis ble innført.1968Richard HammingRichard Hamming - Turing Award hos ACMFor hans arbeid innenfor numeriske metoder, automatiske kodesystemer, feildeteksjon og feilkorrigering av koder1969100x100pk|Marvin MinskyMarvin MinskyMarvin Minsky - Turing Award hos ACMKunstig intelligens1970James H. WilkinsonJames H. Wilkinson - Turing Award hos ACMFor sin forskning innenfor numerisk analyse1971116x116pk|John McCarthyJohn McCarthyJohn McCarthy - Turing Award hos ACMDr. McCarthy's forelesning "The Present State of Research on Artificial Intelligence" betegner det område hvor han har ytt sine fremste bidrag1972133x133pk|Edsger DijkstraEdsger DijkstraEdsger Dijkstra - Turing Award hos ACMEdsger Dijkstra var på 1950-tallet hovedbidragsyter i utviklingen av ALGOL, 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 av programmeringssprå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.1973153x153pk|Charles BachmanaCharles W. BachmanCharles W. Bachman - Turing Award hos ACMFor hans fremragende bidrag til database-teknologi1974118x118pk|Donald E. KnuthDonald E. KnuthDonald E. Knuth - Turing Award hos ACMFor hans store bidrag til analyse av algoritmer og design av programmeringsspråk, og da spesielt for hans bidrag til programmeringsmetoder gjennom bokserien The Art of Computer Programming1975Allen NewellAllen Newell - Turing Award hos ACMGjennom felles vitenskapelig innsats over mer enn 20 år, i begynnelsen i samarbeid med J. C. Shaw hos RAND Corporation, og senere med et stort antall fra fakultetet og studentene ved Carnegie-Mellon University, har de gjort grunnleggende bidrag til feltet kunstig intelligens, innenfor menneskelig kognisjon og til listebehandlingHerbert A. SimonHerbert A. Simon - Turing Award hos ACM1976Michael O. RabinMichael O. Rabin - Turing Award hos ACMFor deres felles avhandling Finite Automata and Their Decision Problem, som introduserte begrepet ikke-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.130x130pk|Dana ScottDana S. ScottDana S. Scott - Turing Award hos ACM1977John BackusJohn Backus - Turing Award hos ACMFor dyptgripende og varige bidrag innenfor utvikling av høynivå programmeringssystemer, spesielt gjennom hans arbeid med FORTRAN, og for publisering av formelle prosedyrer innenfor spesifikasjon av programmeringsspråk1978Robert W. FloydRobert W. Floyd - Turing Award hos ACMFor å 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 innen datavitenskap: parsing-teori, programmeringsspråks semantikk, automatisk program-verifikasjon, automatisk program-syntese, og analyse av algoritmer1979Kenneth E. IversonKenneth E. Iverson - Turing Award hos ACMPioner i programmeringsspråk og matematikk, bruk av APL i undervisning1980105x105pk|C. A. R. HoareC. Antony R. HoareC. Antony R. Hoare - Turing Award hos ACMPioner i programmeringsspråk1981Edgar F. CoddEdgar F. Codd - Turing Award hos ACMDatabasesystemer, spesielt relasjonsdatabaser1982121x121pk|Stephen A. CookStephen A. CookStephen A. Cook - Turing Award hos ACMKompleksitetsteori og NP-komplette problemer1983116x116pk|Ken ThompsonKen ThompsonKen Thompson - Turing Award hos ACMOperativsystemteori og utviklingen av UNIX operativsystem128x128pk|Dennis M. RitchieDennis M. RitchieDennis M. Ritchie - Turing Award hos ACM1984137x137pk|Niklaus WirthNiklaus WirthNiklaus Wirth - Turing Award hos ACMUtvikling av flere programmeringsspråk, særlig Pascal1985100x100pk|Richard M. KarpRichard M. KarpRichard M. Karp - Turing Award hos ACMAlgoritmeteori1986133x133pk|John HopcroftJohn HopcroftJohn Hopcroft - Turing Award hos ACMDesign og analyse av algoritmer og datastrukturer149x149pk|Robert TarjanRobert TarjanRobert Tarjan - Turing Award hos ACM1987John CockeJohn Cocke - Turing Award hos ACMKompilatorteori og utvikling av datamaskiner med reduserte instruksjonssett – (RISC)1988134x134pk|Ivan SutherlandIvan SutherlandIvan Sutherland - Turing Award hos ACMDatagrafikk1989100x100pk|William KahanWilliam (Velvel) KahanWilliam Kahan - Turing Award hos ACMNumerisk analyse1990117x117pk|Fernogo J. CorbatóFernogo J. CorbatóFernogo J. Corbató - Turing Award hos ACMCTSS og Multics1991Robin Milner Robin Milner - Turing Award hos ACMLCF, ML, CCS1992100x100pk|Butler W. LampsonButler W. Lampson Butler W. Lampson - Turing Award hos ACMDistribuerte, personlige databehandlingsmiljø1993133x133pk|Juris HartmanisJuris HartmanisJuris Hartmanis - Turing Award hos ACMKompleksitetsteori100x100pk|Richard E. StearnsRichard E. StearnsRichard E. Stearns - Turing Award hos ACM1994122x122pk|Edward FeigenbaumEdward FeigenbaumEdward Feigenbaum - Turing Award hos ACMKunstig intelligens – store systemer100x100pk|Raj ReddyRaj ReddyRaj Reddy - Turing Award hos ACM1995100x100pk|Manuel BlumManuel BlumManuel Blum - Turing Award hos ACMKompleksitetsteori, anvendelse i kryptografi1996110x110pk|Amir PnueliAmir Pnueli Amir Pnueli - Turing Award hos ACMLogikk og systemer for verifisering1997123x123pk|Douglas EngelbartDouglas EngelbartDouglas Engelbart - Turing Award hos ACMInteraktiv databehandling1998143x143pk|James GrayJames GrayJames Gray - Turing Award hos ACMDatabase og transaksjonsbehandling1999150x150pk|Frederick P. BrooksFrederick P. Brooks, Jr.Frederick P. Brooks, Jr. - Turing Award hos ACMDataarkitektur, operativsystem og programvareutvikling2000100x100pk|Andrew Chi-Chih YaoAndrew Chi-Chih YaoAndrew Chi-Chih Yao - Turing Award hos ACMTeori for databehandling inkludert kryptografi og datakommunikasjon2001Ole-Johan DahlOle-Johan Dahl - Turing Award hos ACMObjektorientert programmering140x140pk|Kristen NygaardKristen NygaardKristen Nygaard - Turing Award hos ACM2002105x105pk|Ron Rivest Ronald L. RivestRonald L. Rivest - Turing Award hos ACMAsymmetrisk kryptering, særlig RSA i praksis147x147pk|Adi ShamirAdi ShamirAdi Shamir - Turing Award hos ACM157x157pk|Leonard Adleman Leonard M. AdlemanLeonard M. Adleman - Turing Award hos ACM2003100x100pk|Alan KayAlan KayAlan Kay - Turing Award hos ACMObjektorienterte programmeringsspråk, utvikling av Smalltalk2004100x100pk|Vinton G. CerfVinton G. CerfVinton G. Cerf - Turing Award hos ACMTCP/IP-protokollene127x127pk|Robert E. KahnRobert E. KahnRobert E. Kahn - Turing Award hos ACM2005133x133pk|Peter NaurPeter NaurPeter Naur - Turing Award hos ACMFor grunnleggende bidrag til utviklingen av programmeringsspråk og definisjonen av Algol 60, kompilatordesign (for implementasjonen av GIER Algol) og bruk av strukturert programmering2006100x100pk|Frances E. AllenFrances E. AllenFrances E. Allen - Turing Award hos ACMFor optimalisering av kompilering2007148x148pk|Edmund M. ClarkeEdmund M. ClarkeEdmund M. Clarke - Turing Award hos ACMFor [sine roller] i utviklingen av «Model checking» til en høyst effektiv verifikasjonsteknologi, tatt i bruk i vid utstrekning av maskin- og programvareindustrienE. Allen EmersonE. Allen Emerson - Turing Award hos ACM100x100pk|Joseph SifakisJoseph SifakisJoseph Sifakis - Turing Award hos ACM2008150x150pk|Barbara LiskovBarbara LiskovBarbara Liskov - Turing Award hos ACMFor praktiske og teoretiske bidrag til grunnlaget for programmeringsspråk og systemdesign, særlig knyttet til abstrahering av data, feiltolerering og distribuert databehandling.2009100x100pk|Charles P. ThackerCharles P. ThackerCharles P. Thacker - Turing Award hos ACMFor pionerarbeid i forbindelse med utviklingen av Alto, den første moderne personlige datamaskinen, og dessuten for hans bidrag til Ethernet og Notatblokk-PC.2010100x100pk|Leslie ValiantLeslie ValiantLeslie Valiant - Turing Award hos ACMBetydelige bidrag til kompleksitetsteorien, spesielt i forbindelse med maskinlæring (med innføringen av PAC-modellen) og distribuert databehandling.2011Judea PearlJudea Pearl - Turing Award hos ACMGrunnleggende bidrag til kunstig intelligens ved å utvikle en matematisk analyse for probabilistisk og kausalistisk inferens.2012100x100pk|Silvio MicaliSilvio MicaliSilvio Micali - Turing Award hos ACMOpprettelse av et kompleksitsteoretisk grunnlag for kryptografi og dermed bane vei for nye metoder for effektiv verifisering av matematiske bevis innen kompleksitetsteorien.100x100pk|Shafi GoldwasserShafi GoldwasserShafi Goldwasser - Turing Award hos ACM2013127x127pk|Leslie LamportLeslie LamportLeslie Lamport - Turing Award hos ACMFor fundamentale bidrag til teori og praksis ved distribuerte og samtidige systemer.2014100x100pk|Michael StonebrakerMichael StonebrakerMichael Stonebraker - Turing Award hos ACMFor fundamentale bidrag til moderne databasesystemer.2015117x117pk|Martin HellmanMartin HellmanMartin Hellman - Turing Award hos ACMFor utvikling av offentlig nøkkelkryptering og digital signaturPressemelding , Association for Computing Machinery.110x110pk|Whitfield DiffieWhitfield DiffieWhitfield Diffie - Turing Award hos ACM2016109x109pk|Tim Berners-LeeTim Berners-Leehttp://amturing.acm.org/award_winners/berners-lee_8087960.cfm Leslie Lamport - Turing Award hos ACM]For oppfinnelsen av World Wide Web, den første nettleseren og de fundamentale protokoller og algoritmer som gjør at webben skalerer.2017100x100pkJohn L. HennessyFor eksemplarisk arbeid innen en systematisk, kvantitativ tilnærming til design og evaluering av dataarkitekturer med varig innvirkning på mikroprosessorindustrien.100x100pkDavid A. Patterson2018122x122pkYoshua BengioFor konseptuelle og tekniske gjennombrudd som har gjort dype nevrale nettverk en kritisk komponent i databehandling.Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award134x134pkGeoffrey Hinton115x115pkYann LeCun2019127x127pkEdwin CatmullFor banebrytende innsats innenfor datagrafikk, spesielt 3D-animasjon.151x151pkPat Hanrahan2020Alfred AhoFor 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.Jeffrey Ullman2021125x125pkJack DongarraFor banebrytende bidrag til numeriske algoritmer og programvarebiblioteker som gjorde det mulig for høyytelses beregningsprogramvare å holde tritt med eksponentielle maskinvareforbedringer i over fire tiår 2022137x137pkRobert MetcalfeFor oppfinnelsen, standardiseringen og kommersialiseringen av Ethernet  

 Referanser 

 Eksterne lenker 



Kategori:Forskningspriser

Kategori:Utmerkelser etablert i 1966
Kategori:Informatikk