Kanellakisova cena

Paris Kanellakis Theory and Practice Award ( Eng.  Paris Kanellakis Theory and Practice Award ) je každoroční vědecké ocenění Asociace pro výpočetní techniku ​​, udělované za zvláštní teoretické úspěchy, které měly významný dopad na praktický rozvoj informačních technologií [1]. . Založena v roce 1996 na památku Paris Kanellakis , řecko-amerického počítačového vědce, který zemřel se svou rodinou při letecké havárii v Kolumbii v roce 1995 [2]. Vítězové obdrží peněžní odměnu 10 000 $ financovanou rodiči Kanellakis a několika tematickými skupinami ACM ( SIGACT , SIGDA , SIGMOD a SIGPLAN ) [3] a jednotlivými sponzory [1] .

Ocenění

Rok Laureát Odůvodnění ocenění
1996 Leonard Max Adleman , Whitfield Diffie , Martin Hellman , Ralph Charles Merkle , Ronald Lynn Rivest & Shamir, Adie [4] "za koncept a první efektivní implementaci kryptosystémů s veřejným klíčem ."
1997 Abraham Lempel a Jakob Ziv [5] "za konstrukci nejúčinnějších bezeztrátových kompresních algoritmů LZ77 pro systémy konečného kódování ."
1998 Randal Bryant ( angl.  Randal Bryant ), Edmund Clarke , Ernest Allen Emerson a Kenneth Macmillan [6] "pro metodu automatického formálního ověřování systému , široce používanou při výrobě počítačů."
1999 Daniel Slitor , Robert Tarjan [7] "pro rozšiřující se stromovou strukturu  , jednu z nejpoužívanějších datových struktur vynalezených za posledních 20 let."
2000 Narendra Karmarkar [8] „za vývoj metody vnitřních bodů pro lineární programování , která má polynomiální složitost ; a také za implementaci této metody, která ukazuje její praktickou účinnost.
2001 Eugene Myers [9] "za jeho příspěvek k rozluštění lidského genomu , kompletního složení genů DNA ."
2002 Petr Franaszek ( angl.  Peter Franaszek ) [10] "za zásadní příspěvky k teorii a praxi kódování 8bitových sekvencí do 10bitových sekvencí."
2003 Gary Miller , Michael Osher Rabin , Robert Nightingale a Volker Strassen [11] "za příspěvky k praktické implementaci kryptografie a demonstraci možností algoritmů pro testování pravděpodobnostní primality  - Solovay - Strassen a Miller - Rabin ."
2004 Yoav Freund a Robert Shapire [ 12 ]_ _  _  "za vývoj a implementaci algoritmu strojového učení AdaBoost , který výrazně snižuje chyby rozpoznávání v analýze dat , filtrování e-mailů , optickém rozpoznávání znaků a dalších aplikacích."
2005 Gerard Holzmann , Robert Kurshan , Moshe Vardy a Pierre Wolpe [ 13 ] _  _ _ _   "Za jeho příspěvek k formálnímu ověřování počítačového softwaru a hardwaru."
2006 Robert Brayton ( německy:  Robert Brayton ) [14] "za jejich inovativní příspěvky k logické syntéze elektronických systémů , což urychlilo design v průmyslu EDA ."
2007 Bruno Buchberger [15] "pro Gröbnerův základní konstrukční algoritmus , který hraje klíčovou roli v počítačové algebře a je široce používán ve vědě a inženýrství."
2008 Corinna Cortes ( eng.  Corinna Cortes ) a Vladimir Vapnik [16] "za vývoj vysoce účinného rozpoznávacího algoritmu s podpůrnými vektorovými stroji , integrované sady metod učení pod dohledem kolegů pro problém klasifikace a regrese , což je nejběžněji používaná technika strojového učení a je široce používána v praxi."
2009 Mihir Bellare a Phillip Rogaway [ 17 ]_ _  _  "na vývoj systémů pro prokazatelnou bezpečnost , vysoce kvalitní a nízkonákladovou kryptografii  , klíčovou součást internetové bezpečnosti."
2010 Kurt Mehlhorn [ 18 ] _  „za zásadní příspěvky k vývoji algoritmů , které tvořily základ knihovny LEDA “.
2011 Hanan Samet [ 19 ] _  "za jeho výzkum problémů třídění quadtree a dalších vícerozměrných prostorových struktur datových struktur. "
2012 Andrei Broder , Moses Charikar , Piotr Indyk _  _ _ __ _ _    "za jeho průlomovou práci na lokálně citlivém hašování , které mělo velký dopad na mnoho oblastí."
2013 Robert Blumofe ( německy:  Robert D. Blumofe ), Charles Eric Leizerson "za jeho příspěvky k paralelním a distribuovaným výpočtům, včetně algoritmu plánování úloh a Cilk ."
2014 James Demmel _ _  _ „za jeho práci na knihovnách lineární algebry, včetně LAPACK “.
2015 Michael Luby _ _  _ "za příspěvky do kódů opravy chyb."
2016 Amos Fiat , Moni Naor Původní text  (anglicky)[ zobrazitskrýt] "Za průlomové příspěvky k šifrování vysílání a sledování pirátství, položení základů pro moderní ochranu autorských práv blue-ray disků a dalších vysílacích médií."
2017 Scott Původní text  (anglicky)[ zobrazitskrýt] "Za průkopnické příspěvky ke spravedlivému řazení do front v sítích s přepojováním paketů, což mělo velký dopad na moderní praxi v počítačové komunikaci."
2018 Pavel Pevzner Původní text  (anglicky)[ zobrazitskrýt] "Za průkopnické příspěvky k teorii, návrhu a implementaci algoritmů pro rekonstrukci řetězce a jejich aplikacím při sestavování genomů."
2019 Noga Alon , Phillip Gibbons , Yossi Matias , Mario Szegedy
2020 Yossi Azar , Andrei Broder , Anna Karlin , Michael Mitzenmacher , Eli Upfal

Poznámky

  1. ↑ 1 2 Paris Kanellakis Theory and Practice Award (odkaz není dostupný) . ACM . Datum přístupu: 12. prosince 2012. Archivováno z originálu 17. března 2013. 
  2. ↑ ACM Paris Kanellakis Award  (neurčité)  // Conduit. - Oddělení CS Brown University , 1996. - V. 5 , č. 1 . - S. 4 .
  3. ↑ ACM SIGs: SIG Project Fund (SPF) . ACM . Datum přístupu: 12. prosince 2012. Archivováno z originálu 17. března 2013.
  4. ↑ ACM (12. února 1997). První cena Paris Kanellakis Theory and Practice Award patří zakladatelům kryptografie s veřejným klíčem . Tisková zpráva . Staženo 2012-12-12 .
  5. ↑ ACM (26. března 1998). Cena ACM Paris Kanellakis Theory and Practice Award patří průkopníkům v oblasti komprese dat . Tisková zpráva . Staženo 2012-12-12 .
  6. ↑ ACM (26. března 1999). ACM uděluje Kanellakis Award za vývoj „kontroly symbolických modelů“ používaného při testování návrhů počítačových systémů . Tisková zpráva . Staženo 2012-12-12 .
  7. ↑ ACM (26. dubna 2000). Tvůrci datových struktur Splay-tree vyhráli v roce 1999 Paris Kanellakis Award . Tisková zpráva . Staženo 2012-12-12 .
  8. ↑ ACM . vnitřní bod . Tisková zpráva . Staženo 2012-12-12 .
  9. ↑ ACM (22. ledna 2002). ACM oceňuje vývojáře klíčového softwaru pro sekvenování lidského genomu . Tisková zpráva . Staženo 2012-12-12 .
  10. ↑ ACM (21. května 2003). ACM vyznamenává Petera Franaszka za příspěvky ke kódování dat . Tisková zpráva . Staženo 2012-12-12 .
  11. ↑ ACM (24. května 2004). ACM oceňuje tvůrce metod ke zlepšení kryptografie . Tisková zpráva . Staženo 2012-12-12 .
  12. ↑ ACM . Teorie a praxe posilování . Tisková zpráva . Staženo 2012-12-12 .
  13. ↑ ACM (15. března 2006). ACM oceňuje tvůrce ověřovacích nástrojů pro software, hardware . Tisková zpráva . Staženo 2012-12-12 .
  14. ↑ ACM (29. března 2007). ACM vyznamenává průkopníka technologií automatizace elektronického designu . Tisková zpráva . Staženo 2012-12-12 .
  15. ↑ ACM (13. května 2008). ACM Kanellakis Award oceňuje inovátora automatizovaných nástrojů pro matematiku . Tisková zpráva . Staženo 2012-12-12 .
  16. ↑ ACM (17. března 2009). Ceny ACM oceňují inovátory v oblasti informatiky . Tisková zpráva . Staženo 2012-12-12 .
  17. ↑ ACM (30. března 2010). Ceny ACM oceňují počítačové vědce za inovace, které mají dopad na skutečný svět . Tisková zpráva . Staženo 2012-12-12 .
  18. ↑ ACM (6. dubna 2011). ACM oceňuje počítačové inovátory za pokroky ve výzkumu, obchodu a vzdělávání . Tisková zpráva . Staženo 2012-12-12 .
  19. ↑ ACM (26. dubna 2012). ACM oceňuje počítačové inovátory za pokroky ve výzkumu, vzdělávání a průmyslu . Tisková zpráva . Staženo 2012-12-12 .

Odkazy

 Vítězové Kanellakis Award