Vizualizare sursă pentru „Premiul Turing”

'''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”.<ref name=ACM /> Adesea considerat „[[Premiul Nobel]] pentru informatică”,<ref name=ACM /> Premiul a primit numele lui [[Alan Mathison Turing]], un [[matematician]] [[Regatul Unit|britanic]] care este „deseori considerat a fi părintele [[Informatică|informaticii teoretice]] și [[Inteligență artificială|inteligenței artificiale]]”.<ref>{{citat carte|author=Homer, Steven and Alan L. Selman|title=Computability and Complexity Theory|url=http://books.google.com/books?id=r5kOgS1IB-8C&pg=PA35|publisher=Springer via Google Books limited view|pages=35|isbn=0-3879-5055-9|accessdate=2007-11-05}}</ref> Distincția este însoțită de un premiu în bani de {{dim|250000|de dolari}}, cosponsorizat de companiile [[Intel]] și [[Google]].<ref name=ACM>{{citat web|title=A. M. Turing Award|publisher=ACM|url=http://awards.acm.org/homepage.cfm?srt=all&awd=140|accessdate=2007-11-05|archive-date=2009-12-12|archive-url=https://web.archive.org/web/20091212132624/http://awards.acm.org/homepage.cfm?srt=all&awd=140|dead-url=yes}}</ref>

Primul laureat a fost, în 1966, [[Alan Perlis]], pe atunci la {{Ill-wd|Q190080}}. [[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.<ref name=Allen>{{citat web|title=First Woman to Receive ACM Turing Award|publisher=The Association for Computing Machinery|url=http://campus.acm.org/public/pressroom/press_releases/2_2007/turing2006.cfm|date=[[21 februarie]] [[2007]]|accessdate=2007-11-05|archive-date=2012-05-26|archive-url=https://archive.is/20120526031046/http://campus.acm.org/public/pressroom/press_releases/2_2007/turing2006.cfm|dead-url=yes}}</ref><ref>{{citat web|author=Marianne Kolbasuk McGee|title=There's Still A Shortage Of Women In Tech, First Female Turing Award Winner Warns|url=http://www.informationweek.com/showArticle.jhtml?articleID=197008472|date=[[26 februarie]] [[2007]], online [[24 februarie]], [[2007]]|work=InformationWeek|publisher=CMP Media|accessdate=2007-11-05|archive-date=2020-01-22|archive-url=https://web.archive.org/web/20200122200657/http://www.informationweek.com/theres-still-a-shortage-of-women-in-tech-first-female-turing-award-winner-warns/d/d-id/1052276|dead-url=yes}}</ref><ref>{{citat web|author=Perelman, Deborah|title=Turing Award Anoints First Female Recipient|url=http://www.eweek.com/article2/0,1895,2098922,00.asp|date=[[27 februarie]] [[2007]]|work=eWEEK|publisher=Ziff Davis Enterprise|accessdate=2007-11-05|archive-date=2020-01-22|archive-url=https://web.archive.org/web/20200122200657/https://www.eweek.com/mobile/hp-touchpad-needs-6-to-8-weeks-for-additional-shipments|dead-url=yes}}</ref>

== Laureații premiului Turing ==
{| class="wikitable"
|- bgcolor="#ccccc"
! style="width:7%" |An
! style="width:20%" | Laureați
! Motivația
|-
![[1966]] 
|{{flagicon|USA}} [[Alan Perlis|Alan J. Perlis]]<ref>{{cite doi|10.1145/321371.321372}}</ref> 
|''Pentru influența avută în domeniul tehnicilor de [[programare]] avansate și proiectării [[Compilator|compilatoarelor]]''
|-
![[1967]] 
|{{flagicon|UK}} [[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]]
|{{flagicon|USA}} [[Richard Hamming]] 
|''Pentru lucrările sale în domeniul [[Metode numerice|metodelor numerice]], sistemelor automate de codificare și codurilor detectoare și corectoare de erori''
|-
![[1969]] 
|{{flagicon|USA}} [[Marvin Minsky]] 
|''[[Inteligență artificială]]''
|-
![[1970]] 
|{{flagicon|UK}} [[James H. Wilkinson]] 
|''Pentru cercetările sale în domeniul [[Analiză numerică|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]] 
|{{flagicon|USA}} [[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]] 
|{{flagicon|Netherlands}} [[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]]
|{{flagicon|USA}} [[Charles Bachman|Charles W. Bachman]]  
|''Pentru deosebitele contribuții aduse tehnologiei [[Bază de date|bazelor de date]]''
|-
![[1974]] 
|{{flagicon|USA}} [[Donald Knuth|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]] 
|{{flagicon|USA}} [[Allen Newell]] și <br> {{flagicon|USA}} [[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 {{Ill-wd|Q190080}}, au adus contribuții de bază în [[inteligența artificială]], psihologia cogniției umane și prelucrarea listelor''
|-
![[1976]] 
|{{flagicon|Israel}} [[Michael O. Rabin]] și <br> {{flagicon|USA}} [[Dana Scott|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]] 
|{{flagicon|USA}} [[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]] 
|{{flagicon|USA}} [[Robert Floyd|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 [[Informatică|informaticii]]: teoria [[Parsare|parsării]], [[semantica]] limbajelor de programare, verificarea automată a programelor, sinteza automată de programe și [[analiza algoritmilor]]''
|-
![[1979]] 
|{{flagicon|Canada}} [[Kenneth E. Iverson]]
|''Pentru munca de pionierat în domeniul limbajelor de programare și a [[notație matematică|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]]
|{{flagicon|UK}} [[Charles Antony Richard Hoare]] 
|''Pentru contribuțiile fundamentale la definirea și proiectarea limbajelor de programare''
|-
![[1981]] 
|{{flagicon|UK}} [[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]] 
|{{flagicon|USA}} {{flagicon|Canada}} [[Stephen A. Cook]] 
|''Pentru progresul pe care l-a adus într-o manieră semnificativă și profundă înțelegerii complexității calculelor''
|-
![[1983]] 
|{{flagicon|USA}} [[Ken Thompson]] și <br>{{flagicon|USA}} [[Dennis M. Ritchie]] 
|''Pentru dezvoltarea de către ei a teoriei sistemelor de operare generice și anume pentru implementarea sistemului de operare [[Unix|UNIX]]''
|-
![[1984]] 
|{{flagicon|Switzerland}} [[Niklaus Wirth]]  
|''Pentru dezvoltarea unei secvențe de limbaje de programare inovative, [[Limbajul de programare Euler|EULER]], {{Ill-wd|Q1538458|3=ALGOL-W}}, [[Modula|MODULA]] și [[Pascal]]''
|-
![[1985]] 
|{{flagicon|USA}} [[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 completitudine|NP-completitudinii]]''
|-
![[1986]] 
|{{flagicon|USA}} [[John Hopcroft]] și <br> {{flagicon|USA}} [[Robert Tarjan]]
|''Pentru realizări fundamentale în proiectarea și analiza algoritmilor și structurilor de date''
|-
![[1987]] 
|{{flagicon|USA}} [[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]] 
|{{flagicon|USA}} [[Ivan Sutherland]] 
|''Pentru contribuțiile sale vizionare și de pionierat în domeniul [[Grafică pe calculator|graficii pe calculator]], începând cu {{Ill-wd|Q1370184}} și continuând''
|-
![[1989]] 
|{{flagicon|Canada}} [[William Kahan]] 
|''Pentru contribuțiile fundamentale în domeniul [[Analiză numerică|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]] 
|{{flagicon|USA}} [[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, {{Ill-wd|Q1121396|3=CTSS}} și {{Ill-wd|Q739186}}.''
|-
![[1991]] 
|{{flagicon|UK}} [[Robin Milner]]  
|''Pentru trei realizări diferite și complete: 1) {{Ill-wd|Q397442}}, mecanizarea Logicii Funcțiilor Calculabile ale lui Scott, probabil prima unealtă compusă pe baze teoretice, și totuși utilă practic, pentru [[Demonstrarea automată de teoreme|construcția de demonstrații asistată de mașină]]; 2) [[Limbajul de programare ML|ML]], primul limbaj care a inclus inferența polimorfică de tip împreună cu un mecanism de [[tratarea excepțiilor|tratare a excepțiilor]] {{Ill-wd|Q736866}}; 3) [[Analiza sistemelor de comunicare]], o teorie generală a [[Concurență (informatică)|concurenței]]. În plus, a formulat și promovat [[abstracția completă]], studiul relației dintre [[semantica operațională]] și [[semantica denotațională|cea denotațională]].''
|-
![[1992]] 
|{{flagicon|USA}} [[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 de calculatoare|rețele]], [[Sistem de operare|sisteme de operare]], sisteme de programare, dispozitive de afișare, securitatea calculatoarelor și publicarea documentelor.''
|-
![[1993]] 
|{{flagicon|Latvia}} [[Juris Hartmanis]] și <br> {{flagicon|USA}} [[Richard E. Stearns]] 
|''Ca recunoaștere a lucrării lor de referință care a stabilit bazele domeniului [[Teoria complexității computaționale|teoriei complexității computaționale]].''
|-
![[1994]] 
|{{flagicon|USA}} [[Edward Feigenbaum]] și <br> {{flagicon|India}} {{flagicon|USA}} [[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]] 
|{{flagicon|VEN}} [[Manuel Blum]] 
|''Ca recunoaștere pentru contribuțiile sale la bazele [[Teoria complexității computaționale|teoriei complexității computaționale]] și la aplicarea acestora în [[criptografie]] și [[verificarea programelor]].''
|-
![[1996]] 
|{{flagicon|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]] 
|{{flagicon|USA}} [[Douglas Engelbart]] 
|''Pentru viziunea sa asupra viitorului utilizării interactive a calculatoarelor și pentru inventarea de tehnologii cheie pentru realizarea acestei viziuni.''
|-
![[1998]] 
|{{flagicon|USA}} [[Jim Gray]]
|''Pentru contribuții de referință la cercetarea [[Bază de date|bazelor de date]] și [[Prelucrarea tranzacțiilor|prelucrării tranzacțiilor]] și pentru conducerea tehnică în implementarea sistemelor.''
|-
![[1999]] 
|{{flagicon|USA}} [[Frederick Brooks|Frederick P. Brooks, Jr.]]
|''Pentru contribuții importante în domeniile [[arhitectura calculatoarelor|arhitecturii calculatoarelor]], [[Sistem de operare|sistemelor de operare]], și [[Inginerie software|ingineriei software]].''
|-
![[2000]] 
|{{flagicon|USA}} {{flagicon|Taiwan}} [[Andrew Chi-Chih Yao]] 
|''Ca recunoaștere a contribuțiilor sale fundamentale la [[teoria calculabilității]], inclusiv la teoria [[Numere pseudoaleatoare|generării de numere pseudoaleatoare]] bazată pe complexitate, [[criptografie]], și [[complexitatea comunicației]].''
|-
![[2001]] 
|{{flagicon|Norway}} [[Ole-Johan Dahl]] și <br> {{flagicon|Norway}} [[Kristen Nygaard]] 
|''Pentru ideile lor care au stat la baza apariției [[Programare orientată obiect|programării orientate obiect]], prin proiectarea de către ei a limbajelor de programare [[Simula]] I și Simula 67.''
|-
![[2002]] 
|{{flagicon|USA}} [[Ron Rivest|Ronald L. Rivest]], <br> {{flagicon|Israel}} [[Adi Shamir]] și <br> {{flagicon|USA}} [[Leonard Adleman|Leonard M. Adleman]] 
|''Pentru ingenioasa lor contribuție prin care [[criptografia cu chei publice]] a devenit utilă în practică.''
|-
![[2003]] 
|{{flagicon|USA}} [[Alan Kay]] 
|''Pentru ideile sale inovatoare care stau la baza limbajelor contemporane de programare orientată obiect, pentru conducerea echipei care a dezvoltat {{Ill-wd|Q235086}} și pentru contribuțiile sale care au ajutat la progresul calculatoarelor personale.''
|-
![[2004]] 
|{{flagicon|USA}} [[Vinton Gray Cerf]] și <br> {{flagicon|USA}} [[Robert Elliot Kahn]]
|''Pentru munca de pionierat în domeniul interconectării rețelelor de calculatoare, inclusiv pentru proiectarea și implementarea protocoalelor de bază ale [[Internet]]ului, [[TCP/IP]], și pentru munca în domeniul rețelelor.''
|-
![[2005]] 
|{{flagicon|Denmark}} [[Peter Naur]]
|''Pentru contribuții fundamentale în domeniul proiectării [[Limbaj de programare|limbajelor de programare]] și pentru definiția {{Ill-wd|Q1209759}}, în domeniul proiectării [[compilator|compilatoarelor]], și în arta și practica programării calculatoarelor.''
|-
![[2006]] 
|{{flagicon|USA}} [[Fran Allen|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]] 
|{{flagicon|USA}} [[Edmund M. Clarke]], <br> {{flagicon|USA}} [[E. Allen Emerson]] și <br> {{flagicon|France}} {{flagicon|Greece}} [[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]] 
|{{flagicon|USA}} [[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]]
|{{flagicon|USA}} [[Charles P. Thacker]]
|''Pentru proiectarea și realizarea lui Alto, primul calculator personal modern; și pentru contribuțiile la Ethernet și la PC tabletă.''
|-
![[2010]]
|{{flagicon|UK}} {{Ill-wd|Q93154}}
|''Pentru contribuții transformatoare în domeniul [[Teoria computației|teoriei calculului]], inclusiv pentru teoria învățării probabil aproximativ corecte ({{Ill-wd|Q458526|3=PAC}}), complexitatea enumerării și a calculului algebric, și teoria calculului paralel și distribuit.''
|-
![[2011]]
|{{flagicon|Israel}} {{flagicon|USA}} {{Ill-wd|Q92824}}<ref>{{cite doi|10.1145/1283920.2351636}}</ref>
|''Pentru contribuții fundamentale în domeniul inteligenței artificiale prin dezvoltarea unei analize a raționamentului probabilist și cauzal.''<ref>{{cite web |url=http://amturing.acm.org/award_winners/pearl_2658896.cfm |title=Judea Pearl |publisher=ACM}}</ref>
|-
![[2012]]
|{{flagicon|Italy}} {{flagicon|USA}} {{Ill-wd|Q93080}}<br />  {{flagicon|Israel}} {{flagicon|USA}} {{Ill-wd|Q11609}}
|''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.''<ref>{{cite web |url=http://www.acm.org/press-room/news-releases/2013/turing-award-12/ |title=Turing award 2012 |publisher=ACM |accessdate=2014-01-10 |archive-date=2013-03-18 |archive-url=https://web.archive.org/web/20130318034311/http://www.acm.org/press-room/news-releases/2013/turing-award-12/ |dead-url=yes }}</ref>
|-
!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ă.''<ref>{{cite web |url=http://amturing.acm.org/award_winners/lamport_1205376.cfm |title=Turing award 2013 |publisher=ACM}}</ref><ref>{{Cite journal | last1 = Lamport | first1 = L. |authorlink1=Leslie Lamport| title = Time, clocks, and the ordering of events in a distributed system | doi = 10.1145/359545.359563 | journal = {{Ill-wd|Q1120519}}| volume = 21 | issue = 7 | pages = 558–565| year = 1978 | url=http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf}}</ref>
|-
!2014
|{{Ill-wd|Q92758}}
|''Pentru contribuții fundamentale la conceptele și practicile ce stau la baza sistemelor moderne de baze de date.''<ref>{{cite web |url=http://amturing.acm.org/award_winners/stonebraker_1172121.cfm |title=Turing award 2014 |publisher=ACM}}</ref>
|-
!2015
|[[Martin Hellman]]<br> [[Whitfield Diffie]]
|''Pentru contribuții fundamentale în criptografia modernă. Articolul inovator al lui Diffie și Hellman, „Noi direcții în criptografie”, din 1976,<ref name="DiffieHellman1976">{{cite journal|last1=Diffie|first1=W.|last2=Hellman|first2=M.|title=New directions in cryptography|journal=IEEE Transactions on Information Theory|volume=22|issue=6|year=1976|pages=644–654|url=https://www-ee.stanford.edu/~hellman/publications/24.pdf|doi=10.1109/TIT.1976.1055638}}</ref> 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.''<ref>{{cite web
|url=http://amturing.acm.org/award_winners/diffie_8371646.cfm|title=Cryptography Pioneers Receive 2015 ACM A.M. Turing Award| publisher=ACM}}</ref>
|-
![[2016]]
|{{flagicon|UK}} [[Tim Berners-Lee|Sir Tim Berners-Lee]]
|''Pentru crearea World Wide Web, a primului browser, a protocoalelor și algoritmilor fundamentali care au contribuit la dezvoltarea internetului.''
|-
|}

== Note ==
<references />

[[Categorie:Alan Turing]]
[[Categorie:Premii științifice]]