Premiul Turing

Premiul Turing
Engleză  Premiul ACM AM Turing
Țară
Tip de premiu științific
Cine este premiat Asociația pentru Mașini de Calcul
Statistici
Data înființării 1966
Site-ul web amturing.acm.org _ 
 Fișiere media la Wikimedia Commons

Premiul Turing este cel mai prestigios premiu din domeniul  informaticii , acordat de Asociația pentru Mașini de Calcul pentru contribuțiile științifice și tehnice remarcabile în acest domeniu.

Înființată de Asociația pentru Mașini de Calcul în onoarea remarcabilului om de știință englez Alan Turing , care a primit primele rezultate profunde privind calculabilitatea cu mult înainte de apariția primelor calculatoare electronice .

Se acordă anual unuia sau mai multor informaticieni și informaticieni ale căror contribuții în acest domeniu au avut un impact puternic și de durată asupra comunității informaticii [1] . Premiul poate fi acordat unei singure persoane nu mai mult de o dată. În domeniul tehnologiei informației, Premiul Turing are un statut similar cu Premiul Nobel pentru științe academice [2] . A fost acordat pentru prima dată în 1966 lui Alan Perlis pentru dezvoltarea tehnologiei compilatorului .

În anii 2000, fondul de premii a fost sponsorizat de corporațiile Intel și Google , fondul anual de premii a fost de 250 de mii de dolari, din 2014 fondul de premii anual a crescut la 1 milion de dolari, iar Google a devenit unicul sponsor al premiului [3] ] [4] .

Prin tradiție, laureatul premiului susține un raport numit „Prelegerea Turing”, în care laureatul își împărtășește opinia cu privire la problemele informaticii și ale tehnologiei informatice care sunt importante în opinia sa.

Câștigătorii premiului Turing

An Laureat Motivul atribuirii
1966 Alan Perlis Pentru influența sa în domeniul tehnicilor de programare generică și al construirii compilatorului
1967 Maurice Wilks Profesorul Wilks este cel mai bine cunoscut ca proiectantul EDSAC , primul computer care permite stocarea internă a programelor . Construit în 1949 , EDSAC folosea memoria de linie de întârziere . El este, de asemenea, cunoscut, împreună cu Wheeler și Gill, ca autor al cărții din 1951 Prepararea programelor pentru calculatoare digitale electronice , care introduce conceptul esențial de bibliotecă .
1968 Richard Hamming Pentru lucrul în metode numerice , sisteme automate de codare, detectarea erorilor și coduri de corectare
1969 Marvin Minsky Pentru o contribuție uriașă la crearea, formarea, promovarea și dezvoltarea direcției științifice a inteligenței artificiale
1970 James Wilkinson Pentru cercetările sale în analiza numerică , care au contribuit la utilizarea calculatoarelor digitale de mare viteză, care au devenit de o importanță deosebită în lumina lucrărilor sale privind calculele algebrei liniare și analiza erorilor „inverse”.
1971 John McCarthy Conferința lui McCarthy „The Current State of Research in Artificial Intelligence ” evidențiază stadiul tehnicii într-un domeniu care datorează o mare parte din succesul său semnificativ muncii sale.
1972 Edsger Dijkstra Pentru contribuția sa semnificativă la dezvoltarea limbajului de programare la nivel înalt Algol , care a devenit simbolul clarității și rigoarei matematice. El este unul dintre cei mai străluciți reprezentanți ai științei și artei limbajelor de programare în toată generalitatea lor, precum și un om de știință care a contribuit în multe feluri la înțelegerea structurii, reprezentării și implementării acestora. Publicațiile sale de cincisprezece ani acoperă o gamă largă de subiecte, de la articole teoretice despre teoria grafurilor până la ghiduri de bază, descrieri și reflecții filozofice în domeniul limbajelor de programare.
1973 Charles Bachman Pentru contribuții remarcabile la tehnologia bazelor de date
1974 Donald Knuth Pentru marea sa contribuție la analiza algoritmilor, dezvoltarea limbajelor de programare și, în special, pentru crearea unei serii binecunoscute de cărți sub titlul general „ Arta programarii ”
1975 Allen Newell Herbert Simon
 Pentru contribuții fundamentale la inteligența artificială, psihologia percepției umane și procesarea listelor
1976 Michael Rabin Dana Scott
 Pentru articolul „Automate finite și problema decidabilitatii lor”, care propunea ideea unui automat nedeterminist , concept care s-a dovedit ulterior a fi de o valoare excepțională. Articolul, devenit un clasic, a servit drept inspirație pentru multe lucrări ulterioare în acest domeniu.
1977 John Backus Pentru contribuțiile sale profunde, de lungă durată și influente la proiectarea sistemelor software practice de nivel înalt, în special pentru munca sa asupra limbajului Fortran și publicația sa originală despre formalizarea specificațiilor limbajului de programare
1978 Robert Floyd Pentru influența sa incontestabilă asupra metodologiei de creare a software-ului eficient și de încredere și pentru ajutorul său în dezvoltarea unor domenii ale informaticii precum teoria parsării , semantica limbajelor de programare, verificarea automată a programelor, sinteza automată a programelor și analiza algoritmului
1979 Kenneth Iverson Pentru munca sa de pionierat în domeniul limbajelor de programare și al notației matematice, rezultând ceea ce este acum cunoscut printre specialiști ca APL , pentru contribuțiile sale la implementarea sistemelor interactive, utilizarea APL în scopuri educaționale, precum și pentru teoria și tehnica a limbajelor de programare
1980 Anthony Hoare Pentru contribuțiile sale fundamentale la definirea și dezvoltarea limbajelor de programare
1981 Edgar Codd Pentru contribuțiile sale fundamentale și de durată la teoria și practica sistemelor de management al bazelor de date, în special de tip relațional
1982 Stephen Arthur Cook Pentru progresele semnificative pe care le-a făcut în înțelegerea complexității calculului . Lucrarea sa a pus bazele teoriei NP-completitudinii . Studiul proprietăților și limitelor acestei clase a devenit una dintre cele mai importante direcții în teoria sistemelor de calcul în ultimii zece ani.
1983 Ken Thompson Dennis Ritchie
 Pentru dezvoltarea unei teorii generale a sistemelor de operare și, în special, pentru crearea Unix
1984 Niklaus Wirth Pentru dezvoltarea unei serii de limbaje informatice inovatoare, Euler , Algol-W , Modula și Pascal
1985 Richard Karp Pentru contribuții pe termen lung la teoria algoritmilor, inclusiv dezvoltarea de algoritmi eficienți pentru fluxuri pe rețele și alte probleme de optimizare combinatorie, compararea calculelor de complexitate polinomială cu noțiunea intuitivă de eficiență și, cel mai important, pentru contribuțiile la teorie. de NP-completitudine
1986 John Hopcroft Robert Tarjan
 Pentru realizări fundamentale în dezvoltarea și analiza algoritmilor și structurilor de date
1987 John Cock Pentru contribuții remarcabile la proiectarea și teoria compilatorului, arhitectura sistemelor mari și dezvoltarea computerelor RISC
1988 Ivan Sutherland Pentru contribuții fundamentale și vizionare la grafica computerizată , de la inventarea Sketchpad- ului , dar care nu se termină cu acesta
1989 William Cahan Pentru contribuţii fundamentale la analiza numerică . Unul dintre primii experți în calcule în virgulă mobilă . Kahan s-a dedicat, de asemenea, sarcinii de „a face lumea sigură pentru calcule numerice”
1990 Fernando Corbato Pentru munca de pionierat în managementul concepției și dezvoltării pentru crearea de sisteme informatice de uz general, la scară largă, pentru partajarea timpului și a resurselor, CTSS și Multics
1991 Robin Milner Pentru trei realizări diferite de înaltă calitate: 1) LCF , automatizarea dovezilor în logica funcțiilor calculabile ale lui Scott, aparent primul instrument de construcție automată a dovezilor construit pe o bază teoretică și totuși util în practică; 2) ML , primul limbaj de programare care utilizează inferența de tip polimorf împreună cu un mecanism de gestionare a erorilor tipizate ; 3) CCS , Teoria generală a calculului paralel . În plus, a formulat și dezvoltat abstractizarea completă , o teorie despre relația dintre semantica operațională și cea denotațională .
1992 Butler Lampson Pentru contribuții la dezvoltarea mediilor de calcul personalizate distribuite și a tehnologiei pentru implementarea acestora: stații de lucru , rețele , sisteme de operare , sisteme software, afișaje , securitate și schimb de documente
1993 Juris Hartmanis Richard E. Stearns
 În tribut pentru munca lor fundamentală, care a oferit baza pentru teoria complexității computaționale
1994 Edward Feigenbaum Raj Reddy
 Pentru a fi pionierat în dezvoltarea și crearea de sisteme de inteligență artificială la scară largă și pentru a demonstra importanța practică și valoarea comercială potențială a tehnologiilor de inteligență artificială
1995 Manuel Blum Ca recunoaștere a contribuțiilor la bazele teoriei complexității computaționale și a aplicării acesteia la criptografie și verificarea programelor
1996 Amir Pnueli Pentru munca fundamentală în implementarea logicii temporale în științele computaționale și pentru contribuții remarcabile la verificarea programelor și sistemelor
1997 Douglas Engelbart Pentru viziuni inspiratoare despre viitorul computerelor interactive și invenția de tehnologii cheie pentru a ajuta la realizarea acestei viziuni
1998 Jim Gray Pentru idei fundamentale în baze de date, cercetare în procesarea tranzacțiilor și conducere tehnică în implementarea sistemelor.
1999 Frederic Brooks Pentru contribuții semnificative din punct de vedere istoric la arhitectura computerelor , sistemele de operare și proiectarea software-ului .
2000 Andrew Yao În tribut pentru contribuțiile sale fundamentale la teoria calculului , inclusiv, bazată pe conceptul de complexitate computațională , teoria generării numerelor pseudoaleatoare , criptografia și complexitatea comunicării
2001 Ole-Johan Dahl Kristen Nyugor
 Pentru idei fundamentale pentru dezvoltarea programării orientate pe obiecte în timpul dezvoltării limbajelor de programare Simula I și Simula 67
2002 Ronald Rivest Adi Shamir Leonard Adleman

 Pentru o contribuție unică la creșterea valorii practice a sistemelor de criptare cu chei publice
2003 Alan Kay Pentru multe dintre ideile inovatoare care au stat la baza limbajelor moderne orientate pe obiecte , pentru conducerea echipei de dezvoltare a limbajului Smalltalk și pentru contribuțiile fundamentale la dezvoltarea domeniului PC .
2004 Vinton Cerf Robert Kahn
 Pentru munca de pionierat în problema interconectarii , inclusiv dezvoltarea și implementarea protocoalelor majore de Internet ,  TCP /IP , și pentru conducerea sa în rețelele de calculatoare
2005 Peter Naur Pentru contribuții fundamentale la proiectarea limbajelor de programare și la crearea limbajului Algol 60 , precum și la proiectarea compilatoarelor și la arta și tehnica programării computerelor
2006 Francis Allen Pentru contribuții de pionierat la teoria și practica optimizării programelor de calculator, care au servit drept bază pentru compilatoare moderne de optimizare și paralelizare automată a programelor
2007 Edmund Clark Allen Emerson Joseph Sifakis

 Pentru rolul lor în dezvoltarea modelului de verificare , o  tehnică de verificare a programelor extrem de eficientă utilizată pe scară largă atât în ​​dezvoltarea software -ului, cât și în dezvoltarea hardware [5]
2008 Barbara Liskov Pentru contribuții la bazele practice și teoretice ale limbajelor de programare și proiectării sistemelor, în special în domeniile cercetării toleranței la erori, abstracția datelor și calculul distribuit.
2009 Charles Thacker Pentru dezvoltarea și crearea de pionierat a lui Alto , primul computer personal modern, și pentru contribuțiile sale la tehnologia Ethernet și dezvoltarea computerelor personale tablete .
2010 Leslie Valiant Pentru contribuții la teoria algoritmilor , inclusiv învățarea aproximativă corectăenumerației și calculul algebric și teoria calculului paralel și distribuit . [6]
2011 Judah Pearl Pentru contribuții fundamentale la inteligența artificială prin dezvoltarea unui calcul  pentru raționamentul probabilistic și cauzal [7 ]
2012 Silvio Micali Shafi Goldwasser
 Pentru munca de pionierat privind criptarea probabilistică (inclusiv primul sistem criptografic probabilistic cu cheie publică ) și munca privind aplicarea dovezilor zero-knowledge în protocoalele criptografice [8] .
2013 Leslie Lampport Pentru contribuții fundamentale la teoria și practica sistemelor distribuite și care interacționează, marcate de descoperirea unor concepte precum cauzalitatea și ceasurile logice , securitatea și supraviețuirea, automatele replicabile, consistența datelor secvențiale [9] .
2014 Michael Spărgătorul de Pietre Pentru contribuții fundamentale la principiile și practicile care stau la baza sistemelor moderne de gestionare a bazelor de date [10] .
2015 Whitfield Diffie Martin Hellman
 Pentru contribuții fundamentale la criptografie [11] .
2016 Tim Berners-Lee Pentru inventarea World Wide Web , primul browser web și protocoalele și algoritmii fundamentali care au influențat răspândirea Internetului [12] .
2017 John Hennessy David Patterson
 Pentru o abordare sistematică și măsurabilă inovatoare a proiectării și verificării arhitecturilor de computere care a avut un impact de durată asupra industriei microprocesoarelor [13] .
2018 Yoshua Bengio Geoffrey Hinton Yan LeCun

 Pentru descoperirile conceptuale și inginerești care au făcut din rețelele neuronale profunde o piatră de temelie a calculului [14] .
2019 Ed Catmull Pat Hanrahan
 Pentru contribuții fundamentale la dezvoltarea graficii 3D și influența revoluționară asupra graficii computerizate în film și alte aplicații [15] .
2020 Alfred Aho Jeffrey Ullman
 Pentru formarea bazelor de compilare și algoritmi pentru limbaje de programare [16] .
2021 Jack Dongarra Pentru contribuțiile de pionierat la bibliotecile de metode numerice care au permis software-ului pentru supercomputer să țină pasul cu dezvoltarea hardware exponențială de-a lungul a patru decenii [17] .

Note

  1. ↑ Premiul AM Turing (link nu este disponibil) . ACM. Consultat la 5 noiembrie 2007. Arhivat din original pe 13 februarie 2012. 
  2. ↑ Brown, Bob. De ce nu există premiul Nobel pentru calcul  . Network World (6 iunie 2011). Preluat la 1 iunie 2022. Arhivat din original la 22 octombrie 2016.
  3. ↑ Google va oferi toată finanțarea pentru cel mai prestigiu premiu din domeniul calculului  , Asociația pentru mașini de calcul (13 noiembrie  2014). Arhivat din original pe 29 noiembrie 2014. Recuperat la 21 noiembrie 2014.  „ACM (Asociația pentru Mașini de Calcul) anunță astăzi că nivelul de finanțare pentru Premiul ACM AM Turing este acum de 1.000.000 USD, care va fi furnizat de Google Inc.”
  4. ↑ Banii din premiul Turing aproape au egalat premiul Nobel  (rusă) , OSZone  (21 noiembrie 2014). Arhivat din original pe 25 noiembrie 2014. Preluat la 21 noiembrie 2014.
  5. ↑ Anual Turing Award Winners Announced - Science and Technology - Compulent Arhivat 21 februarie 2009 la Wayback Machine .
  6. ↑ ACM Award Citation / Leslie G Valiant .
  7. ↑ Premiul Turing 2011. Judea Pearl . Preluat la 19 martie 2012. Arhivat din original la 26 august 2017.
  8. ↑ Premiul Turing 2012  (engleză)  (link inaccesibil) . ACM. Consultat la 18 martie 2013. Arhivat din original pe 21 martie 2013.
  9. ↑ Premiul Turing 2013  . ACM (18 martie 2014). Data accesului: 18 martie 2014. Arhivat din original pe 18 martie 2014.
  10. ↑ Pionierul în arhitectura sistemelor de baze de date primește cea mai mare onoare de la ACM . Pentru contribuții fundamentale la conceptele și practicile care stau la baza sistemelor moderne de baze de date.  (engleză)  (link inaccesibil) . ACM (25 martie 2015) . Preluat la 25 martie 2015. Arhivat din original la 25 martie 2015.
  11. ↑ Cryptography Pioneers Receive Acm AM Turing Award Arhivat 4 martie 2016 la Wayback Machine .
  12. ↑ Sir Tim Berners -Lee  . ACM. Consultat la 12 aprilie 2017. Arhivat din original pe 6 aprilie 2017.
  13. ↑ John L.  Hennesy . ACM. Preluat la 21 martie 2018. Arhivat din original la 22 martie 2018.
  14. ↑ Părinții revoluției învățării profunde primesc premiul ACM AM  Turing . ACM (27 martie 2019). Preluat la 27 martie 2019. Arhivat din original la 23 august 2021.
  15. ↑ Pionierii graficii computerizate moderne, recunoscuți cu premiul ACM AM Turing  . ACM (23 martie 2020). Preluat: 23 martie 2020.
  16. ↑ Premiul ACM Turing onorează inovatorii care au modelat bazele compilatorilor și algoritmilor limbajului  de programare . ACM (31 martie 2021). Preluat la 31 martie 2021. Arhivat din original la 7 octombrie 2021.
  17. ↑ Premiul ACM Turing îl onorează pe Jack J. Dongarra pentru concepte și metode de pionierat care au dus la calcule care schimbă lumea  . ACM (31 martie 2022). Consultat la 2 aprilie 2022. Arhivat din original la 1 aprilie 2022.

Link -uri

  Accesați articolul Wikidata  Dicționare și enciclopedii
 Câștigători ai premiului Turing