Cena Grace-Murray-Hopper

Cena Grace-Murray-Hopper

Datum vzniku	1971

Cena Grace-Murray-Hopper Prize je cenou Asociace pro výpočetní techniku (ACM) založenou v roce 1971. Oceňuje počítačového vědce za mimořádný přínos k výpočetní technice provedené před věkem 35 let. Je pojmenována po Grace Hopperové , průkopnici v oblasti programování a kompilace .

Laureáti

Sedmdesátá léta

1971 Donald E. Knuth za vydání prvního dílu monumentálního pojednání o počítačovém programování v roce 1968 (ve věku 30 let): The Art of Computer Programming .
1972 Paul H. Dirksen (en) , Paul H. Cress (en) za vytvoření překladače WATFOR. Je prvním členem nové rodiny programovacích nástrojů se vzdělávacími a diagnostickými účely.
1973 Lawrence M. Breed (in) , Richard H. Lathwell (in) , Roger Moore (in) za práci při navrhování a implementaci APL / 360, která stanoví nové standardy v jednoduchosti, účinnosti, spolehlivosti a době odezvy interaktivní systémy ( HMI ).
1974 George N. Baird za vývoj ověřovacího systému překladače pro implementaci jazyka COBOL amerického námořnictva .
1975 Allan L. Scherr za průkopnický výzkum v oblasti analýzy výkonu počítačových systémů timeshare .
1976 Edward H. Shortliffe (za) za inovativní výzkum, který je zakomponován do jeho expertního systému MYCIN. Společnost MYCIN použila umělou inteligenci k identifikaci bakterií odpovědných za závažné infekce a doporučila, která antibiotika užívat, a jejich dávkování . Při vytváření MYCINu využil Shortliffe své lékařské znalosti spolu se svým výzkumem v navrhování expertních systémů k vytvoření snadno použitelného a rozšiřitelného programu pro lékaře.
1977 V tomto roce nebyly vydány žádné ceny.
1978 Raymond Kurzweil za návrh čtecího zařízení pro nevidomé. Kurzweilův stroj váží kolem 36 kg . Vysílá světelné paprsky na vytištěné stránky, poté převádí odražené světlo na digitální data analyzovaná v palubním počítači a nakonec tato data transformuje na syntézu řeči . Vytvoření tohoto stroje umožnilo společnosti Kurzweil být jedním z průkopníků v oblasti optického rozpoznávání znaků .
1979 Steve Wozniak za jeho velký přínos v oblasti osobních počítačů , a zejména na jeho pokročilý hardware a software v designu Apple I .

1980

1980 Robert M. Metcalfe za práci při vývoji lokálních sítí , zejména za práci na Ethernetu .
1981 Daniel S. Bricklin za jeho příspěvky k osobní práci na počítači a zejména k návrhu aplikace VisCalc. Úsilí společnosti Brickin při vývoji „vizuální kalkulačky“ poskytuje dokonalost a eleganci, kterou chce ACM podporovat prostřednictvím aktivit, jako je program udělování cen.
1982 Brian K. Reid za jeho příspěvky v oblasti počítačových systémů produkujících text a kompozici typografických, konkrétně jazyka Scribe_ (markup_language) (in), který představuje hlavní pokrok v této oblasti. Spojuje v sobě několik novinek založených na výzkumu v oblasti informatiky v systémech založených na znalostech a počítač word zpracování. Dopad Scribe byl značný díky vynikající dokumentaci a snaze Reida šířit systém.
1983 V tomto roce nebyla udělena žádná cena.
1984 Daniel Henry Holmes Ingalls, Jr. za práci ve společnosti Xerox PARC, kde byl hlavní technickou a inspirativní silou při vývoji programovacího jazyka Smalltalk a jeho grafickém využití. Je návrhářem operace Bit blit (in), která je nyní široce používána v grafických aplikacích. Jeho výzkum také drasticky změnil pohled počítačového průmyslu na to, jak zpřístupnit počítač.
1985 Cordell Green za zavedení několika klíčových aspektů teoretického základu logického programování a za poskytnutí softwaru pro automatickou demonstraci vět . Jeho příspěvky poskytují teoretický základ pro logické programování a Prolog .
1986 William N. Joy za práci na vývoji operačního systému Berkeley Unix jako designér a integrátor. Tato práce mu umožnila implementovat mnoho pokročilých funkcí, jako je virtuální paměť , C shell , textový editor vi a síťové systémy.
1987 John Ousterhout pro jeho příspěvky k počítačem podporovaného navrhování všech VLSI obvodů .
1988 Guy L. Steele za obecný přínos k vývoji počítačového časopisu Higher Order Symbolic Programming a hlavně za pokrok v lexikální oblasti v LISP .
1989 W. Daniel Hillis pro jeho výzkum na algoritmech z dat paralelismus a pro navrhování, realizaci a uvádění Connection_Machine (v) .

90. léta

1990 Richard Stallman za inovativní práci při vývoji rozšiřitelného editoru Emacs
1991 Feng-hsiung Hsu za jeho příspěvky k architektuře a algoritmům šachových strojů . Jeho práce vedla k vytvoření Deep Blue , který byl prvním strojem, který porazil velmistra a dosáhl certifikace na úrovni velmistra v šachu.
1992 V tomto roce nebyla vydána žádná ocenění.
1993 Bjarne Stroustrup za položení základů programovacího jazyka C ++ . Jeho neustálé úsilí umožnilo, aby se C ++ stal jedním z nejvlivnějších programovacích jazyků v historii výpočetní techniky.
1994-1995 V těchto letech nebyla udělena žádná cena.
1996 Shafi Goldwasser za práci na systémech Calculus , Random a Interactive Proof Systems, které formovaly základy teorie složitosti (teoretické výpočty) , algoritmické teorie čísel a kryptografie . Tato práce má trvalý vliv na návrh zabezpečených komunikačních protokolů. Má také praktické aplikace při vývoji zabezpečených sítí a počítačových systémů.
1997-1998 V těchto letech nebyla udělena žádná cena.
1999 Wen-mei Hwu za návrh a implementaci kompilační infrastruktury IMPACT. Byl široce používán jak v mikroprocesorovém průmyslu, tak na akademické půdě pro pokročilý výzkum a vývoj v počítačové architektuře a designu kompilátorů.

2000s

2000 Lydii Kavraki za práci v přístupu „pravděpodobnostní plán“, který vedl k posunu paradigmatu v oblasti plánování pohybu ; a která má mnoho aplikací v robotice , výrobě , nanotechnologiích a bioinformatice .
2001 George Necula za práci na koncepci a implementaci mechanismu „Proof Carrying Code“, který měl velký dopad v oblasti programovacích jazyků a překladačů a dal nový směr automatické demonstraci vět .
2002 Ramakrishnan Srikant za inovativní práci na asociačních pravidlech v oblasti dolování dat , která jsou dnes v této oblasti ústřední a jsou přítomna v kurzech databáze a dolování dat.
2003 Stephen W. Keckler za průkopnickou analýzu vysoce výkonných architektur mikroprocesorů a metod nezbytných k udržení jejich trendů zvyšování výkonu i za konstrukční důsledky budoucích vysoce výkonných architektur mikroprocesorů .
2004 Jennifer Rexford pro modely, algoritmy a systémy, které poskytují stabilní a efektivní směrování na internetu bez nutnosti globální koordinace.
2005 Omer Reingold za nalezení deterministického algoritmu, který využívá prostor logaritmické velikosti k řešení problémů s konektivitou ST v neorientovaných grafech.
2006 Danielu Kleinovi za návrh systému schopného naučit se kvalitní anglickou gramatiku z textu.
2007 Vern Paxson za práci při měření a charakterizaci internetu .
2008 Dawson Engler za průkopnickou práci na automatizovaném ověřování zdrojového kódu počítačového programu a hledání chyb .
2009 Tim Roughgarden za výzkum kombinující teorii her a informatiku s cílem analyzovat směrování v sítích . Toto pole se dnes nazývá algoritmická teorie her .

Let 2010

2010 Craig Gentry , pro jeho vytvoření šifrovacího systému o šifrování plně homomorfní . Tento typ systému umožňuje provádět operace na šifrovaných datech, aniž by byla předem dešifrována.
2011 Luis von Ahn , za jeho výzkum interakce člověka se strojem , zejména za identifikaci výpočetních úkolů, při nichž mohou lidé pomoci počítačům (například při práci na obrázcích).
2012
- Martin Casado za práci při vytváření hnutí SDN , nového paradigmatu ve výzkumu, a za používání počítačových sítí, které poskytují softwarovou alternativu k tradičním hardwarovým síťovým komponentům.
- Dina Katabi za její zásadní příspěvek k teorii a praxi řízení přetížení sítě a přidělení šířky pásma.
2013 Pedro F Felzenszalb za příspěvky k problémům detekce objektů v obrazech. Tento výzkum má silný dopad v oblasti počítačového vidění a strojového učení .
2014 Sylvii Ratnasamyové za průkopnickou práci na distribuovaných hašovacích tabulkách . Zásadní příspěvek k návrhu rozsáhlých decentralizovaných distribuovaných výpočetních systémů.
2015 Brent Waters za práci na šifrování atributů . Toto je typ asymetrického šifrování, které umožňuje řízení přístupu k části informací šifrovaných na základě konkrétních atributů v klíči příjemce.
2016, Jeffrey Heer, za práci na analýze dat a jejich vizualizaci.
2017, Amanda Randles, za vývoj HARVEY, simulace dynamiky tekutin, používané k modelování průtoku krve.
2018, Constantinos Daskalakis a Michael J. Freedman (en) . Daskalakis získává ocenění za práci v teorii algoritmických her a Freedman za práci v databázích a distribuovaných systémech.
2019, Maria-Florina Balcan , za práci v oblasti umělé inteligence, zejména v oblasti aktivního učení .

Reference

externí odkazy

Oficiální stránka ceny Grace Murray Hopperové