Kanellakis-prisen

Paris Kanellakis Theory and Practice Award ( Eng.  Paris Kanellakis Theory and Practice Award ) er en årlig videnskabelig pris fra Association for Computing Machinery , der uddeles for særlige teoretiske resultater, der har haft en væsentlig indflydelse på den praktiske udvikling af informationsteknologi [1] . Etableret i 1996 til minde om Paris Kanellakis , en græsk-amerikansk datalog, der døde med sin familie i et flystyrt i Colombia i 1995 [2] . Vinderne modtager en pengepræmie på $10.000 finansieret af Kanellakis' forældre og adskillige ACM-temagrupper ( SIGACT , SIGDA , SIGMOD og SIGPLAN ) [3] og individuelle sponsorer [1] .

Honorees

År Prismodtager Begrundelse for prisen
1996 Leonard Max Adleman , Whitfield Diffie , Martin Hellman , Ralph Charles Merkle , Ronald Lynn Rivest & Shamir, Adie [4] "for konceptet og den første effektive implementering af offentlige nøglekryptosystemer ."
1997 Abraham Lempel og Jakob Ziv [5] "til at konstruere de mest effektive LZ77 tabsfri kompressionsalgoritmer til endelige kodningssystemer ."
1998 Randal Bryant ( eng.  Randal Bryant ), Edmund Clarke , Ernest Allen Emerson og Kenneth Macmillan [6] "til en metode til automatisk formel systemverifikation , der er meget udbredt til fremstilling af computere."
1999 Daniel Slitor , Robert Tarjan [7] "for den ekspanderende træstruktur  , en af ​​de mest udbredte datastrukturer opfundet i de sidste 20 år."
2000 Narendra Karmarkar [8] "til at udvikle den indre punktmetode til lineær programmering , som har polynomisk kompleksitet ; og også til implementering af denne metode, der viser dens praktiske effektivitet.
2001 Eugene Myers [9] "for hans bidrag til dechiffreringen af ​​det menneskelige genom , den komplette sammensætning af DNA- gener ."
2002 Petr Franaszek ( eng.  Peter Franaszek ) [10] "for skelsættende bidrag til teorien og praksisen med at indkode 8-bit sekvenser til 10-bit sekvenser."
2003 Gary Miller , Michael Osher Rabin , Robert Nightingale og Volker Strassen [11] "for bidrag til den praktiske implementering af kryptografi og demonstration af mulighederne for probabilistiske primalitetstestalgoritmer  - Solovay - Strassen og Miller - Rabin ."
2004 Yoav Freund og Robert Shapire [ 12 ]_ _  _  "for at udvikle og implementere AdaBoost- maskinelæringsalgoritmen , som væsentligt reducerer genkendelsesfejl i dataanalyse , e-mailfiltrering , optisk tegngenkendelse og andre applikationer."
2005 Gerard Holzmann , Robert Kurshan , Moshe Vardy og Pierre Wolpe [ 13 ] _  _ _ _   "For hans bidrag til den formelle verifikation af computersoftware og hardware."
2006 Robert Brayton ( tysk :  Robert Brayton ) [14] "for deres innovative bidrag til den logiske syntese af elektroniske systemer , som har accelereret design i EDA - industrien."
2007 Bruno Buchberger [15] "for Gröbner -basiskonstruktionsalgoritmen , som spiller en nøglerolle i computeralgebra og er meget udbredt inden for videnskab og teknik."
2008 Corinna Cortes ( eng.  Corinna Cortes ) og Vladimir Vapnik [16] "for at udvikle en højeffektiv genkendelsesalgoritme med understøttende vektormaskiner , et integreret sæt peer-overvågede læringsmetoder til et klassifikations- og regressionsproblem , som er den mest almindeligt anvendte maskinlæringsteknik og er blevet brugt bredt i praksis."
2009 Mihir Bellare og Phillip Rogaway [ 17 ]_ _  _  "til udvikling af systemer til beviselig sikkerhed , højkvalitets og billig kryptografi  , en nøglekomponent i internetsikkerhed."
2010 Kurt Mehlhorn [ 18 ] _  "for grundlæggende bidrag til udviklingen af ​​de algoritmer , der dannede grundlaget for LEDA biblioteket ".
2011 Hanan Samet [ 19 ] _  "for hans forskning i problemerne med at sortere et quadtree og andre multidimensionelle rumlige strukturer af datastrukturer. "
2012 Andrei Broder , Moses Charikar , Piotr Indyk _  _ _ __ _ _    "for hans banebrydende arbejde med lokalt følsom hashing , som har haft stor indflydelse på mange områder."
2013 Robert Blumofe ( tysk:  Robert D. Blumofe ), Charles Eric Leizerson "for hans bidrag til parallel og distribueret databehandling, herunder opgaveplanlægningsalgoritmen og Cilk ."
2014 James Demmel _ _  _ "for hans arbejde med lineære algebrabiblioteker, herunder LAPACK ".
2015 Michael Luby _ _  _ "for bidrag til fejlkorrektionskoder."
2016 Amos Fiat , Moni Naor Originaltekst  (engelsk)[ Visskjule] "For banebrydende bidrag til broadcast-kryptering og piratkopiering, der lægger grundlaget for moderne copyright-beskyttelse af blue-ray-diske og andre broadcast-medier."
2017 Scott Originaltekst  (engelsk)[ Visskjule] "For banebrydende bidrag til retfærdig kødannelse i pakkeswitchende netværk, som havde stor indflydelse på moderne praksis inden for computerkommunikation."
2018 Pavel Pevzner Originaltekst  (engelsk)[ Visskjule] "For banebrydende bidrag til teori, design og implementering af algoritmer til strengrekonstruktion og til deres anvendelser i samlingen af ​​genomer."
2019 Noga Alon , Phillip Gibbons , Yossi Matias , Mario Szegedy
2020 Yossi Azar , Andrei Broder , Anna Karlin , Michael Mitzenmacher , Eli Upfal

Noter

  1. ↑ 1 2 Paris Kanellakis Theory and Practice Award (link ikke tilgængeligt) . ACM . Dato for adgang: 12. december 2012. Arkiveret fra originalen 17. marts 2013. 
  2. ↑ ACM Paris Kanellakis Award  (ubestemt)  // Conduit. - Brown University CS Dept, 1996. - V. 5 , nr. 1 . - S. 4 .
  3. ↑ ACM SIGs: SIG Project Fund (SPF) . ACM . Dato for adgang: 12. december 2012. Arkiveret fra originalen 17. marts 2013.
  4. ↑ ACM (12. februar 1997). Den første Paris Kanellakis Theory and Practice Award går til grundlæggerne af offentlig nøglekryptografi . Pressemeddelelse . Hentet 2012-12-12 .
  5. ↑ ACM (26. marts 1998). ACM Paris Kanellakis Theory and Practice Award går til pionerer inden for datakomprimering . Pressemeddelelse . Hentet 2012-12-12 .
  6. ↑ ACM (26. marts 1999). ACM tildeler Kanellakis Award for udvikling af 'symbolsk modelkontrol', der bruges til at teste computersystemdesign . Pressemeddelelse . Hentet 2012-12-12 .
  7. ↑ ACM (26. april 2000). Splay-tree datastrukturskabere vinder 1999 Paris Kanellakis Award . Pressemeddelelse . Hentet 2012-12-12 .
  8. ↑ ACM . indre punkt . Pressemeddelelse . Hentet 2012-12-12 .
  9. ↑ ACM (22. januar 2002). ACM hædrer udvikler af nøglesoftware til sekventering af det menneskelige genom . Pressemeddelelse . Hentet 2012-12-12 .
  10. ↑ ACM (21. maj 2003). ACM hædrer Peter Franaszek for bidrag til datakodning . Pressemeddelelse . Hentet 2012-12-12 .
  11. ↑ ACM (24. maj 2004). ACM ærer skabere af metoder til at forbedre kryptografi . Pressemeddelelse . Hentet 2012-12-12 .
  12. ↑ ACM . Teori og praksis for boostning . Pressemeddelelse . Hentet 2012-12-12 .
  13. ↑ ACM (15. marts 2006). ACM hædrer skabere af verifikationsværktøjer til software, hardware . Pressemeddelelse . Hentet 2012-12-12 .
  14. ↑ ACM (29. marts 2007). ACM hædrer pioner inden for elektronisk designautomatiseringsteknologi . Pressemeddelelse . Hentet 2012-12-12 .
  15. ↑ ACM (13. maj 2008). ACM Kanellakis Award hædrer innovator af automatiserede værktøjer til matematik . Pressemeddelelse . Hentet 2012-12-12 .
  16. ↑ ACM (17. marts 2009). ACM-priser anerkender innovatører inden for datalogi . Pressemeddelelse . Hentet 2012-12-12 .
  17. ↑ ACM (30. marts 2010). ACM-priser anerkender dataloger for innovationer, der har indflydelse fra den virkelige verden . Pressemeddelelse . Hentet 2012-12-12 .
  18. ↑ ACM (06. april 2011). ACM hædrer computerinnovatorer for fremskridt inden for forskning, handel og uddannelse . Pressemeddelelse . Hentet 2012-12-12 .
  19. ↑ ACM (26. april 2012). ACM hædrer computerinnovatorer for fremskridt inden for forskning, uddannelse og industri . Pressemeddelelse . Hentet 2012-12-12 .

Links

 Vindere af Kanellakis-prisen