Turingpriset

ACM A.M. Turing Award är ett årligt pris som delas ut av Association for Computing Machinery (ACM) till "en person som valts ut för sina bidrag av teknisk natur till datorsamhället". Priset är uppkallat efter Alan Turing och delas ut varje år i New York. Det är den högsta utmärkelse som kan ges till en datavetare. och "Nobelpriset i datavetenskap".

Turingpriset

Historia

Det första Turingpriset gavs 1966 till Alan Perlis, en lärare vid Carnegie Mellon University. Priset har delats ut varje år sedan dess.

Den första mottagaren 1966 var Alan Perlis från Carnegie Mellon University. Frances E. Allen från IBM var 2006 den första kvinnliga mottagaren i prisets fyrtioåriga historia.

Mottagare

År	Mottagare	Foto	Motivering
1966	Alan Perlis	80px	För hans inflytande på området avancerad datorprogrammeringsteknik och kompilatorkonstruktion.
1967	Maurice Wilkes		Wilkes är mest känd som byggare och konstruktör av EDSAC, den första datorn med ett internt lagrat program. EDSAC byggdes 1949 och använde ett kvicksilverfördröjningsminne. Han är också känd som författare, tillsammans med Wheeler och Gill, till en volym om "Preparation of Programs for Electronic Digital Computers" 1951, där programbibliotek infördes på ett effektivt sätt.
1968	Richard Hamming	80px	För hans arbete med numeriska metoder, automatiska kodningssystem och koder som upptäcker och korrigerar fel.
1969	Marvin Minsky		För hans centrala roll i skapandet, utformningen, främjandet och utvecklingen av området artificiell intelligens.
1970	James H. Wilkinson	80px	För sin forskning inom numerisk analys för att underlätta användningen av den digitala höghastighetsdatorn, och för sitt arbete med beräkningar inom linjär algebra och "bakåtriktad" felanalys.
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 fått stort erkännande för sitt arbete.
1972	Edsger W. Dijkstra		Edsger Dijkstra bidrog i slutet av 1950-talet till utvecklingen av ALGOL, ett högnivåprogrammeringsspråk som har blivit en förebild i fråga om tydlighet och matematisk stringens. Han är en av de främsta förespråkarna för vetenskapen och konsten med 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åriga publikationer sträcker sig från teoretiska artiklar om grafteori till grundläggande handböcker, förklarande texter och filosofiska betraktelser inom området programmeringsspråk.
1973	Charles Bachman		För hans enastående bidrag till databastekniken.
1974	Donald Knuth		För sina viktiga bidrag till analysen av algoritmer och utformningen av programmeringsspråk, och särskilt för sina bidrag till "The Art of Computer Programming" genom sina välkända böcker i en kontinuerlig serie med denna titel.
1975	Allen Newell	80px	I ett gemensamt vetenskapligt arbete som sträcker sig över tjugo år, först i samarbete med J. C. Shaw vid RAND Corporation och därefter med många lärare och studenter vid Carnegie Mellon University, har de gjort grundläggande bidrag till artificiell intelligens, mänsklig kognitionspsykologi och behandling av listor.
1975	Herbert A. Simon
1976	Michael O. Rabin		För deras gemensamma artikel "Finite Automata and Their Decision Problem", som introducerade idén om icke-deterministiska maskiner, vilket har visat sig vara ett enormt värdefullt koncept. Deras (Scott & Rabin) klassiska artikel har varit en ständig inspirationskälla för senare arbete på detta område.
1976	Dana Scott
1977	John Backus		För djupgående, inflytelserika och bestående bidrag till utformningen av praktiska högnivåprogrammeringssystem, särskilt genom hans arbete med FORTRAN, och för banbrytande publicering av formella förfaranden för specifikation av programmeringsspråk.
1978	Robert W. Floyd	80px	För att ha haft ett tydligt inflytande på metoder för att skapa effektiv och tillförlitlig programvara och för att ha bidragit till att grunda följande viktiga delområden inom datavetenskapen: teorin om parsing, semantik av programmeringsspråk, automatisk programverifiering, automatisk programsyntes och analys av algoritmer.
1979	Kenneth E. Iverson	80px	För hans banbrytande arbete med programmeringsspråk och matematisk notation som resulterade i det som datafältet nu känner till som APL, för hans bidrag till genomförandet av interaktiva system, till pedagogisk användning av APL och till teorin och praktiken för programmeringsspråk.
1980	Tony Hoare		För hans grundläggande bidrag till definitionen och utformningen av programmeringsspråk.
1981	Edgar F. Codd	80px	För hans grundläggande och fortsatta bidrag till teori och praktik för databashanteringssystem, särskilt relationsdatabaser.
1982	Stephen A. Cook		För att han på ett betydande och djupgående sätt har bidragit till att öka vår förståelse av komplexiteten i beräkningar.
1983	Ken Thompson		För deras utveckling av allmän teori om operativsystem och särskilt för genomförandet av operativsystemet UNIX.
1983	Dennis M. Ritchie
1984	Niklaus Wirth		För att ha utvecklat en rad innovativa datorspråk, EULER, ALGOL-W, MODULA och Pascal.
1985	Richard M. Karp		För hans fortsatta bidrag till algoritmteorin, inklusive utvecklingen av effektiva algoritmer för nätverksflöden och andra kombinatoriska optimeringsproblem, identifieringen av beräkningsbarhet i polynomiell tid med det intuitiva begreppet algoritmisk effektivitet och, framför allt, bidrag till teorin om NP-kompletthet.
1986	John Hopcroft		För grundläggande prestationer inom utformning och analys av algoritmer och datastrukturer.
1986	Robert Tarjan
1987	John Cocke	80px	För betydande bidrag till utformning och teori för kompilatorer, arkitekturen för stora system och utvecklingen av RISC-datorer (Reduced instruction set computers).
1988	Ivan Sutherland		För hans banbrytande och visionära bidrag till datorgrafik, från Sketchpad och framåt.
1989	William Kahan		För hans grundläggande bidrag till numerisk analys. En av de främsta experterna på beräkningar med flytande punkter. Kahan har ägnat sig åt att "göra världen säker för numeriska beräkningar".
1990	Fernando J. Corbató		För hans banbrytande arbete med att organisera begreppen och leda utvecklingen av de allmänna, storskaliga datorsystemen CTSS och Multics för tidsdelning och resursdelning.
1991	Robin Milner	80px	För tre tydliga och fullständiga prestationer: 1) LCF, mekaniseringen av Scotts Logic of Computable Functions, troligen det första teoretiskt baserade men ändå praktiska verktyget för maskinassisterad beviskonstruktion; 2) ML, det första språket som innehåller polymorfisk typinferens tillsammans med en typssäker mekanism för hantering av undantag; 3) CCS, en allmän teori om samtidighet. Dessutom formulerade han och utvecklade kraftigt full abstraktion, studiet av förhållandet mellan operationell och denotationell semantik.
1992	Butler W. Lampson		För bidrag till utvecklingen av distribuerade, personliga datormiljöer och tekniken för att genomföra dem: arbetsstationer, nätverk, operativsystem, programmeringssystem, bildskärmar, säkerhet och publicering av dokument.
1993	Juris Hartmanis		Som ett erkännande av deras banbrytande artikel som lade grunden för området komplexitetsteori för beräkningar.
1993	Richard E. Stearns
1994	Edward Feigenbaum		För att ha varit banbrytande när det gäller utformning och konstruktion av storskaliga system för artificiell intelligens, vilket visar på den praktiska betydelsen och den potentiella kommersiella effekten av tekniken för artificiell intelligens.
1994	Raj Reddy
1995	Manuel Blum		Som ett erkännande av hans bidrag till grunderna för teorin om beräkningskomplexitet och dess tillämpning på kryptografi och programkontroll.
1996	Amir Pnueli		För ett banbrytande arbete med att införa temporal logik i datavetenskap och för enastående bidrag till program- och systemverifiering.
1997	Douglas Engelbart		För en inspirerande vision av framtiden för interaktiv databehandling och uppfinningen av viktig teknik för att förverkliga denna vision.
1998	Jim Gray		För banbrytande bidrag till forskning om databaser och transaktionsbehandling och för tekniskt ledarskap vid systemimplementering.
1999	Frederick P. Brooks		För betydelsefulla bidrag till datorarkitektur, operativsystem och programvaruteknik.
2000	Andrew Chi-Chih Yao		Som ett erkännande av hans grundläggande bidrag till beräkningsteorin, inklusive den komplexitetsbaserade teorin om generering av pseudorandomtal, kryptografi och kommunikationskomplexitet.
2001	Ole-Johan Dahl	80px	För idéer som är grundläggande för framväxten av objektorienterad programmering, genom deras utformning av programmeringsspråken Simula I och Simula 67.
2001	Kristen Nygaard
2002	Ron Rivest		För deras geniala bidrag till att göra kryptografi med offentliga nycklar användbar i praktiken.
	Adi Shamir
	Leonard M. Adleman
2003	Alan Kay		För att ha varit banbrytande för många av de idéer som ligger till grund för dagens objektorienterade programmeringsspråk, för att ha lett teamet som utvecklade Smalltalk och för grundläggande bidrag till personlig databehandling.
2004	Vint Cerf		För banbrytande arbete inom Internet, inklusive utformning och genomförande av Internets grundläggande kommunikationsprotokoll, TCP/IP, och för inspirerande ledarskap inom nätverksarbete.
2004	Bob Kahn
2005	Peter Naur		För grundläggande bidrag till utformningen av programmeringsspråk och definitionen av ALGOL 60, till kompilatorutformning samt till konsten och praktiken inom datorprogrammering.
2006	Frances E. Allen		För banbrytande bidrag till teori och praktik för optimerande kompileringstekniker som lade grunden för moderna optimerande kompilatorer och automatisk parallell exekvering.
2007	Edmund M. Clarke		För deras roll i utvecklingen av modellkontroll till en mycket effektiv verifieringsteknik som är allmänt använd inom hårdvaru- och mjukvaruindustrin.
	E. Allen Emerson
	Joseph Sifakis
2008	Barbara Liskov		För bidrag till de praktiska och teoretiska grunderna för programmeringsspråk och systemdesign, särskilt när det gäller dataabstraktion, feltolerans och distribuerad databehandling.
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.
2010	Leslie G. Valiant		För omvälvande bidrag till beräkningsteorin, inklusive teorin om troligen ungefärligt korrekt lärande (PAC), komplexiteten hos uppräkning och algebraisk beräkning samt teorin om parallella och distribuerade beräkningar.
2011	Judea Pearl		För grundläggande bidrag till artificiell intelligens genom utvecklingen av en kalkyl för probabilistiska och kausala resonemang.
2012	Silvio Micali		För ett omvälvande arbete som lade de komplexitetsteoretiska grunderna för kryptografivetenskapen och som samtidigt var banbrytande för nya metoder för effektiv verifiering av matematiska bevis inom komplexitetsteorin.
2012	Shafi Goldwasser
2013	Leslie Lamport		För grundläggande bidrag till teori och praktik för distribuerade och samtidiga system, särskilt för uppfinningen av begrepp som kausalitet och logiska klockor, säkerhet och livlighet, replikerade tillståndsmaskiner och sekventiell konsistens.
2014	Michael Stonebraker		För grundläggande bidrag till de begrepp och metoder som ligger till grund för moderna databassystem.
2015	Martin E. Hellman		För grundläggande bidrag till modern kryptografi. Diffie och Hellmans banbrytande dokument "New Directions in Cryptography" från 1976 introducerade idéerna om kryptografi med offentliga nycklar och digitala signaturer, som ligger till grund för de flesta av de säkerhetsprotokoll som används regelbundet på Internet i dag.
2015	Whitfield Diffie
2016	Tim Berners-Lee		För att ha uppfunnit World Wide Web, den första webbläsaren och de grundläggande protokoll och algoritmer som gör det möjligt att skala webben.
2017	John L. Hennessy		För att ha varit banbrytande med ett systematiskt, kvantitativt tillvägagångssätt för utformning och utvärdering av datorarkitekturer med bestående inverkan på mikroprocessorindustrin.
2017	David Patterson
2018	Yoshua Bengio		För konceptuella och tekniska genombrott som har gjort djupa neurala nätverk till en kritisk komponent i databehandling.
	Geoffrey Hinton
	Yann LeCun
2019	Edwin Catmull		För grundläggande bidrag till 3D-datorgrafik och för den revolutionerande inverkan som denna teknik har haft på datorgenererade bilder (CGI) inom filmproduktion och andra tillämpningar.
2019	Pat Hanrahan