Turing Award -Turing Award
ACM Turing Award | |
---|---|
Tilldelas för | Enastående insatser inom datavetenskap |
Land | Förenta staterna |
Presenterat av | Association for Computing Machinery (ACM) |
Belöning(er) | 1 000 000 USD |
Första priset | 1966 |
Senast tilldelad | 2022 |
Hemsida | amturing |
ACM AM Turing Award är ett årligt pris som ges av Association for Computing Machinery (ACM) för bidrag av varaktig och stor teknisk betydelse för datavetenskap . Det är allmänt erkänt som den högsta utmärkelsen inom datavetenskap och är allmänt känd som eller ofta kallad "Nobelpriset för datoranvändning" .
Priset är uppkallat efter Alan Turing , som var en brittisk matematiker och läsare i matematik vid University of Manchester . Turing anses ofta vara den viktigaste grundaren av teoretisk datavetenskap och artificiell intelligens . Från 2007 till 2013 åtföljdes priset av ett extra pris på 250 000 USD, med ekonomiskt stöd från Intel och Google. Sedan 2014 har priset åtföljts av ett pris på 1 miljon USD, med ekonomiskt stöd från Google.
Den första mottagaren, 1966, var Alan Perlis , från Carnegie Mellon University . Den första kvinnliga mottagaren var Frances E. Allen från IBM 2006. Den senaste mottagaren, 2022, är Robert Metcalfe för att ha uppfunnit Ethernet .
Mottagare
År | Mottagare | Foto | Logisk grund | Anslutna institut(er) |
---|---|---|---|---|
1966 | Alan Perlis | För hans inflytande inom området avancerad datorprogrammeringsteknik och kompilatorkonstruktion . | Carnegie Mellon University | |
1967 | Maurice Wilkes | Wilkes är mest känd som byggare och designer av EDSAC , den första datorn med ett internt lagrat program . Byggt 1949 använde EDSAC ett minne för kvicksilverfördröjning . Han är också känd som författare, tillsammans med Wheeler och Gill, till en volym om "Förberedelse av program för elektroniska digitala datorer" 1951, där programbibliotek effektivt introducerades. | Universitetet i Cambridge | |
1968 | Richard Hamming | För hans arbete med numeriska metoder , automatiska kodningssystem och felupptäckande och felkorrigerande koder. | Bell Labs | |
1969 | Marvin Minsky | För hans centrala roll i att skapa, forma, främja och främja området för artificiell intelligens . | Massachusetts Institute of Technology | |
1970 | James H. Wilkinson | För sin forskning inom numerisk analys för att underlätta användningen av den digitala höghastighetsdatorn, efter att ha fått speciellt erkännande för sitt arbete med beräkningar i linjär algebra och "bakåt" felanalys. | National Physical Laboratory | |
1971 | John McCarthy | McCarthys föreläsning "The Present State of Research on Artificial Intelligence" är ett ämne som täcker det område där han har uppnått betydande erkännande för sitt arbete. | Stanford University | |
1972 | Edsger W. Dijkstra | Edsger Dijkstra var en viktig bidragsgivare i slutet av 1950-talet till utvecklingen av ALGOL , ett programmeringsspråk på hög nivå som har blivit en modell för klarhet och matematisk rigor. Han är en av de främsta förespråkarna för vetenskapen och konsten av programmeringsspråk i allmänhet, och har i hög grad bidragit till vår förståelse av deras struktur, representation och implementering. Hans femton år av publikationer sträcker sig från teoretiska artiklar om grafteori till grundläggande manualer, utläggningstexter och filosofiska överväganden inom området programmeringsspråk. |
Centrum Wiskunde & Informatica , Eindhoven University of Technology , University of Texas i Austin |
|
1973 | Charles Bachman | För hans enastående bidrag till databasteknik . | General Electric Research Laboratory (nu under Groupe Bull , ett Atos -företag) | |
1974 | Donald Knuth | För hans stora bidrag till analysen av algoritmer och designen av programmeringsspråk, och i synnerhet för hans bidrag till " The Art of Computer Programming " genom hans välkända böcker i en kontinuerlig serie med denna titel. |
California Institute of Technology , Center for Communications Research, Center for Communications and Computing, Institute for Defense Analyses , Stanford University |
|
1975 | Allen Newell | I gemensamma vetenskapliga ansträngningar som sträcker sig över tjugo år, till en början i samarbete med JC Shaw på RAND Corporation , och därefter med ett flertal fakultet- och studentkollegor vid Carnegie Mellon University , har de gjort grundläggande bidrag till artificiell intelligens, psykologi för mänsklig kognition och list bearbetning. |
RAND Corporation , Carnegie Mellon University |
|
Herbert A. Simon | ||||
1976 | Michael O. Rabin | För deras gemensamma papper "Finite Automata and Their Decision Problem", som introducerade idén om icke-deterministiska maskiner , en kontinuerlig inspirationskälla för efterföljande arbete inom detta område. | Princeton Universitet | |
Dana Scott | University of Chicago | |||
1977 | John Backus | För djupgående, inflytelserika och varaktiga bidrag till utformningen av praktiska programmeringssystem på hög nivå, särskilt genom hans arbete med FORTRAN , och för framträdande publicering av formella procedurer för specifikation av programmeringsspråk . | IBM | |
1978 | Robert W. Floyd | För att ha ett tydligt inflytande på metoder för att skapa effektiv och tillförlitlig programvara, och för att hjälpa till att grunda följande viktiga delområden inom datavetenskap : teorin om analys , programmeringsspråkens semantik, automatisk programverifiering , automatisk programsyntes och analys av algoritmer . |
Carnegie Mellon University , Stanford University |
|
1979 | Kenneth E. Iverson | För hans banbrytande insatser inom programmeringsspråk och matematisk notation som resulterade i vad datorområdet nu känner till som APL , för hans bidrag till implementeringen av interaktiva system, till pedagogisk användning av APL och till programmeringsspråksteori och praktik. | IBM | |
1980 | Tony Hoare | För hans grundläggande bidrag till definitionen och designen av programmeringsspråk. |
Queen's University Belfast , University of Oxford |
|
1981 | Edgar F. Codd | För hans grundläggande och fortsatta bidrag till teorin och praktiken av databashanteringssystem, esp. relationsdatabaser . | IBM | |
1982 | Stephen Cook | För hans främjande av vår förståelse av komplexiteten i beräkningar på ett betydande och djupgående sätt. | University of Toronto | |
1983 | Ken Thompson | För deras utveckling av generisk operativsystemteori och specifikt för implementeringen av UNIX -operativsystemet. | Bell Labs | |
Dennis Ritchie | ||||
1984 | Niklaus Wirth | För att utveckla en sekvens av innovativa datorspråk, EULER , ALGOL-W , Pascal , MODULA och Oberon . |
Stanford University , University of Zurich , ETH Zürich |
|
1985 | Richard M. Karp | För hans fortsatta bidrag till teorin om algoritmer, inklusive utvecklingen av effektiva algoritmer för nätverksflöden och andra kombinatoriska optimeringsproblem, identifieringen av polynom-tidsberäkningsbarhet med den intuitiva uppfattningen om algoritmisk effektivitet, och, framför allt, bidrag till teorin om NP -fullständighet . | University of California, Berkeley | |
1986 | John Hopcroft | För grundläggande prestationer i design och analys av algoritmer och datastrukturer. | Cornell University | |
Robert Tarjan |
Stanford University , Cornell University , University of California, Berkeley , Princeton University |
|||
1987 | John Cocke | För betydande bidrag i design och teori för kompilatorer, arkitekturen för stora system och utvecklingen av datorer med reducerad instruktionsuppsättning (RISC). | IBM | |
1988 | Ivan Sutherland | För hans banbrytande och visionära bidrag till datorgrafik , som börjar med Sketchpad och fortsätter sedan. |
Stanford University , Harvard University , University of Utah , California Institute of Technology |
|
1989 | William Kahan | För hans grundläggande bidrag till numerisk analys . En av de främsta experterna på flyttalsberäkningar . Kahan har ägnat sig åt att "göra världen säker för numeriska beräkningar." | University of California, Berkeley | |
1990 | Fernando J. Corbató | För sitt banbrytande arbete med att organisera koncepten och leda utvecklingen av de allmänna, storskaliga, tidsdelnings- och resursdelande datorsystemen, CTSS och Multics . | Massachusetts Institute of Technology | |
1991 | Robin Milner | För tre distinkta och kompletta prestationer: 1) LCF , mekaniseringen av Scotts logik för beräkningsbara funktioner, förmodligen det första teoretiskt baserade men praktiska verktyget för maskinassisterad beviskonstruktion ; 2) ML , det första språket som inkluderar polymorf typinferens tillsammans med en typsäker mekanism för hantering av undantag ; 3) CCS , en allmän teori om samtidighet . Dessutom formulerade och avancerade han starkt full abstraktion , studiet av förhållandet mellan operationell och denotationell semantik . |
Stanford University , University of Edinburgh |
|
1992 | Butler Lampson | För bidrag till utvecklingen av distribuerade, personliga datormiljöer och tekniken för deras implementering: arbetsstationer , nätverk , operativsystem , programmeringssystem, bildskärmar , säkerhet och dokumentpublicering . |
PARC , DEC |
|
1993 | Juris Hartmanis | Som ett erkännande av deras banbrytande papper som etablerade grunden för området beräkningskomplexitetsteori . | General Electric Research Laboratory (nu under Groupe Bull , ett Atos -företag) | |
Richard E. Stearns | ||||
1994 | Edward Feigenbaum | För banbrytande design och konstruktion av storskaliga system för artificiell intelligens, som visar den praktiska betydelsen och potentiella kommersiella effekten av artificiell intelligens-teknologi. | Stanford University | |
Raj Reddy |
Stanford University , Carnegie Mellon University |
|||
1995 | Manuel Blum | Som ett erkännande av hans bidrag till grunderna för beräkningskomplexitetsteorin och dess tillämpning på kryptografi och programkontroll . | University of California, Berkeley | |
1996 | Amir Pnueli | För framstående arbete med att introducera tidslogik i datavetenskap och för enastående bidrag till program- och systemverifiering . |
Stanford University , Tel Aviv University , Weizmann Institute of Science , Courant Institute of Mathematical Sciences |
|
1997 | Douglas Engelbart | För en inspirerande vision om framtiden för interaktiv datoranvändning och uppfinningen av nyckelteknologier för att hjälpa till att förverkliga denna vision. |
SRI International , Tymshare , McDonnell Douglas , Bootstrap Institute/Alliance, The Doug Engelbart Institute |
|
1998 | Jim Gray | För framstående bidrag till databas- och transaktionsbearbetningsforskning och tekniskt ledarskap i systemimplementering. |
IBM , Microsoft |
|
1999 | Fred Brooks | För banbrytande bidrag till datorarkitektur , operativsystem och mjukvaruteknik. |
IBM , University of North Carolina vid Chapel Hill |
|
2000 | Andrew Yao | Som ett erkännande av hans grundläggande bidrag till teorin om beräkning , inklusive den komplexitetsbaserade teorin om pseudoslumptalsgenerering , kryptografi och kommunikationskomplexitet . |
Stanford University , University of California, Berkeley , Princeton University |
|
2001 | Ole-Johan Dahl | För idéer som är grundläggande för framväxten av objektorienterad programmering , genom deras design av programmeringsspråken Simula I och Simula 67 . |
Norwegian Computing Center , Universitetet i Oslo |
|
Kristen Nygaard | ||||
2002 | Ron Rivest | För deras geniala bidrag för att göra kryptografi med publik nyckel användbar i praktiken. | Massachusetts Institute of Technology | |
Adi Shamir | ||||
Leonard Adleman | University of Southern California | |||
2003 | Alan Kay | För att vara banbrytande för många av idéerna bakom nutida objektorienterade programmeringsspråk , leda teamet som utvecklade Smalltalk och för grundläggande bidrag till persondatorer. |
University of Utah , PARC , Stanford University , Atari , Apple ATG , Walt Disney Imagineering , Viewpoints Research Institute , HP Labs |
|
2004 | Vint Cerf | För banbrytande arbete med internetarbete , inklusive design och implementering av Internets grundläggande kommunikationsprotokoll, TCP/IP , och för inspirerat ledarskap inom nätverk. |
University of California, Los Angeles , Stanford University , DARPA , MCI (nu under Verizon ), CNRI , Google |
|
Bob Kahn |
MIT , Bolt Beranek och Newman , DARPA , CNRI |
|||
2005 | Peter Naur | För grundläggande bidrag till programmeringsspråksdesign och definitionen av ALGOL 60 , till kompilatordesign och till konsten och praktiken av datorprogrammering. |
Regnecentralen (nu under Fujitsu ), Köpenhamns universitet |
|
2006 | Frances Allen | För banbrytande bidrag till teorin och praktiken för att optimera kompilatortekniker som lade grunden för moderna optimeringskompilatorer och automatisk parallellexekvering. | IBM | |
2007 | Edmund M. Clarke | För deras roller i att utveckla modellcheckning till en mycket effektiv verifieringsteknik, allmänt antagen inom hårdvaru- och mjukvaruindustrin. |
Harvard University , Carnegie Mellon University |
|
E. Allen Emerson |
Harvard University , University of Texas i Austin |
|||
Joseph Sifakis | Franska nationella centret för vetenskaplig forskning | |||
2008 | Barbara Liskov | För bidrag till praktiska och teoretiska grunder för programmeringsspråk och systemdesign, särskilt relaterat till dataabstraktion, feltolerans och distribuerad datoranvändning. | Massachusetts Institute of Technology | |
2009 | Charles P. Thacker | För hans banbrytande design och förverkligande av Xerox Alto , den första moderna persondatorn, och dessutom för hans bidrag till Ethernet och Tablet PC. |
PARC , DEC , Microsoft Research |
|
2010 | Leslie Valiant | För transformativa bidrag till teorin om beräkning , inklusive teorin om förmodligen approximativt korrekt ( PAC ) inlärning, komplexiteten i uppräkning och algebraisk beräkning, och teorin om parallell och distribuerad beräkning. | Harvard Universitet | |
2011 | Judea Pearl | För grundläggande bidrag till artificiell intelligens genom utveckling av en kalkyl för probabilistiska och kausala resonemang. |
University of California, Los Angeles New Jersey Institute of Technology |
|
2012 | Silvio Micali | För transformativt arbete som lade de komplexitetsteoretiska grunderna för vetenskapen om kryptografi och i processen banat väg för nya metoder för effektiv verifiering av matematiska bevis inom komplexitetsteorin. | Massachusetts Institute of Technology | |
Shafi Goldwasser |
Massachusetts Institute of Technology , Weizmann Institute of Science |
|||
2013 | Leslie Lamport | För grundläggande bidrag till teorin och praktiken av distribuerade och samtidiga system, särskilt uppfinningen av begrepp som kausalitet och logiska klockor, säkerhet och livlighet, replikerade tillståndsmaskiner och sekventiell konsistens. |
Massachusetts Computer Associates (nu under Essig PLM), SRI International , DEC , Compaq (nu under HP ), Microsoft Research |
|
2014 | Michael Stonebraker | För grundläggande bidrag till de koncept och praxis som ligger till grund för moderna databassystem. |
University of California, Berkeley , Massachusetts Institute of Technology |
|
2015 | Whitfield Diffie | För grundläggande bidrag till modern kryptografi. Diffie och Hellmans banbrytande papper från 1976, "New Directions in Cryptography", introducerade idéerna om kryptografi med publik nyckel och digitala signaturer, som är grunden för de flesta regelbundet använda säkerhetsprotokollen på Internet idag. | Stanford University | |
Martin Hellman | ||||
2016 | Tim Berners-Lee | För att uppfinna World Wide Web , den första webbläsaren , och de grundläggande protokollen och algoritmerna som gör att webben kan skalas. |
CERN , Massachusetts Institute of Technology , World Wide Web Consortium |
|
2017 | John L. Hennessy | För banbrytande ett systematiskt, kvantitativt tillvägagångssätt för design och utvärdering av datorarkitekturer med bestående inverkan på mikroprocessorindustrin. | Stanford University | |
David Patterson | University of California, Berkeley | |||
2018 | Yoshua Bengio | För konceptuella och tekniska genombrott som har gjort djupa neurala nätverk till en kritisk komponent i datoranvändning. |
Université de Montréal , McGill University , Mila |
|
Geoffrey Hinton |
University of Toronto , University of California, San Diego , Carnegie Mellon University , University College London , University of Edinburgh , Google AI |
|||
Yann LeCun |
University of Toronto , Bell Labs , Courant Institute of Mathematical Sciences , New York University , Meta AI |
|||
2019 | Edwin Catmull | För grundläggande bidrag till 3D-datorgrafik och den revolutionerande effekten av dessa tekniker på datorgenererade bilder (CGI) i filmskapande och andra applikationer. |
University of Utah , Pixar , Walt Disney Animation Studios |
|
Pat Hanrahan |
Pixar , Princeton University , Stanford University |
|||
2020 | Alfred Aho | För grundläggande algoritmer och teori bakom implementering av programmeringsspråk och för att syntetisera dessa och andras resultat i deras mycket inflytelserika böcker, som utbildade generationer av datavetare. |
Bell Labs , Columbia University |
|
Jeffrey Ullman |
Bell Labs , Princeton University , Stanford University |
|||
2021 | Jack Dongarra | För banbrytande bidrag till numeriska algoritmer och bibliotek som gjorde det möjligt för högpresterande beräkningsprogramvara att hålla jämna steg med exponentiella hårdvaruförbättringar i över fyra decennier. |
Argonne National Laboratory , Oak Ridge National Laboratory , University of Manchester , Texas A&M University Institute for Advanced Study , University of Tennessee , Rice University |
|
2022 | Robert Metcalfe | För uppfinningen, standardisering och kommersialisering av Ethernet . | Massachusetts Institute of Technology , Harvard University , Xerox PARC , University of Texas i Austin |