Premiul Grace Murray Hopper este un premiu acordat unui profesionist tânăr (sub 35 de ani) care a adus o contribuție semnificativă în domeniul calculului . Câștigătorul premiului primește 35.000 USD ca premiu. Suportul financiar este oferit de Microsoft Corporation .
Deși multe premii au adăugat numele Grace Hopper la titlurile lor după moartea ei în 1992 , „Premiul Grace Murray Hopper” anual a fost înființat de Asociația pentru Mașini de Calcul (ACM) încă din 1971 .
| An | Laureat | Motivul atribuirii |
|---|---|---|
| 1971 | Donald Ervin Knuth | Text original (engleză)[ arataascunde] Pentru proiectarea și implementarea TEX, un instrument inovator pentru compunerea computerizată a documentelor de înaltă calitate tipografică. |
| 1972 | Paul H. Dirksen Paul Kress |
Text original (engleză)[ arataascunde] Pentru crearea WATFOR Compiler, primul membru al unei noi familii puternice de instrumente de diagnosticare și programare educațională. |
| 1973 | Lawrence Breed Richard Latwell Roger Moore |
Text original (engleză)[ arataascunde] Pentru munca lor în proiectarea și implementarea APL/360, stabilind noi standarde în simplitate, eficiență, fiabilitate și timp de răspuns pentru sistemele interactive. |
| 1974 | George N. Baird | Text original (engleză)[ arataascunde] Pentru dezvoltarea și implementarea cu succes a Sistemului de validare a compilatorului COBOL al Marinei. |
| 1975 | Allan L. Scherr | Text original (engleză)[ arataascunde] Pentru studiul său de pionierat cantitativ în analiza performanței computerelor. |
| 1976 | Edward Hans Shortleaf | Text original (engleză)[ arataascunde] Pentru cercetarea sa de pionierat, care este întruchipată în programul MYCIN. MYCIN este un program care consultă medicii cu privire la diagnosticul și tratamentul infecțiilor. În crearea MYCIN, Shortliffe și-a folosit experiența medicală, împreună cu cercetarea sa în proiectarea sistemelor bazate pe cunoștințe, pentru a produce un pachet integrat care este ușor de utilizat și extins de către medicii experți. Munca lui Shortliffe a stat la baza unui program de cercetare susținut de NIH și a fost studiată pe scară largă și folosită de alții în domeniul sistemelor bazate pe cunoaștere. |
| 1977 | nepremiat | |
| 1978 | Raymond Kurzweil | Text original (engleză)[ arataascunde] Pentru dezvoltarea sa a unei mașini unice de citit pentru nevăzători, un dispozitiv bazat pe computer care citește paginile tipărite cu voce tare. Aparatul Kurzweil este un dispozitiv de 80 de lire sterline care trage un fascicul de lumină pe fiecare pagină tipărită, convertește lumina reflectată pe fiecare pagină tipărită, transformă lumina reflectată în date digitale care sunt analizate de computerul său încorporat și apoi transformate în vorbire sintetică. Se așteaptă ca citirea tuturor materialelor tipărite să fie posibilă pentru persoanele nevăzătoare, a căror lectură era anterior limitată la materialul tradus în Braille. Mașina nu ar fi fost posibilă fără o altă realizare a lui Kurzweil, adică un set de reguli concretizate în programul de mini-computer prin care caracterele tipărite de o mare varietate de dimensiuni și forme sunt recunoscute în mod fiabil și automat. |
| 1979 | Ştefan Wozniak | Text original (engleză)[ arataascunde] Pentru numeroasele sale contribuții la domeniul în creștere rapidă al computerelor personale și, în special, la hardware și software pentru computerul Apple. |
| 1980 | Robert Metcalfe | Text original (engleză)[ arataascunde] Pentru munca sa în dezvoltarea rețelelor locale, în special Ethernet. |
| 1981 | Daniel Singer Bricklin | Text original (engleză)[ arataascunde] Pentru contribuțiile sale la calcularea personală și, în special, la proiectarea VisCalc. Eforturile lui Brickin în dezvoltarea „Calculatorului vizual” oferă „excelența și eleganța pe care ACM încearcă să le susțină prin activități precum programul Premiilor. |
| 1982 | Reid | Text original (engleză)[ arataascunde] Pentru contribuțiile sale în domeniul sistemelor computerizate de producție de text și de tipărire, în special Scribe, care reprezintă un progres major în acest domeniu. Acesta încorporează mai multe inovații bazate pe cercetarea informatică în proiectarea limbajului de programare, sisteme bazate pe cunoștințe, procesarea documentelor computerizate și tipografie. Impactul Scribe a fost substanțial datorită documentației excelente și eforturilor lui Reid de a răspândi sistemul. |
| 1983 | nepremiat | |
| 1984 | Daniel Henry Holmes | Text original (engleză)[ arataascunde] Pentru contribuții fundamentale la limbaje de programare orientate pe obiecte și tehnici de programare aferente. Teoriile limbajelor și sistemele de dezvoltare cunoscute sub numele de „Smalltalk” au pus bazele explorărilor în noile metodologii software, designuri de interfețe grafice cu utilizatorul și forme de asistență on-line pentru procesul de dezvoltare a software-ului. |
| 1985 | Cordell Green | Text original (engleză)[ arataascunde] Pentru stabilirea mai multor aspecte cheie ale bazei teoretice pentru programarea logică și furnizarea unui demonstrator de teoremă de rezoluție pentru a realiza o sarcină de programare prin construirea rezultatului pe care programul de calculator trebuie să îl calculeze. pentru demonstrarea corectă a tehnicii constructive și pentru prezentarea unei metode eficiente de construire a răspunsului; aceste contribuții oferă o bază teoretică timpurie pentru Prolog și programarea logică. |
| 1986 | William Nelson Joy | Text original (engleză)[ arataascunde] Pentru munca sa pe sistemul de operare Berkeley UNIX ca proiectant, integrator și implementator al multor dintre caracteristicile sale avansate, inclusiv memoria virtuală, C-shell, editorul vi Screen și Networking. |
| 1987 | John Ousterhout | Text original (engleză)[ arataascunde] Pentru contribuția sa la proiectarea asistată de computer a circuitelor integrate la scară foarte mare. Sistemele sale, Caesar și Magic, au demonstrat că sistemele CAD eficiente nu trebuie să fie costisitoare, greu de învățat sau lente. |
| 1988 | Guy Lewis | Text original (engleză)[ arataascunde] Pentru contribuțiile sale generale la dezvoltarea programării simbolice de ordin superior, în principal pentru avansarea sa în domeniul lexical în LISP. |
| 1989 | William Daniel Hillis | Text original (engleză)[ arataascunde] Pentru cercetările sale de bază privind algoritmii paraleli de date și pentru conceperea, proiectarea, implementarea și comercializarea mașinii de conectare. |
| 1990 | Richard Stallman | Text original (engleză)[ arataascunde] Pentru munca de pionierat în dezvoltarea editorului extensibil EMACS (Editing Macros) |
| 1991 | Xu Fengxiong | Text original (engleză)[ arataascunde] Pentru contribuții în arhitectură și algoritmi pentru mașini de șah. Munca lui a dus la crearea mașinii Deep Thought Chess Machine, care a dus la primul computer de joc de șah care a învins Grandmasters în jocul de turneu și primul care a obținut un rating certificat la nivel de Grandmaster. |
| 1992 | nepremiat | |
| 1993 | Bjarne Stroustrup | Text original (engleză)[ arataascunde] Pentru munca sa timpurie a pus bazele limbajului de programare C++. Pe baza fundațiilor și a Dr. Eforturile continue ale lui Stroustrup, C++ a devenit unul dintre cele mai influente limbaje de programare din istoria computerului. |
| 1994 | nepremiat | |
| 1995 | nepremiat | |
| 1996 | Shafi Goldwasser | Text original (engleză)[ arataascunde] Pentru lucrările ei timpurii legate de calcul, aleatorietate, comitet de cunoștințe și dovezi, care a modelat bazele teoriei calculului probabilistic, teoriei numerelor computaționale și criptografiei. |
| 1997 | nepremiat | |
| 1998 | nepremiat | |
| 1999 | Wenmei | Text original (engleză)[ arataascunde] Pentru proiectarea și implementarea infrastructurii compilatorului IMPACT, care a fost utilizată pe scară largă atât de industria microprocesoarelor ca bază pentru dezvoltarea de produse, cât și de mediul academic ca bază pentru cercetarea și dezvoltarea avansată în arhitectura computerelor și proiectarea compilatorului. |
| 2000 | Lydia Kavraki | Text original (engleză)[ arataascunde] Pentru munca sa fundamentală asupra abordării foii de parcurs probabilistice, care a provocat o schimbare de paradigmă în domeniul planificării traseului și are multe aplicații în robotică, producție, nanotehnologie și biologie computațională. |
| 2001 | George Nekyula | Text original (engleză)[ arataascunde] Pentru munca sa fundamentală privind conceptul și implementarea Proof Carrying Code, care a avut un impact mare în domeniul limbajelor de programare și al compilatorilor și a dat o nouă direcție aplicațiilor teoremei care dovedesc corectitudinea programului, cum ar fi siguranța dispozitivelor mobile. software bazat pe cod și componente. |
| 2002 | Ramakrishnan | Text original (engleză)[ arataascunde] Pentru munca sa fundamentală privind regulile de asociere minieră, care a dus la regulile de asociere să devină un instrument cheie de extragere a datelor, precum și o parte a programului de bază în cursurile de baze de date și de extragere a datelor. |
| 2003 | Stephen Keckler | Text original (engleză)[ arataascunde] Pentru o analiză revoluționară a scalarii tehnologiei pentru procesoarele de înaltă performanță, care aruncă o lumină nouă asupra metodelor necesare pentru a menține tendințele de îmbunătățire a performanței în arhitectura computerelor și asupra implicațiilor de proiectare pentru viitoarele procesoare și sisteme de înaltă performanță. |
| 2004 | Jennifer Rexford | Text original (engleză)[ arataascunde] Pentru modele, algoritmi și sisteme implementate care asigură rutarea Internet stabilă și eficientă fără coordonare globală. |
| 2005 | Omer Reingold | Text original (engleză)[ arataascunde] Pentru munca sa de a găsi un algoritm determinist în spațiu logaritmic pentru conectivitatea ST în grafice nedirecționate. |
| 2006 | Klein | Text original (engleză)[ arataascunde] Pentru proiectarea unui sistem capabil să învețe o gramatică de înaltă calitate pentru limba engleză direct din text. |
| 2007 | Vern Paxson | Text original (engleză)[ arataascunde] Pentru munca sa în măsurarea și caracterizarea Internetului. |
| 2008 | Dawson Engler | Text original (engleză)[ arataascunde] Pentru munca sa inovatoare privind verificarea automată a programelor și găsirea erorilor. |
| 2009 | Tim Roughgarden | Text original (engleză)[ arataascunde] Pentru cercetările sale care combină informatica și teoria jocurilor pentru a analiza rutarea rețelei între părțile interesate. |
| 2010 | Craig | Text original (engleză)[ arataascunde] Pentru construcția sa inovatoare a unei scheme de criptare complet homomorfă, care să permită efectuarea de calcule arbitrare pe date criptate fără ca datele să fie decriptate. |
| 2011 | Louis von Ahn | Text original (engleză)[ arataascunde] Pentru cercetările sale în valorificarea laturii umane a interacțiunii om-calculator pentru scopuri computaționale. |
| 2012 | Dina Katabi | Text original (engleză)[ arataascunde] Pentru contribuțiile sale fundamentale la teoria și practica controlului congestiei rețelei și alocării lățimii de bandă. |
| Casado | Text original (engleză)[ arataascunde] Pentru munca sa a creat mișcarea Software Defined Networking (SDN), o nouă paradigmă în cercetarea și practicarea rețelelor de calculatoare care oferă o alternativă software la componentele de rețea bazate pe hardware. | |
| 2013 | Pedro Felipe Felzenszwalb | Text original (engleză)[ arataascunde] Pentru contribuții tehnice la problema detectării obiectelor în imagini care au avut un impact foarte mare în domeniile viziunii computerizate și învățării automate. |
| 2014 | Sylvia Ratsanami | Text original (engleză)[ arataascunde] Pentru munca ei fundamentală privind tabelele hash distribuite, o contribuție fundamentală la proiectarea sistemelor de calcul distribuite și descentralizate la scară largă. |
| 2015 | Brent Waters | Text original (engleză)[ arataascunde] Pentru introducerea și dezvoltarea conceptelor de criptare bazată pe atribute și criptare funcțională. |
| 2016 | Jeffrey | Text original (engleză)[ arataascunde] Pentru dezvoltarea limbajelor de vizualizare care au schimbat fundamental modul în care oamenii construiesc și interacționează cu diagrame și grafice pe web. |
| 2017 | Randles | Text original (engleză)[ arataascunde] Pentru dezvoltarea HARVEY, un cod de simulare circulator masiv paralel, capabil să modeleze întregul sistem arterial uman la rezoluție subcelulară și să promoveze descoperiri care vor servi ca bază pentru îmbunătățirea diagnosticului, prevenirii și tratamentului bolilor umane. |
| 2018 | Konstantinos Daskalakis [1] și Michael J. Freedman [2] |
|