| Turing-prisen | ||
|---|---|---|
|
Statue av Alan Turing av Stephen Kettle i Bletchley Park | ||
| Opprinnelig navn | ACM Turing-prisen | |
| Gitt av | ج for Computing Machinery (ACM) | |
| plassering |
New York USA | |
| Historie | ||
| Inspirert av | Alan Turing | |
| Første levering | 1966 | |
| [ amturing.acm.org offisielle nettsted] | ||
Turing -prisen er en informatikkpris som deles ut årlig av Association for Computing Machinery (ACM) til de som har gitt betydelige bidrag til informatikkfeltet.
Prisen hedrer Alan Turing og har siden 2014 vært sponset av Google , som belønner vinneren med en premie på USD 1 000 000 . [ 1 ]
| År | Land | Navn | Foto | Årsaken |
|---|---|---|---|---|
| 1966 | Alan Pearls | For hans innflytelse innen områdene avanserte programmeringsteknikker og kompilatorkonstruksjon . | ||
| 1967 | maurice wilkes | For design og konstruksjon av EDSAC , den første internminnet lagrede programdatamaskinen . | ||
| 1968 | Richard Hamming | For sitt arbeid med numeriske metoder, automatiske kodesystemer og for utvikling av feildeteksjons- og korrigeringskoder. | ||
| 1969 | Marvin Minski | For hans bidrag innen kunstig intelligens . | ||
| 1970 | James H Wilkinson | For hans forskning innen numerisk analyse for å lette bruken av høyhastighets digitale datamaskiner. | ||
| 1971 | John McCarthy | For hans bidrag til feltet kunstig intelligens . | ||
| 1972 | Edsger Dijkstra | For hans bidrag til "vitenskap og kunst" av programmeringsspråk . | ||
| 1973 | Charles Bachmann | For hans bidrag til databaseteknologi . | ||
| 1974 | donald knuth | For hans bidrag til analyse av algoritmer og design av programmeringsspråk . | ||
| 1975 | Allen Newell | For hans bidrag innen kunstig intelligens , psykologien til menneskelig persepsjon og listebehandling. | ||
Herbert Alexander Simon |
||||
| 1976 | |
Michael Oser Rabin |
For hans arbeid med endelige automater , introduserte ideen om ikke-deterministiske maskiner. | |
| dana scott | ||||
| 1977 | John Backus | For hans bidrag til design av programmeringssystemer på høyt nivå og for publisering av formelle prosedyrer for spesifikasjon av programmeringsspråk. | ||
| 1978 | Robert W. Floyd | For hans innflytelse på metodologier for å lage effektiv og pålitelig programvare, og for hans bidrag innen følgende felt: parsing teori, semantikk i programmeringsspråk, automatisk programverifisering, automatisk programsyntese og algoritmeanalyse. | ||
| 1979 | Kenneth E Iverson | For hans banebrytende innsats innen programmeringsspråk og matematisk notasjon, noe som resulterte i APL . | ||
| 1980 | C. Antony R. Hoare | For hans viktige bidrag til definisjon og utforming av programmeringsspråk. | ||
| 1981 | Edgar F Codd | For hans fortsatte og viktige bidrag til teori og praksis for databasestyringssystemer, utforming av den relasjonelle tilnærmingen til databasestyring. | ||
| 1982 | Stephen A Cook | For hans bidrag innen beregningskompleksitet . Han utviklet grunnlaget for NP-fullstendighetsteori . | ||
| 1983 | Kenneth L. Thompson | For hans bidrag til utviklingen av operativsystemer generelt og etableringen av Unix spesielt. | ||
| Dennis M Ritchie | ||||
| 1984 | Nicholas Wirth | For utvikling av en serie innovative programmeringsspråk som EULER , ALGOL-W , MODULA og PASCAL . | ||
| 1985 | Richard M. Karp | For hans bidrag til teorien om algoritmer, identifisering av beregnbare problemer i polynomisk tid, og til NP-fullstendighetsteori. | ||
| 1986 | John Hopcroft | For hans prestasjoner innen analyse og design av algoritmer og datastrukturer . | ||
| Robert Tarjan | ||||
| 1987 | John Cocke | For hans bidrag til kompilatorteori, stor systemarkitektur og utviklingen av RISC reduserte instruksjonssett . | ||
| 1988 | Ivan Sutherland | For hans bidrag til datagrafikk . | ||
| 1989 | William (Velvel) Kahan | For hans bidrag til numerisk analyse, spesielt innen flytende komputering . | ||
| 1990 | Fernando J. Corbato | For sitt arbeid med å lede utviklingen av CTSS og Multics . | ||
| 1991 | Robin Milner | For tre prestasjoner:
| ||
| 1992 | Butler-Lampson | For hans bidrag til utviklingen av distribuerte miljøer og teknologien for deres implementering: arbeidsstasjoner, nettverk, operativsystemer, programmeringssystemer, skjermer, dokumentpublisering og sikkerhet. | ||
| 1993 | Juris Hartmanis | For å etablere grunnlaget for feltet beregningskompleksitetsteori. | ||
| Richard Stearns | ||||
| 1994 | Edward Feigenbaum | For design og konstruksjon av store kunstig intelligenssystemer. | ||
| Raj Reddy | ||||
| nitten nitti fem | Manuel Blum | Som en anerkjennelse for hans bidrag til grunnlaget for beregningskompleksitetsteori og dens anvendelighet på kryptografi. | ||
| nitten nittiseks | Amir Pnueli | For hans arbeid med å introdusere tidslogikk i informatikk og for hans viktige bidrag til verifisering av programmer og systemer. | ||
| 1997 | Douglas Engelbart | For sitt arbeid med interaktiv databehandling. | ||
| 1998 | Jim Gray | For hans bidrag til databaser, transaksjonsbehandlingsforskning og systemimplementering. | ||
| 1999 | Frederick Brooks | For hans bidrag til dataarkitektur , operativsystemer og programvareteknikk. | ||
| 2000 | Andrew Chi-Chih Yao | Som en anerkjennelse for hans viktige bidrag til teorien om databehandling, kryptografi. | ||
| 2001 | Ole-Johan Dahl | For hans arbeid med programmeringsspråkene Simula I og Simula 67 , som muliggjorde fremveksten av objektorientert programmering . | ||
| Kristen Nygarard | ||||
| 2002 | ronald rivest | Viktige bidrag til kryptografi, spesielt RSA -algoritmen . | ||
| Adi Shamir | ||||
| Leonard Adleman | ||||
| 2003 | Alan Kay | Pioner innen objektorientert programmering og far til Smalltalk -språket . | ||
| 2004 | Vinton Cerf | Gjennom TCP/IP-protokollen . | ||
| Robert Khan | ||||
| 2005 | peter naur | For hans grunnleggende bidrag i utviklingen og definisjonen av ALGOL 60 , hans utforming av kompilatoren og kunsten å programmere. | ||
| 2006 | Francis Allen | For hans bidrag som fundamentalt forbedret ytelsen til dataprogrammer og akselererte bruken av høyytelses datasystemer. | ||
| 2007 | Edmund Clarke | For hans banebrytende arbeid med en automatisert metode (kalt " model checking " på engelsk) for å finne designfeil i programvare og maskinvare. | ||
| E. Allen Emerson | ||||
| Joseph Sifakis | ||||
| 2008 | Barbara Liskow | For hans bidrag til det teoretiske og praktiske grunnlaget i utformingen av programmeringsspråk og systemer, spesielt relatert til dataabstraksjon, feiltoleranse og distribuert databehandling. | ||
| 2009 | charles thacker | For hans bidrag til utviklingen av Alto, den første personlige datamaskinen, samt Ethernet og Tablet PC. | ||
| 2010 | Leslie Valiant | For hans transformative bidrag til teorien om beregning, inkludert teorien om sannsynlig og tilnærmet korrekt læring, kompleksiteten til oppregning og algebraisk beregning, og teorier om parallell og distribuert databehandling. | ||
| 2011 | Judea perle | For hans grunnleggende bidrag til kunstig intelligens gjennom utviklingen av en sannsynlighetsregning og årsaksresonnement. | ||
| 2012 | Silvio Micali | For hans arbeid som la det teoretiske grunnlaget for vitenskapen om kryptografi og nye metoder for effektiv kontroll av matematiske bevis i beregningskompleksitetsteori . | ||
| Shafi Goldwasser | ||||
| 2013 | Leslie Lamport | For grunnleggende bidrag til teorien og praksisen til distribuerte og samtidige systemer, spesielt oppfinnelsen av konsepter som kausalitet og logiske klokker, sikkerhet og livlighet, replikerte tilstandsmaskiner og sekvensiell konsistens. [ 2 ] | ||
| 2014 | Michael Stonebraker | For grunnleggende bidrag til konseptene og praksisene som ligger til grunn for moderne databasesystemer. [ 3 ] | ||
| 2015 | Whitfield Diffie | For grunnleggende bidrag til moderne kryptografi. [ 4 ] | ||
| Martin Hellman | ||||
| 2016 | Tim Berners-Lee | For å lage World Wide Web , den første nettleseren, og protokollene og algoritmene som er nødvendige for driften. [ 5 ] | ||
| 2017 | John L. Hennessy | For hans banebrytende arbeid med en systematisk og kvantitativ tilnærming til design og evaluering av dataarkitekturer med betydelig innvirkning på mikroprosessorindustrien. [ 6 ] | ||
| David A Patterson | ||||
| 2018 | Yann Le Cun | For hans konseptuelle og tekniske fremskritt som har gjort dype nevrale nettverk til en kritisk komponent i databehandling. [ 7 ] | ||
| Geoffrey Hinton | ||||
| Yoshua Bengio | ||||
| 2019 | Edwin Catmull | For grunnleggende bidrag til 3-D datagrafikk, og den revolusjonerende virkningen av disse teknikkene på datagenerert bilder (CGI) i filmskaping og andre applikasjoner. | ||
| Pat Hanrahan | ||||
| 2020 | alfred aho | For grunnleggende algoritmer og teorier som ligger til grunn for implementering av programmeringsspråk og for å syntetisere disse og andres resultater i hans svært innflytelsesrike bøker, som utdannet generasjoner av informatikere. | ||
| Jeffrey Ulman | ||||
| 2021 | Jack Dongarra | For hans bidrag til numeriske algoritmer og biblioteker som gjorde det mulig for høyytelses databehandlingsprogramvare å holde tritt med eksponentielle forbedringer i maskinvare i mer enn fire tiår. |
Dette er fordelingen av Turing Awards fra 1966 til 2022 . Nasjonaliteten til prisvinnerne er basert på deres fødested, ikke hvor de utviklet arbeidet sitt som forskere.