Premiul Grace-Murray-Hopper

Premiul Grace-Murray-Hopper

Data crearii	1971

Premiul Grace-Murray-Hopper este un premiu acordat de Asociația pentru Mașini de Calcul (ACM) înființată în 1971. Acesta recunoaște un om de știință în domeniul informaticii pentru contribuția remarcabilă la calcul, făcută înainte de vârsta de 35 de ani. Este numit după Grace Hopper , un pionier în domeniul programării și al compilării .

Laureați

Anii 1970

1971 Donald E. Knuth pentru publicarea în 1968 (la vârsta de 30 de ani) a primului volum al monumentalului său tratat de programare computerizată: The Art of Computer Programming .
1972 Paul H. Dirksen (ro) , Paul H. Cress (ro) pentru crearea compilatorului WATFOR. Este primul membru al unei noi familii de instrumente de programare cu scopuri educaționale și diagnostice.
1973 Lawrence M. Breed (în) , Richard H. Lathwell (în) , Roger Moore (în) pentru munca lor în proiectarea și implementarea APL / 360, care stabilește noi standarde în simplitate, eficiență, fiabilitate și timpi de răspuns sisteme interactive ( HMI ).
1974 George N. Baird pentru dezvoltarea unui sistem de validare a compilatorului pentru implementarea limbajului COBOL al US Navy .
1975 Allan L. Scherr pentru cercetarea sa de pionierat în analiza performanței sistemelor computerizate de multiproprietate .
1976 Edward H. Shortliffe (în) pentru cercetarea sa inovatoare care este întruchipată în sistemul său expert MYCIN. MYCIN a folosit inteligența artificială pentru a identifica bacteriile responsabile de infecții severe și a recomandat ce antibiotice să ia și doza lor . În crearea MYCIN, Shortliffe și-a folosit cunoștințele medicale împreună cu cercetările sale în proiectarea sistemelor expert pentru a produce un program ușor de utilizat și extensibil pentru medici.
1977 Nu au fost acordate premii în acel an.
1978 Raymond Kurzweil pentru proiectarea unei mașini de citit pentru nevăzători. Mașina lui Kurzweil cântărește în jur de 36 kg . Trimite raze de lumină pe paginile tipărite, apoi transformă lumina reflectată în date digitale analizate într-un computer de bord și transformă în cele din urmă aceste date în sinteză de vorbire . Crearea acestei mașini i-a permis lui Kurzweil să fie unul dintre pionierii în domeniul recunoașterii optice a caracterelor .
1979 Steve Wozniak pentru multe contribuțiile sale în domeniul calculatoarelor personale și , în special , hardware și software - ul său avansat în proiectarea de Apple I .

Anii 1980

1980 Robert M. Metcalfe pentru munca sa în dezvoltarea rețelelor locale , în special pentru Ethernet .
1981 Daniel S. Bricklin pentru contribuțiile sale la calculul personal și, în special, la proiectarea VisCalc. Eforturile lui Brickin în dezvoltarea „calculatorului vizual” oferă excelența și eleganța pe care ACM își propune să o susțină prin activități precum programul de premiere.
1982 Brian K. Reid pentru contribuțiile sale în domeniul sistemelor computerizate care produc text și compoziție tipografice, în special limbajul Scribe_ (markup_language) (în) care reprezintă un progres major în acest domeniu. Acesta întruchipează mai multe inovații bazate pe cercetare în domeniul informaticii în sisteme bazate pe cunoaștere și procesare de text computerizată. Impactul Scribe a fost considerabil datorită documentației excelente și eforturilor Reid de a răspândi sistemul.
1983 Nu a fost acordat niciun premiu în acel an.
1984 Daniel Henry Holmes Ingalls, Jr. pentru munca sa la Xerox PARC, unde a fost o forță tehnică și de inspirație majoră în dezvoltarea limbajului de programare Smalltalk și a utilizărilor sale grafice. El este proiectantul operației Bit blit (in) care este acum utilizat pe scară largă în aplicațiile grafice. De asemenea, cercetările sale au schimbat drastic punctele de vedere ale industriei calculatoarelor cu privire la modul de a face un computer accesibil.
1985 Cordell Green pentru stabilirea mai multor aspecte cheie ale bazei teoretice a programării logice și pentru furnizarea de software pentru demonstrarea automată a teoremelor . Contribuțiile sale oferă o bază teoretică pentru programarea logică și Prolog .
1986 William N. Joy pentru munca sa în dezvoltarea sistemului de operare Berkeley Unix ca proiectant și integrator. Această lucrare i-a permis să implementeze multe funcții avansate precum memoria virtuală , shell C , editorul de text vi și rețeaua de sistem.
1987 John Ousterhout pentru contribuțiile sale la proiectarea asistată de computer a circuitelor VLSI .
1988 Guy L. Steele pentru contribuția sa generală la dezvoltarea jurnalului de computer Higher Order Symbolic Programming și în principal pentru progresele sale în domeniul lexical în LISP .
1989 W. Daniel Hillis pentru cercetările sale privind algoritmii de paralelism de date și pentru proiectarea, implementarea și comercializarea Connection_Machine (în) .

Anii 1990

1990 Richard Stallman pentru munca sa inovatoare în dezvoltarea editorului extensibil Emacs
1991 Feng-hsiung Hsu pentru contribuțiile sale la arhitectura și algoritmii mașinilor de șah . Munca sa a dus la crearea Deep Blue , care a fost prima mașină care a învins un Grandmaster și a obținut certificarea de nivel Grandmaster în șah.
1992 Nu au fost acordate premii în acel an.
1993 Bjarne Stroustrup pentru punerea bazelor limbajului de programare C ++ . Eforturile sale continue au permis C ++ să devină unul dintre cele mai influente limbaje de programare din istoria informaticii.
1994-1995 Nu a fost acordat niciun premiu în acei ani.
1996 Shafi Goldwasser pentru lucrările sale despre Calcul , Random și Interactive Proof Systems, care au modelat bazele teoriei complexității (informatică teoretică) , teoriei numerelor algoritmice și criptografiei . Această lucrare este o influență continuă asupra proiectării protocoalelor de comunicații sigure. De asemenea, are aplicații practice în dezvoltarea rețelelor securizate și a sistemelor informatice.
1997-1998 Nu a fost acordat niciun premiu în acei ani.
1999 Wen-mei Hwu pentru proiectarea și implementarea infrastructurii de compilare IMPACT. Acesta a fost utilizat pe scară largă atât de industria microprocesoarelor, cât și de mediul academic pentru cercetare și dezvoltare avansată în arhitectura computerelor și proiectarea compilatoarelor.

Anii 2000

2000 Lydia Kavraki pentru munca ei în abordarea „foaie de parcurs probabilistică”, care a adus o schimbare de paradigmă în domeniul planificării mișcării ; și care are multe aplicații în robotică , producție , nanotehnologie și bioinformatică .
2001 George Necula pentru munca sa asupra conceptului și implementării mecanismului „Proof Carrying Code”, care a avut un mare impact în domeniul limbajelor de programare și al compilatorilor și a dat o nouă direcție demonstrării automate a teoremelor .
2002 Ramakrishnan Srikant pentru munca sa inovatoare privind regulile de asociere în domeniul mineritului de date , care astăzi sunt centrale în domeniu și sunt prezente în baza de date și cursurile de minerit de date.
2003 Stephen W. Keckler pentru analiza sa de pionierat a arhitecturilor de microprocesor de înaltă performanță și metodele necesare pentru a menține tendințele de îmbunătățire a performanței acestora, precum și implicațiile de proiectare ale viitoarelor arhitecturi de microprocesor de înaltă performanță .
2004 Jennifer Rexford pentru modelele, algoritmii și sistemele care asigură o rutare stabilă și eficientă pe Internet fără a fi nevoie de coordonare globală.
2005 Omer Reingold pentru găsirea unui algoritm determinist care utilizează spațiul de dimensiuni logaritmice pentru a rezolva problemele de conectivitate ST în grafice nedirecționate.
2006 Daniel Klein pentru proiectarea unui sistem capabil să învețe o gramatică engleză de bună calitate din text.
2007 Vern Paxson pentru activitatea sa de măsurare și caracterizare a internetului .
2008 Dawson Engler pentru munca sa de pionierat în verificarea automată a codului sursă a programului de calculator și identificarea erorilor .
2009 Tim Roughgarden pentru cercetările sale combinând teoria jocurilor și informatica pentru a analiza rutare în rețele . Acest câmp este astăzi numit teoria algoritmică a jocurilor .

Anii 2010

2010 Craig Gentry , pentru crearea unui criptosistem de criptare complet omomorf . Acest tip de sistem permite efectuarea operațiunilor asupra datelor criptate fără ca acestea să fie decriptate în prealabil.
2011 Luis von Ahn , pentru cercetările sale despre interacțiunea om-mașină , în special identificarea sarcinilor de calcul pentru care oamenii pot ajuta computerele (cum ar fi lucrul la imagini).
2012
- Martin Casado, pentru munca sa în crearea mișcării SDN , o nouă paradigmă în cercetare și pentru utilizarea rețelelor de calculatoare care oferă o alternativă software la componentele de rețea hardware tradiționale.
- Dina Katabi pentru contribuția sa fundamentală la teoria și practica controlului congestiei rețelei și alocarea lățimii de bandă.
2013 Pedro F Felzenszalb, pentru contribuțiile sale la problemele de detectare a obiectelor în imagini. Această cercetare are un impact puternic în domeniul viziunii computerizate și al învățării automate .
2014 Sylvia Ratnasamy, pentru munca ei de pionierat pe mesele distribuite de hash . O contribuție fundamentală la proiectarea sistemelor de calcul distribuite descentralizate pe scară largă.
2015 Brent Waters, pentru munca sa privind criptarea atributelor . Acesta este un tip de criptare asimetrică care permite controlul accesului la o parte a informațiilor criptate pe baza atributelor specifice din cheia destinatarului.
2016, Jeffrey Heer, pentru munca sa privind analiza datelor și vizualizarea acestora.
2017, Amanda Randles, pentru dezvoltarea HARVEY, o simulare a dinamicii fluidelor, utilizată pentru modelarea fluxului sanguin.
2018, Constantinos Daskalakis și Michael J. Freedman (ro) . Daskalakis primește premiul pentru munca sa în teoria algoritmică a jocurilor și Freedman pentru munca sa pe baze de date și sisteme distribuite.
2019, Maria-Florina Balcan , pentru munca sa în inteligența artificială, în special pe învățarea activă .

Referințe

linkuri externe

Pagina oficială a Premiului Grace Murray Hopper