Turingpriset

Wikipedia

Turingpriset delas årligen ut av Association for Computing Machinery (ACM) till en person som har bidragit till datorindustrin. Bidraget skal vara av långvarig och stor teknisk betydelse. De flesta av pristagarna har varit datavetare.

Priset är namngivet efter Alan Turing, en brittisk matematiker som anses vara en av den moderna datavetenskapens grundare.

Turingpriset räknas som datavetenskapens nobelpris. Det sponsras av Intel och prissumman är på $100,000.

[redigera] Nationalitet

De flesta pristagarna har hittills varit amerikaner. Här är en lista över pristagarnas nationaliteter under åren 1966-2005:

• USA: 35
• Storbritannien: 5
• Israel: 3
• Kanada: 2
• Norge: 2
• Nederländerna: 1
• Schweiz: 1
• Danmark: 1

[redigera] Pristagare

År	Namn	Motivering/Kommentar
1966	Alan J. Perlis	För hans påverkan på programmeringsfältet genom avancerade programmeringstekniker och kompilatorkonstruktion.
1967	Maurice V. Wilkes	Byggde EDSAC 1949, den första datorn med internt lagrade program. Han skrev också boken Preparation of Programs for Electronic Digital Computers 1951 som introducerade program bibliotek.
1968	Richard Hamming	För hans arbete med numeriska metoder, automatiska kodningssystem, felupptäckning och felkorrigerande kod.
1969	Marvin Minsky	Artificiell intelligens
1970	James H. Wilkinson	För forskning inom numerisk analys för att förbättra användandet av datorn för beräkningar, speciellt inom linjär algebra och "backwards" fel analys.
1971	John McCarthy	Dr. McCarthy's föredrag "The Present State of Research on Artificial Intelligence" täcker det område där han har fått stort anseende.
1972	Edsger Dijkstra	Edsger Dijkstra var en av huvudbidragarna på 1950-talet till utvecklingen av högnivå programpråket ALGOL som har blivit modell för nogrannhet och matematisk tydlighet. Han var en av de stora generellt inom programspråk och han har bidragit stort till förståendet av deras struktur, representation och implementering. Hans publikationer under femton år sträcker sig från teoretiska artiklar om grafteori till enkla manualer, förklarande texter och filosofiska begrundanden inom fältet programspråk.'
1973	Charles W. Bachman	För hans enastående bidrag inom databasteknologi.
1974	Donald E. Knuth	För hans stora bidrag inom analys av algoritmer och design av programspråk, särskilt för hans bidrag i böckerna i serien The Art of Computer Programming.
1975	Allen Newell och Herbert A. Simon	Genom samlade insatser under mer än 20 år, från början tillsammans med J. C. Shaw vid RAND Corporation, och senare med många fakultets- och studentkollegor vid Carnegie Mellon University, bidrog han till utvecklingen av artificiell intelligens, psykologin om mänsklig kognition och listprocessering.
1976	Michael O. Rabin och Dana S. Scott	För deras gemensamma artikel "Finite Automata and Their Decision Problem," som introducerade iden med ickedeterministiska maskiner, som har visat sig vara ett enormt värdefullt koncept. Deras klassiska artikel har varit en viktig inspirationskälla för fortsatt forskning inom fältet.
1977	John Backus	För djupa, inflytelserika och varaktiga bidrag till design av praktiska högnivåprogrammeringssystem, särskilt genom arbetet med FORTRAN och för nyskapande publiceringar av formella procedurer för specifikation av programspråk.
1978	Robert W. Floyd	För att ha haft ett tydligt inflytande på metoder för att skapa effektiv och stabil programvara och för att ha hjälpt till med att skapa följande områden inom datorvetenskapen: parsningsteori, semantik i programspråk, automatisk programverifikation, automatisk programsyntes och analys av algoritmer.
1979	Kenneth E. Iverson	För hans banbrytande insatser inom programspråk och matematisk notation resulterande i vad datorvetenskapen känner som APL och för hans bidrag till implementeringen av interaktiva system, pedagogiska användningsområden för APL och till programspråkens teori och användande.
1980	C. Antony R. Hoare	För hans fundamentala bidrag till definition och design av programspråk.
1981	Edgar F. Codd	För hans fundamentala och fortlöpande bidrag till teori och användande av databaser. Speciellt relationsdatabaser.
1982	Stephen A. Cook	För att han i betydande grad utvecklat förståelsen av databehandlingskomplexitet.
1983	Ken Thompson and Dennis M. Ritchie	För utvecklandet av en generisk teori för operativsystem och speciellt för implementationen av UNIX.
1984	Niklaus Wirth	För utvecklandet av en sekvens med innovativa programspråk: EULER, ALGOL-W, MODULA och PASCAL.
1985	Richard M. Karp	För hans fortlöpande bidrag till algoritmteorin och utvecklandet av effektiva algoritmer för nätverksflöde och andra kombinatoriska problem, identifieringen av polynomisk tid och notationen för algoritmisk effektivitet och allra mest för bidraget till teorin om NP-fullständighet.
1986	John Hopcroft and Robert Tarjan	För hans fundamentala landvinnigar inom design och analys av algortmer och datastrukturer.
1987	John Cocke	För signifikanta bidrag inom design och teori av kompilatorer, arkitekur av stora system och utvecklandet av reducerade instruktionsset datorer (RISC).
1988	Ivan Sutherland	För hans bidrag inom datorgrafiken.
1989	William (Velvel) Kahan	För hans fundamentala bidrag till den numeriska analysen. En av de främsta experterna på beräkningar av flyttal.
1990	Fernando J. Corbató	För hans arbete med att organisera och leda utvecklingen av generella storskaliga tid- och resursdelande datorsystem som CTSS och Multics.
1991	Robin Milner	För tre distinkta bidrag: LCF (teorembevisare) Programspråket ML CCS (Calculus of Communication Systems, Analys av kommunikationssystem) I tillägg formulerade han full abstrahering och relationen mellan operational semantics och denotational semantics.
1992	Butler W. Lampson	För bidraget och utvecklandet av distribuerade hemdatormiljöer och teknik för dess implementering.
1993	Juris Hartmanis and Richard E. Stearns	Som erkännande av deras inflytelserika artikel som lade grunden för datorbaserad komplexitetsteori.
1994	Edward Feigenbaum and Raj Reddy	För den banbrytande designen och konstruktionen av storskaliga artificiell intelligens system, demonstrerande deras praktiska betydelse och potentiellt kommersiella effekt.
1995	Manuel Blum	Erkännande av hans bidrag till fundamenten inom datorbaserad komplexitetsteori och dess användning inom kryptografi och programverifikation.
1996	Amir Pnueli	För inflytelserikt arbete som introducerade temporär logik i datavetenskapen och för enastående bidrag inom formal verification.
1997	Douglas Engelbart	För en inspirerande vision av framtidens interaktiva datorbehandling och uppfinnandet av tekniker som bidragit till att realisera denna vision.
1998	James Gray	För inflytelserika bidrag inom databas och transaktions processering, forskning och tekniskt ledarskap i systemimplementation.
1999	Frederick P. Brooks, Jr.	För stora framsteg inom datorarkitektur, operativsystem och mjukvaruutveckling.
2000	Andrew Chi-Chih Yao	För erkännandet av hans fundamentala bidrag inom databeräkningsteori, inkluderande den komplexitetsbaserade teorin om pseudoslumptalsgenerering, kryptografi och kommunikationskomplexitet.
2001	Ole-Johan Dahl and Kristen Nygaard	För ideer fundamentala för tillkomsten av objektorienterad programmering genom deras design av programmeringsspråken Simula I och Simula 67.
2002	Ronald L. Rivest, Adi Shamir and Leonard M. Adleman	För deras geniala bidrag till att göra asymmetrisk kryptering användbart i praktiken.
2003	Alan Kay	For pioneering many of the ideas at the root of contemporary object-oriented programming languages, leading the team that developed Smalltalk, and for fundamental contributions to personal computing.
2004	Vinton G. Cerf and Robert E. Kahn	For pioneering work on internetworking, including the design and implementation of the Internet's basic communications protocols, TCP/IP, and for inspired leadership in networking.
2005	Peter Naur	For fundamental contributions to programming language design and the definition of Algol 60, to compiler design, and to the art and practice of computer programming.