Kanellakis Award

Paris Kanellakis Theory and Practice Award ( Eng.  Paris Kanellakis Theory and Practice Award ) är ett årligt vetenskapligt pris från Association for Computing Machinery , som delas ut för särskilda teoretiska prestationer som har haft en betydande inverkan på den praktiska utvecklingen av informationsteknologi [1] . Etablerat 1996 till minne av Paris Kanellakis , en grekisk-amerikansk datavetare som dog med sin familj i en flygolycka i Colombia 1995 [2] . Vinnarna får ett kontantpris på $10 000 finansierat av Kanellakis föräldrar och flera ACM-temagrupper ( SIGACT , SIGDA , SIGMOD och SIGPLAN ) [3] och individuella sponsorer [1] .

Honorees

År Pristagare Motiv för priset
1996 Leonard Max Adleman , Whitfield Diffie , Martin Hellman , Ralph Charles Merkle , Ronald Lynn Rivest & Shamir, Adie [4] "för konceptet och den första effektiva implementeringen av kryptosystem med offentlig nyckel ."
1997 Abraham Lempel och Jakob Ziv [5] "för att konstruera de mest effektiva LZ77 förlustfria komprimeringsalgoritmerna för finita kodningssystem ."
1998 Randal Bryant ( eng.  Randal Bryant ), Edmund Clarke , Ernest Allen Emerson och Kenneth Macmillan [6] "för en metod för automatisk formell systemverifiering , som ofta används vid tillverkning av datorer."
1999 Daniel Slitor , Robert Tarjan [7] "för den expanderande trädstrukturen  , en av de mest använda datastrukturerna som uppfunnits under de senaste 20 åren."
2000 Narendra Karmarkar [8] "för att utveckla den inre punktmetoden för linjär programmering , som har polynomkomplexitet ; och även för implementeringen av denna metod, vilket visar dess praktiska effektivitet.
2001 Eugene Myers [9] "för hans bidrag till dechiffreringen av det mänskliga genomet , den fullständiga sammansättningen av DNA- gener ."
2002 Petr Franaszek ( eng.  Peter Franaszek ) [10] "för viktiga bidrag till teorin och praktiken att koda 8-bitarssekvenser till 10-bitarssekvenser."
2003 Gary Miller , Michael Osher Rabin , Robert Nightingale och Volker Strassen [11] "för bidrag till den praktiska implementeringen av kryptografi och demonstration av möjligheterna med probabilistiska primalitetstestningsalgoritmer  - Solovay - Strassen och Miller - Rabin ."
2004 Yoav Freund och Robert Shapire [ 12 ]_ _  _  "för att utveckla och implementera AdaBoost -algoritmen för maskininlärning , som avsevärt minskar igenkänningsfel i dataanalys , e-postfiltrering , optisk teckenigenkänning och andra applikationer."
2005 Gerard Holzmann , Robert Kurshan , Moshe Vardy och Pierre Wolpe [ 13 ] _  _ _ _   "För hans bidrag till den formella verifieringen av mjukvara och hårdvara."
2006 Robert Brayton ( tyska:  Robert Brayton ) [14] "för deras innovativa bidrag till den logiska syntesen av elektroniska system , som har accelererat designen i EDA- industrin."
2007 Bruno Buchberger [15] "för Gröbner-baskonstruktionsalgoritmen , som spelar en nyckelroll i datoralgebra och används flitigt inom vetenskap och teknik."
2008 Corinna Cortes ( eng.  Corinna Cortes ) och Vladimir Vapnik [16] "för att utveckla en mycket effektiv igenkänningsalgoritm med stödvektormaskiner , en integrerad uppsättning peer-övervakade inlärningsmetoder för ett klassificerings- och regressionsproblem , vilket är den vanligaste maskininlärningstekniken och har använts allmänt i praktiken."
2009 Mihir Bellare och Phillip Rogaway [ 17 ]_ _  _  "för utveckling av system för bevisbar säkerhet , högkvalitativ och låg kostnad kryptografi  , en nyckelkomponent i Internetsäkerhet."
2010 Kurt Mehlhorn [ 18 ] _  "för grundläggande bidrag till utvecklingen av de algoritmer som låg till grund för LEDA -biblioteket ".
2011 Hanan Samet [ 19 ] _  "för hans forskning om problemen med att sortera ett quadtree och andra flerdimensionella rumsliga strukturer av datastrukturer. "
2012 Andrei Broder , Moses Charikar , Piotr Indyk _  _ _ __ _ _    "för hans banbrytande arbete med lokalt känslig hashing , som har haft stor inverkan på många områden."
2013 Robert Blumofe ( tyska:  Robert D. Blumofe ), Charles Eric Leizerson "för hans bidrag till parallell och distribuerad datoranvändning, inklusive uppgiftsschemaläggningsalgoritmen och Cilk ."
2014 James Demmel _ _  _ "för hans arbete med linjära algebrabibliotek, inklusive LAPACK ".
2015 Michael Luby _ _  _ "för bidrag till felkorrigeringskoder."
2016 Amos Fiat , Moni Naor Originaltext  (engelska)[ visaDölj] "För banbrytande bidrag till sändningskryptering och piratkopiering, som lägger grunden för modernt upphovsrättsskydd för blue-ray-skivor och andra sändningsmedier."
2017 Scott Originaltext  (engelska)[ visaDölj] "För banbrytande bidrag till rättvis köbildning i paketväxlande nätverk, vilket hade stor inverkan på modern praxis inom datorkommunikation."
2018 Pavel Pevzner Originaltext  (engelska)[ visaDölj] "För banbrytande bidrag till teorin, designen och implementeringen av algoritmer för strängrekonstruktion och till deras tillämpningar vid sammansättning av genom."
2019 Noga Alon , Phillip Gibbons , Yossi Matias , Mario Szegedy
2020 Yossi Azar , Andrei Broder , Anna Karlin , Michael Mitzenmacher , Eli Upfal

Anteckningar

  1. ↑ 1 2 Paris Kanellakis Theory and Practice Award (länk inte tillgänglig) . ACM . Tillträdesdatum: 12 december 2012. Arkiverad från originalet 17 mars 2013. 
  2. ↑ ACM Paris Kanellakis Award  (obestämd)  // Conduit. - Brown University CS Dept, 1996. - V. 5 , nr 1 . - S. 4 .
  3. ↑ ACM SIGs: SIG Project Fund (SPF) . ACM . Tillträdesdatum: 12 december 2012. Arkiverad från originalet 17 mars 2013.
  4. ↑ ACM (12 februari 1997). Det första Paris Kanellakis Theory and Practice Award går till grundarna av kryptografi med offentliga nyckel . Pressmeddelande . Hämtad 2012-12-12 .
  5. ↑ ACM (26 mars 1998). ACM Paris Kanellakis Theory and Practice Award går till pionjärer inom datakomprimering . Pressmeddelande . Hämtad 2012-12-12 .
  6. ↑ ACM (26 mars 1999). ACM tilldelar Kanellakis Award för utveckling av "symbolisk modellkontroll", som används för att testa datorsystemdesigner . Pressmeddelande . Hämtad 2012-12-12 .
  7. ↑ ACM (26 april 2000). Skapare av Splay-tree-datastrukturer vinner Paris Kanellakis Award 1999 . Pressmeddelande . Hämtad 2012-12-12 .
  8. ↑ ACM . inre punkt . Pressmeddelande . Hämtad 2012-12-12 .
  9. ↑ ACM (22 januari 2002). ACM hedrar utvecklare av nyckelprogramvara för sekvensering av det mänskliga genomet . Pressmeddelande . Hämtad 2012-12-12 .
  10. ↑ ACM (21 maj 2003). ACM hedrar Peter Franaszek för bidrag till datakodning . Pressmeddelande . Hämtad 2012-12-12 .
  11. ↑ ACM (24 maj 2004). ACM hedrar skapare av metoder för att förbättra kryptografi . Pressmeddelande . Hämtad 2012-12-12 .
  12. ↑ ACM . Teori och praktik för boostning . Pressmeddelande . Hämtad 2012-12-12 .
  13. ↑ ACM (15 mars 2006). ACM hedrar skapare av verifieringsverktyg för mjukvara, hårdvara . Pressmeddelande . Hämtad 2012-12-12 .
  14. ↑ ACM (29 mars 2007). ACM hedrar pionjär inom elektronisk designautomation . Pressmeddelande . Hämtad 2012-12-12 .
  15. ↑ ACM (13 maj 2008). ACM Kanellakis Award hedrar innovatören av automatiserade verktyg för matematik . Pressmeddelande . Hämtad 2012-12-12 .
  16. ↑ ACM (17 mars 2009). ACM-priser uppmärksammar innovatörer inom datavetenskap . Pressmeddelande . Hämtad 2012-12-12 .
  17. ↑ ACM (30 mars 2010). ACM-priser uppmärksammar datavetare för innovationer som har verkliga effekter . Pressmeddelande . Hämtad 2012-12-12 .
  18. ↑ ACM (6 april 2011). ACM hedrar datorinnovatörer för framsteg inom forskning, handel och utbildning . Pressmeddelande . Hämtad 2012-12-12 .
  19. ↑ ACM (26 april 2012). ACM hedrar datorinnovatörer för framsteg inom forskning, utbildning och industri . Pressmeddelande . Hämtad 2012-12-12 .

Länkar

 Vinnare av Kanellakis-priset