Premiul Turing

De la Wikipedia, enciclopedia liberă

Premiul A. M. Turing este o distincție decernată anual de către Association for Computing Machinery „unei persoane alese pentru contribuțiile de natură tehnică aduse comunității informatice. Contribuțiile trebuie să aibă importanță majoră de durată în domeniul informaticii”.[1] Adesea considerat „Premiul Nobel pentru informatică”,[1] Premiul a primit numele lui Alan Mathison Turing, un matematician britanic care este „deseori considerat a fi părintele informaticii teoretice și inteligenței artificiale”.[2] Distincția este însoțită de un premiu în bani de 250.000 de dolari, cosponsorizat de companiile Intel și Google.[1]

Primul laureat a fost, în 1966, Alan Perlis, pe atunci la Universitatea Carnegie-Mellon⁠(d). Frances E. Allen de la compania IBM a fost prima femeie care a câștigat acest premiu, în anul 2006, deci după 41 de ani de la înființarea lui.[3][4][5]

Laureații premiului Turing[modificare | modificare sursă]

An Laureați Motivația
1966 Statele Unite ale Americii Alan J. Perlis[6] Pentru influența avută în domeniul tehnicilor de programare avansate și proiectării compilatoarelor
1967 Regatul Unit al Marii Britanii și al Irlandei de Nord Maurice Wilkes Profesorul Wilkes este bine cunoscut drept constructorul și proiectantul lui EDSAC, primul calculator cu program stocat intern. Construit în 1949, EDSAC folosea o memorie cu linii de întârziere din mercur. Este cunoscut și ca autor, împreună cu Wheeler și Gill, al unui volum despre „Pregătirea programelor pentru calculatoare electronice digitale” din 1951, în care practic au fost introduse pentru prima oară bibliotecile de programe
1968 Statele Unite ale Americii Richard Hamming Pentru lucrările sale în domeniul metodelor numerice, sistemelor automate de codificare și codurilor detectoare și corectoare de erori
1969 Statele Unite ale Americii Marvin Minsky Inteligență artificială
1970 Regatul Unit al Marii Britanii și al Irlandei de Nord James H. Wilkinson Pentru cercetările sale în domeniul analizei numerice pentru a facilita utilizarea calculatorului digital de mare viteză, după ce a primit aprecieri și pentru calculele numerice din algebra liniară și pentru analiza erorilor
1971 Statele Unite ale Americii John McCarthy Cursul său „The Present State of Research on Artificial Intelligence” („Starea actuală a cercetării din domeniul inteligenței artificiale”) este un subiect ce acoperă domeniul în care a obținut recunoaștere considerabilă a muncii sale
1972 Țările de Jos Edsger W. Dijkstra Edsger Dijkstra a fost, la sfârșitul anilor 1950, principalul contribuitor la dezvoltarea ALGOL, un limbaj de programare de nivel înalt care a devenit un model de claritate și rigurozitate matematică. El este unul dintre principalii susținători ai științei și artei limbajelor de programare în general, și și-a adus masiv contribuția la înțelegerea structurii, reprezentării și implementării acestora. Lucrările publicate de el vreme de cincisprezece ani acoperă domenii extinse, de la articole teoretice din domeniul teoriei grafurilor și până la manuale, expuneri, și studii filozofice din domeniul limbajelor de programare
1973 Statele Unite ale Americii Charles W. Bachman Pentru deosebitele contribuții aduse tehnologiei bazelor de date
1974 Statele Unite ale Americii Donald E. Knuth Pentru contribuțiile majore aduse analizei algoritmilor și proiectării limbajelor de programare, în particular pentru contribuțiile sale la „Arta programării calculatoarelor” prin celebra sa serie de cărți cu acest titlu
1975 Statele Unite ale Americii Allen Newell și
Statele Unite ale Americii Herbert A. Simon
Prin eforturi științifice conjugate, care au durat douăzeci de ani, la început în colaborare cu J. C. Shaw de la compania RAND și ulterior împreună cu numeroși colegi de la facultate și studenți de la Universitatea Carnegie-Mellon⁠(d), au adus contribuții de bază în inteligența artificială, psihologia cogniției umane și prelucrarea listelor
1976 Israel Michael O. Rabin și
Statele Unite ale Americii Dana S. Scott
Pentru lucrarea lor „Automatele finite și problema deciziei lor”, care a introdus ideea de mașină nedeterministă, care s-a dovedit un concept deosebit de valoros. Lucrarea lor clasică a fost o sursă continuă de inspirație pentru lucrările ulterioare din domeniu
1977 Statele Unite ale Americii John Backus Pentru contribuțiile sale profunde și de mare influență în domeniul proiectării sistemelor practice de programare de nivel înalt, în mod deosebit prin contribuția sa la FORTRAN, și pentru publicarea procedurilor formale de specificare a limbajelor de programare
1978 Statele Unite ale Americii Robert W. Floyd Pentru influența sa profundă asupra metodologiilor de creare de software eficient și fiabil, precum și pentru ajutorul dat la fondarea unor importante subdomenii ale informaticii: teoria parsării, semantica limbajelor de programare, verificarea automată a programelor, sinteza automată de programe și analiza algoritmilor
1979 Canada Kenneth E. Iverson Pentru munca de pionierat în domeniul limbajelor de programare și a notației matematice ce a avut ca rezultat limbajul de programare APL, pentru contribuțiile aduse la implementarea sistemelor interactive, la utilizarea APL în domeniul educativ, precum și la teoria și practica limbajelor de programare
1980 Regatul Unit al Marii Britanii și al Irlandei de Nord Charles Antony Richard Hoare Pentru contribuțiile fundamentale la definirea și proiectarea limbajelor de programare
1981 Regatul Unit al Marii Britanii și al Irlandei de Nord Edgar F. Codd Pentru contribuțiile sale fundamentale și continue la teoria și practica sistemelor de gestiune a bazelor de date, în special baze de date relaționale
1982 Statele Unite ale Americii Canada Stephen A. Cook Pentru progresul pe care l-a adus într-o manieră semnificativă și profundă înțelegerii complexității calculelor
1983 Statele Unite ale Americii Ken Thompson și
Statele Unite ale Americii Dennis M. Ritchie
Pentru dezvoltarea de către ei a teoriei sistemelor de operare generice și anume pentru implementarea sistemului de operare UNIX
1984 Elveția Niklaus Wirth Pentru dezvoltarea unei secvențe de limbaje de programare inovative, EULER, ALGOL-W⁠(d), MODULA și Pascal
1985 Statele Unite ale Americii Richard M. Karp Pentru contribuțiile sale continue în domeniul teoriei algoritmilor, inclusiv pentru dezvoltarea de algoritmi eficienți pentru fluxurile de rețea și alte probleme de optimizare combinatorică, identificarea calculabilității în timp polinomial cu noțiunea intuitivă de eficiență algoritmică și, mai ales, pentru contribuții la teoria NP-completitudinii
1986 Statele Unite ale Americii John Hopcroft și
Statele Unite ale Americii Robert Tarjan
Pentru realizări fundamentale în proiectarea și analiza algoritmilor și structurilor de date
1987 Statele Unite ale Americii John Cocke Pentru contribuțiile semnificative în proiectarea și teoria compilatoarelor, arhitectura sistemelor mari și dezvoltarea calculatoarelor cu set redus de instrucțiuni (Arhitectură RISC)
1988 Statele Unite ale Americii Ivan Sutherland Pentru contribuțiile sale vizionare și de pionierat în domeniul graficii pe calculator, începând cu Sketchpad⁠(d) și continuând
1989 Canada William Kahan Pentru contribuțiile fundamentale în domeniul analizei numerice. Unul din cei mai de seamă experți în calculele în virgulă mobilă. Kahan s-a dedicat idealului de a „face lumea un loc sigur pentru calcule numerice.”
1990 Statele Unite ale Americii Fernando J. Corbató Pentru munca sa de pionierat la organizarea conceptelor și la conducerea dezvoltării sistemelor de calculatoare cu utilizare generală, de scară largă, cu partajare de timp și resurse, CTSS⁠(d) și Multics⁠(d).
1991 Regatul Unit al Marii Britanii și al Irlandei de Nord Robin Milner Pentru trei realizări diferite și complete: 1) LCF⁠(d), mecanizarea Logicii Funcțiilor Calculabile ale lui Scott, probabil prima unealtă compusă pe baze teoretice, și totuși utilă practic, pentru construcția de demonstrații asistată de mașină; 2) ML, primul limbaj care a inclus inferența polimorfică de tip împreună cu un mecanism de tratare a excepțiilor safe typing⁠(d); 3) Analiza sistemelor de comunicare, o teorie generală a concurenței. În plus, a formulat și promovat abstracția completă, studiul relației dintre semantica operațională și cea denotațională.
1992 Statele Unite ale Americii Butler W. Lampson Pentru contribuțiile aduse dezvoltării mediilor de calcul distribuite și personale și a tehnologiei de implementare a lor: stații de lucru, rețele, sisteme de operare, sisteme de programare, dispozitive de afișare, securitatea calculatoarelor și publicarea documentelor.
1993 Letonia Juris Hartmanis și
Statele Unite ale Americii Richard E. Stearns
Ca recunoaștere a lucrării lor de referință care a stabilit bazele domeniului teoriei complexității computaționale.
1994 Statele Unite ale Americii Edward Feigenbaum și
India Statele Unite ale Americii Raj Reddy
Pentru pionieratul în proiectarea și construirea unor sisteme cu inteligență artificială de scară largă, demonstrarea importanței practice și a potențialului impact comercial al tehnologiei inteligenței artificiale.
1995 Venezuela Manuel Blum Ca recunoaștere pentru contribuțiile sale la bazele teoriei complexității computaționale și la aplicarea acestora în criptografie și verificarea programelor.
1996 Israel Amir Pnueli Pentru lucrările sale de referință carea au introdus logica temporală în informatică și pentru remarcabilele contribuții la verificarea programelor și sistemelor.
1997 Statele Unite ale Americii Douglas Engelbart Pentru viziunea sa asupra viitorului utilizării interactive a calculatoarelor și pentru inventarea de tehnologii cheie pentru realizarea acestei viziuni.
1998 Statele Unite ale Americii Jim Gray Pentru contribuții de referință la cercetarea bazelor de date și prelucrării tranzacțiilor și pentru conducerea tehnică în implementarea sistemelor.
1999 Statele Unite ale Americii Frederick P. Brooks, Jr. Pentru contribuții importante în domeniile arhitecturii calculatoarelor, sistemelor de operare, și ingineriei software.
2000 Statele Unite ale Americii Taiwan Andrew Chi-Chih Yao Ca recunoaștere a contribuțiilor sale fundamentale la teoria calculabilității, inclusiv la teoria generării de numere pseudoaleatoare bazată pe complexitate, criptografie, și complexitatea comunicației.
2001 Norvegia Ole-Johan Dahl și
Norvegia Kristen Nygaard
Pentru ideile lor care au stat la baza apariției programării orientate obiect, prin proiectarea de către ei a limbajelor de programare Simula I și Simula 67.
2002 Statele Unite ale Americii Ronald L. Rivest,
Israel Adi Shamir și
Statele Unite ale Americii Leonard M. Adleman
Pentru ingenioasa lor contribuție prin care criptografia cu chei publice a devenit utilă în practică.
2003 Statele Unite ale Americii Alan Kay Pentru ideile sale inovatoare care stau la baza limbajelor contemporane de programare orientată obiect, pentru conducerea echipei care a dezvoltat Smalltalk⁠(d) și pentru contibuțiile sale care au ajutat la progresul calculatoarelor personale.
2004 Statele Unite ale Americii Vinton Gray Cerf și
Statele Unite ale Americii Robert Elliot Kahn
Pentru munca de pionierat în domeniul interconectării rețelelor de calculatoare, inclusiv pentru proiectarea și implementarea protocoalelor de bază ale Internetului, TCP/IP, și pentru munca în domeniul rețelelor.
2005 Danemarca Peter Naur Pentru contribuții fundamentale în domeniul proiectării limbajelor de programare și pentru definiția ALGOL 60⁠(d), în domeniul proiectării compilatoarelor, și în arta și practica programării calculatoarelor.
2006 Statele Unite ale Americii Frances E. Allen Pentru contribuțiile de pionierat în domeniul teoriei și practicii optimizării tehnicilor de compilare care au stat la baza compilatoarelor moderne cu optimizare și execuție paralelă automată.
2007 Statele Unite ale Americii Edmund M. Clarke,
Statele Unite ale Americii E. Allen Emerson și
Franța Grecia Joseph Sifakis
Pentru transformarea verificării modelelor într-o tehnoloogie de verificare foarte eficientă, adoptată pe scară largă în industriile de hardware și software.
2008 Statele Unite ale Americii Barbara Liskov Pentru contribuțiile aduse la baza teoretică și practică a proiectării limbajelor de programare și sistemelor, în special cele legate de abstracția datelor, toleranța la defecte și calculul distribuit.
2009 Statele Unite ale Americii Charles P. Thacker Pentru proiectarea și realizarea lui Alto, primul calculator personal modern; și pentru contribuțiile la Ethernet și la PC tabletă.
2010 Regatul Unit al Marii Britanii și al Irlandei de Nord Leslie Valiant⁠(d) Pentru contribuții transformatoare în domeniul teoriei calculului, inclusiv pentru teoria învățării probabil aproximativ corecte (PAC⁠(d)), complexitatea enumerării și a calculului algebric, și teoria calculului paralel și distribuit.
2011 Israel Statele Unite ale Americii Judea Pearl⁠(d)[7] Pentru contribuții fundamentale în domeniul inteligenței artificiale prin dezvoltarea unei analize a raționamentului probabilist și cauzal.[8]
2012 Italia Statele Unite ale Americii Silvio Micali⁠(d)
Israel Statele Unite ale Americii Shafrira Goldwasser⁠(d)
Pentru opera lor transformatoare care a fundamentat în teoria complexității știința criptografiei și care a inovat noi metode de verificare eficientă a demonstrațiilor matematice în teoria complexității.[9]
2013 Leslie Lamport Pentru contribuții fundamentale la teoria și practica sistemelor distribuite și concurente, mai ales pentru inventarea unor concepte ca cel al cauzalității și al ceasurilor logice, siguranță și liveness, mașini de stări replicate și consistență secvențială.[10][11]
2014 Michael Stonebraker⁠(d) Pentru contribuții fundamentale la conceptele și practicile ce stau la baza sistemelor moderne de baze de date.[12]
2015 Martin Hellman
Whitfield Diffie
Pentru contribuții fundamentale în criptografia modernă. Articolul inovator al lui Diffie și Hellman, „Noi direcții în criptografie”, din 1976,[13] a introdus ideile de criptografie cu chei publice și semnătură electronică, ce stau la baza majorității protocoalelor frecvent utilizate astăzi în internet.[14]
2016 Regatul Unit al Marii Britanii și al Irlandei de Nord Sir Tim Berners-Lee Pentru crearea World Wide Web, a primului browser, a protocoalelor și algoritmilor fundamentali care au contribuit la dezvoltarea internetului.

Note[modificare | modificare sursă]

  1. ^ a b c „A. M. Turing Award”. ACM. Arhivat din original la . Accesat în . 
  2. ^ Homer, Steven and Alan L. Selman. Computability and Complexity Theory. Springer via Google Books limited view. p. 35. ISBN 0-3879-5055-9. Accesat în . 
  3. ^ „First Woman to Receive ACM Turing Award”. The Association for Computing Machinery. 21 februarie 2007. Arhivat din original la 2012-05-26. Accesat în 2007-11-05.  Verificați datele pentru: |date= (ajutor)
  4. ^ Marianne Kolbasuk McGee (26 februarie 2007, online 24 februarie, 2007). „There's Still A Shortage Of Women In Tech, First Female Turing Award Winner Warns”. InformationWeek. CMP Media. Arhivat din original la 2020-01-22. Accesat în 2007-11-05.  Verificați datele pentru: |date= (ajutor)
  5. ^ Perelman, Deborah (27 februarie 2007). „Turing Award Anoints First Female Recipient”. eWEEK. Ziff Davis Enterprise. Arhivat din original la 2020-01-22. Accesat în 2007-11-05.  Verificați datele pentru: |date= (ajutor)
  6. ^ doi:10.1145/321371.321372
    Această referință va fi completată automat în următoarele minute. Puteți sări peste perioada de așteptare sau puteți extinde citarea manual
  7. ^ doi:10.1145/1283920.2351636
    Această referință va fi completată automat în următoarele minute. Puteți sări peste perioada de așteptare sau puteți extinde citarea manual
  8. ^ „Judea Pearl”. ACM. 
  9. ^ „Turing award 2012”. ACM. Arhivat din original la . Accesat în . 
  10. ^ „Turing award 2013”. ACM. 
  11. ^ Lamport, L. (). „Time, clocks, and the ordering of events in a distributed system” (PDF). Communications of the ACM⁠(d). 21 (7): 558–565. doi:10.1145/359545.359563. 
  12. ^ „Turing award 2014”. ACM. 
  13. ^ Diffie, W.; Hellman, M. (). „New directions in cryptography” (PDF). IEEE Transactions on Information Theory. 22 (6): 644–654. doi:10.1109/TIT.1976.1055638. 
  14. ^ „Cryptography Pioneers Receive 2015 ACM A.M. Turing Award”. ACM.