Premiul Turing

Premiul AM Turing (în italiană, Premiul Turing ) este un premiu, acordat anual de Asociația pentru Mașini de Calcul (ACM), unei personalități care excelează în contribuțiile de natură tehnică oferite comunității de calculatoare , în special pentru progresul pe care este de durată și de mare importanță tehnică.

Premiul este adesea denumit „ Premiul Nobel pentru tehnologia informației ” și este numit după matematicianul englez Alan Mathison Turing ( 1912 - 1954 ), ca recunoaștere a contribuției sale unice și originale la nașterea activităților de calcul folosind dispozitive automate.

Faptul că ACM este dedicat în principal software-ului și teoriei prelucrării datelor are ca efect că niciunul dintre premii nu este legat de contribuții strict dedicate hardware-ului , sector căruia IEEE îi este dedicat în principal.

Câștigătorul este invitat să țină o prelegere cu ocazia ceremoniei de premiere, publicată ulterior într-un periodic științific al ACM și, începând cu premiul pentru anul 2007, primește un premiu în bani: până în 2013 se ridica la 250.000 de dolari SUA și a fost oferit de Intel și Google ^[1] , în timp ce de la ediția din 2014 cifra este oferită doar de acesta din urmă și a crescut la un milion ^[2] .

Prima câștigătoare, în 1966, a fost Alan Perlis de la Universitatea Carnegie Mellon , în timp ce Frances E. Allen de la IBM a fost prima femeie care a câștigat premiul în 2006, la 40 de ani de la înființarea premiului. ^[3] ^[4] ^[5]

Lista cronologică a câștigătorilor Premiului Turing

An	Câştigător	Contribuție care a motivat recunoașterea
1966	Alan J. Perlis	Pentru influența sa în zona tehnicilor avansate de programare și pentru construcția de compilatoare. ^[6]
1967	Maurice V. Wilkes	program de stocare intern, biblioteci de programe
1968	Richard Hamming	Pentru munca sa privind metodele numerice, sistemele automate de codificare, codurile de detectare și corectare a erorilor ^[7]
1969	Marvin Minsky	inteligență artificială
1970	James H. Wilkinson	Pentru cercetările sale în analiza matematică care au facilitat utilizarea computerelor digitale moderne, în special pentru munca sa în calcule de algebră liniară și analiza erorilor „înapoi” ^[8]
1971	John McCarthy	Pentru cartea sa „The Current State of Research on Artificial Intelligence”, care a adus o contribuție importantă în domeniul inteligenței artificiale ^[9]
1972	Edsger Dijkstra	Pentru numeroasele sale contribuții la calculul automat și în special la algoritmul Dijkstra ^[10]
1973	Charles W. Bachman	Pentru contribuțiile sale remarcabile la tehnologiile bazelor de date ^[11]
1974	Donald E. Knuth	analiza algoritmilor și proiectarea limbajelor de programare
1975	Allen Newell Herbert A. Simon	inteligență artificială; psihologia cunoașterii umane; prelucrarea listelor
1976	Michael O. Rabin Dana S. Scott	mașini nedeterministe
1977	John Backus	sisteme de programare la nivel înalt; proceduri formale pentru specificarea limbajelor de programare
1978	Robert W. Floyd	metodologii pentru construirea unui software eficient și fiabil
1979	Kenneth E. Iverson	limbaje de programare și notație matematică; implementarea sistemelor interactive; utilizări educaționale ale APL ; teoria și practica limbajelor de programare
1980	C. Antony R. Hoare	definirea și proiectarea limbajelor de programare
1981	Edgar F. Codd	sisteme de gestionare a bazelor de date; baze de date relaționale
1982	Stephen A. Cook	complexitatea calculelor
1983	Ken Thompson Dennis M. Ritchie	teoria generică a sistemelor de operare; implementarea sistemului de operare Unix
1984	Niklaus Wirth	dezvoltarea limbajelor computerizate
1985	Richard M. Karp	teoria algoritmilor, în special teoria completitudinii NP
1986	John Hopcroft Robert Tarjan	proiectarea și analiza algoritmilor și structurilor de date
1987	John Cocke	teoria compilatorului; arhitectura sistemelor mari; dezvoltare computerizată \| RISC
1988	Ivan Sutherland	grafică pe computer
1989	William (Velvel) Kahan	analiza numerica
1990	Fernando J. Corbató	CTSS ; Multics
1991	Robin Milner	LCF ; ML ; CCS
1992	Butler W. Lampson	medii de calcul personal distribuite
1993	Juris Hartmanis Richard E. Stearns	teoria complexității de calcul
1994	Edward Feigenbaum Raj Reddy	sisteme de inteligență artificială pe scară largă
1995	Manuel Blum	teoria complexității de calcul; aplicațiile sale la criptografie și verificarea programului
1996	Amir Pnueli	logica temporala , verificarea programelor si sistemelor
1997	Douglas Engelbart	prelucrare interactivă
1998	James Gray	prelucrarea bazelor de date și a tranzacțiilor
1999	Frederick P. Brooks, Jr.	arhitectura computerelor ; sisteme de operare ; Inginerie software
2000	Andrew Chi-Chih Yao	teoria calculului, inclusiv generarea de numere pseudorandom , criptografie și complexitatea comunicării
2001	Ole-Johan Dahl Kristen Nygaard	programare orientată obiect
2002	Ronald L. Rivest Adi Shamir Leonard M. Adleman	criptografie cu cheie publică
2003	Alan Kay	programare orientată obiect
2004	Vinton G. Cerf Robert E. Kahn	lucru pe internet
2005	Peter Naur	Forma Backus - Naur și Algol-60
2006	Frances E. Allen	compilatoare de coduri
2007	Edmund M. Clarke E. Allen Emerson Joseph Sifakis	Cercetarea și dezvoltarea verificării modelelor
2008	Barbara Liskov	Pentru că a contribuit la dezvoltarea limbajelor de programare și a proiectării sistemelor, în special în domeniul abstractizării datelor, toleranței la erori și algoritmilor de calcul distribuit
2009	Charles P. Thacker	Pentru proiectarea și implementarea de pionierat a primului computer personal modern - Xerox Alto - și pentru invențiile și contribuțiile la rețelele locale (inclusiv Ethernet), stațiile de lucru multiprocesor, pentru studii privind coerența protocoalelor cache și pentru tabletele PC
2010	Leslie G. Valiant	Pentru contribuțiile sale la teoria calculabilității , cu teoria cunoscută sub numele de Învățare corectă aproximativă (PAC learning), la teoria complexității de calcul , la teoria complexității enumerării, la teoria calculului algebric și la teoria calcul paralel și distribuit. ^[12]
2011	Iudeea Pearl	Pentru contribuții fundamentale la inteligența artificială prin dezvoltarea unui calcul de raționament probabilistic și cauzal. ^[13]
2012	Silvio Micali Shafi Goldwasser	Pentru contribuțiile care au permis să se pună bazele teoriei complexității în domeniul criptografiei și pentru experimentarea cu noi metode de verificare eficientă a dovezilor matematice în domeniul teoriei complexității. ^[14]
2013	Leslie Lamport	Pentru contribuțiile sale de pionierat în studiul fiabilității și consistenței sistemelor de calcul: „pentru contribuțiile sale fundamentale la teoria și practica sistemelor distribuite și concurente , în special pentru invenția unor concepte precum cauzalitatea, ceasurile logice, siguranța și viața , mașini cu stări reproduse și consistență secvențială ^[15]
2014	Michael Stonebraker	Pentru contribuțiile sale fundamentale la conceptele și practica sistemelor moderne de baze de date. ^[16]
2015	Whitfield Diffie Martin Hellman	Pentru contribuții fundamentale la criptografia modernă. Cartea „ Noi direcții în criptografie ” publicată în 1976 de Diffie și Hellman a introdus ideile criptografiei cu cheie publică și semnăturilor digitale , baza celor mai utilizate protocoale de securitate pe internet la acea vreme. ^[17]
2016	Tim Berners-Lee	Pentru invenția World Wide Web , primul browser web și protocoalele și algoritmii fundamentali care permit web-ului să evolueze. ^[18]
2017	John L. Hennessy David A. Patterson	Pentru o abordare pionieră sistematică și cantitativă a proiectării și evaluării arhitecturilor computerelor cu impact de durată în industria microprocesorului. ^[19]
2018	Yoshua Bengio Geoffrey Hinton Yann LeCun	Pentru descoperiri conceptuale și inginerești care au făcut din rețelele neuronale profunde o componentă critică a calculului.
2019	Edwin Catmull Patrick M. Hanrhan	Pentru contribuțiile fundamentale la grafica computerizată 3D și impactul imaginilor generate de computer (CGI) în cinematografie și alte aplicații.
2020	Alfred Aho Jeffrey Ullman	Pentru algoritmii și teoria fundamentale care stau la baza implementării limbajelor de programare și pentru colectarea acestor rezultate și a multora altora în cărți extrem de influente care au contribuit la educația generațiilor de informaticieni. ^[20]