Premiul Kanellakis

Premiul Paris Kanellakis Teoria și Practica ( Eng.  Paris Kanellakis Theory and Practice Award ) este un premiu științific anual al Asociației pentru Mașini de Calcul , acordat pentru realizări teoretice speciale care au avut un impact semnificativ asupra dezvoltării practice a tehnologiei informației [1] . Înființat în 1996 în memoria lui Paris Kanellakis , un informatician greco-american care a murit împreună cu familia într- un accident de avion în Columbia în 1995 [2] . Câștigătorii primesc un premiu în bani de 10.000 USD finanțat de părinții lui Kanellakis și de mai multe grupuri tematice ACM ( SIGACT , SIGDA , SIGMOD și SIGPLAN ) [3] și sponsori individuali [1] .

Onorate

An Laureat Motivul atribuirii
1996 Leonard Max Adleman , Whitfield Diffie , Martin Hellman , Ralph Charles Merkle , Ronald Lynn Rivest și Shamir, Adie [4] „pentru conceptul și prima implementare eficientă a criptosistemelor cu cheie publică ”.
1997 Abraham Lempel și Jakob Ziv [5] „pentru construirea celor mai eficienți algoritmi de compresie fără pierderi LZ77 pentru sisteme de codare finite .”
1998 Randal Bryant ( ing.  Randal Bryant ), Edmund Clarke , Ernest Allen Emerson și Kenneth Macmillan [6] "pentru o metodă de verificare automată a sistemului formal , utilizată pe scară largă în fabricarea calculatoarelor."
1999 Daniel Slitor , Robert Tarjan [7] „pentru structura arborescentă în expansiune  , una dintre cele mai utilizate structuri de date inventate în ultimii 20 de ani.”
2000 Narendra Karmarkar [8] „pentru dezvoltarea metodei punctului interior pentru programarea liniară , care are complexitate polinomială ; și, de asemenea, pentru implementarea acestei metode, arătându-și eficiența practică.
2001 Eugene Myers [9] „pentru contribuția sa la descifrarea genomului uman , compoziția completă a genelor ADN ”.
2002 Petr Franaszek ( ing.  Peter Franaszek ) [10] „pentru contribuții fundamentale la teoria și practica codificării secvențelor de 8 biți în secvențe de 10 biți”.
2003 Gary Miller , Michael Osher Rabin , Robert Nightingale și Volker Strassen [11] „pentru contribuții la implementarea practică a criptografiei și demonstrarea posibilităților algoritmilor de testare a primalității probabilistice  – Solovay – Strassen și Miller – Rabin ”.
2004 Yoav Freund și Robert Shapire [ 12 ]_ _  _  „pentru dezvoltarea și implementarea algoritmului de învățare automată AdaBoost , care reduce semnificativ eroarea de recunoaștere în analiza datelor , filtrarea e-mailului , recunoașterea optică a caracterelor și alte aplicații.”
2005 Gerard Holzmann , Robert Kurshan , Moshe Vardy și Pierre Wolpe [ 13 ] _  _ _ _   „Pentru contribuția sa la verificarea formală a software-ului și hardware-ului computerului”.
2006 Robert Brayton ( germană:  Robert Brayton ) [14] „pentru contribuțiile lor inovatoare la sinteza logică a sistemelor electronice , care a accelerat proiectarea în industria EDA ”.
2007 Bruno Buchberger [15] „pentru algoritmul de construcție pe bază Gröbner , care joacă un rol cheie în algebra computerizată și este utilizat pe scară largă în știință și inginerie.”
2008 Corinna Cortes ( ing.  Corinna Cortes ) și Vladimir Vapnik [16] „pentru dezvoltarea unui algoritm de recunoaștere extrem de eficient cu mașini vector de suport , un set integrat de metode de învățare supravegheată de colegi pentru o problemă de clasificare și regresie , care este cea mai frecvent utilizată tehnică de învățare automată și a fost aplicată pe scară largă în practică.”
2009 Mihir Bellare și Phillip Rogaway [ 17 ]_ _  _  „pentru dezvoltarea sistemelor de securitate demonstrabilă , criptografie de înaltă calitate și cu costuri reduse  , o componentă cheie a securității pe Internet”.
2010 Kurt Mehlhorn [ 18 ] _  „pentru contribuții fundamentale la dezvoltarea algoritmilor care au stat la baza bibliotecii LEDA ”.
2011 Hanan Samet [ 19 ] _  „pentru cercetările sale cu privire la problemele sortării unui quadtree și a altor structuri spațiale multidimensionale ale structurilor de date. ”
2012 Andrei Broder , Moses Charikar , Piotr Indyk _  _ _ __ _ _    „pentru munca sa inovatoare privind hashingul sensibil la nivel local , care a avut un impact major în multe domenii”.
2013 Robert Blumofe ( germană:  Robert D. Blumofe ), Charles Eric Leizerson „pentru contribuțiile sale la calculul paralel și distribuit, inclusiv algoritmul de programare a sarcinilor și Cilk ”.
2014 James Demmel _ _  _ „pentru munca sa asupra bibliotecilor de algebră liniară, inclusiv LAPACK ”.
2015 Michael Luby _ _  _ „pentru contribuții la codurile de corectare a erorilor”.
2016 Amos Fiat , Moni Naor Text original  (engleză)[ arataascunde] „Pentru contribuții inovatoare la criptarea transmisiilor și urmărirea pirateriei, punând bazele pentru protecția modernă a drepturilor de autor a discurilor blue-ray și a altor medii de difuzare.”
2017 Scott Text original  (engleză)[ arataascunde] „Pentru contribuțiile de pionierat la coada corectă în rețelele de comutare de pachete, care au avut un impact major asupra practicii moderne în comunicarea cu computere”.
2018 Pavel Pevzner Text original  (engleză)[ arataascunde] „Pentru contribuții de pionierat la teoria, proiectarea și punerea în aplicare a algoritmilor pentru reconstrucția șirurilor și la aplicațiile acestora în asamblarea genomilor”.
2019 Noga Alon , Phillip Gibbons , Yossi Matias , Mario Szegedy
2020 Yossi Azar , Andrei Broder , Anna Karlin , Michael Mitzenmacher , Eli Upfal

Note

  1. ↑ 1 2 Premiul Paris Kanellakis pentru teorie și practică (link nu este disponibil) . ACM . Data accesului: 12 decembrie 2012. Arhivat din original pe 17 martie 2013. 
  2. ↑ Premiul ACM Paris Kanellakis  (nedeterminat)  // Conduit. - Brown University CS Dept, 1996. - V. 5 , Nr. 1 . - S. 4 .
  3. ↑ ACM SIGs: SIG Project Fund (SPF) . ACM . Data accesului: 12 decembrie 2012. Arhivat din original pe 17 martie 2013.
  4. ↑ ACM (12 februarie 1997). Primul premiu Paris Kanellakis pentru teorie și practică este acordat fondatorilor criptografiei cu cheie publică . Comunicat de presă . Accesat 2012-12-12 .
  5. ↑ ACM (26 martie 1998). Premiul pentru teorie și practică ACM Paris Kanellakis este acordat pionierilor în compresia datelor . Comunicat de presă . Accesat 2012-12-12 .
  6. ↑ ACM (26 martie 1999). ACM acordă Premiul Kanellakis pentru dezvoltarea „verificare a modelelor simbolice”, utilizată în testarea designurilor sistemelor informatice . Comunicat de presă . Accesat 2012-12-12 .
  7. ↑ ACM (26 apr 2000). Creatorii structurii de date din arborele Splay câștigă premiul Paris Kanellakis 1999 . Comunicat de presă . Accesat 2012-12-12 .
  8. ↑ ACM . punct interior . Comunicat de presă . Accesat 2012-12-12 .
  9. ↑ ACM (22 ianuarie 2002). ACM onorează dezvoltatorul de software cheie pentru secvențierea genomului uman . Comunicat de presă . Accesat 2012-12-12 .
  10. ↑ ACM (21 mai 2003). ACM îl onorează pe Peter Franaszek pentru contribuțiile la codificarea datelor . Comunicat de presă . Accesat 2012-12-12 .
  11. ↑ ACM (24 mai 2004). ACM onorează creatorii de metode de îmbunătățire a criptografiei . Comunicat de presă . Accesat 2012-12-12 .
  12. ↑ ACM . Teoria și practica amplificarii . Comunicat de presă . Accesat 2012-12-12 .
  13. ↑ ACM (15 martie 2006). ACM onorează creatorii de instrumente de verificare pentru software, hardware . Comunicat de presă . Accesat 2012-12-12 .
  14. ↑ ACM (29 martie 2007). ACM onorează pionierul tehnologiilor de automatizare a designului electronic . Comunicat de presă . Accesat 2012-12-12 .
  15. ↑ ACM (13 mai 2008). Premiul ACM Kanellakis îl onorează pe inovatorul instrumentelor automate pentru matematică . Comunicat de presă . Accesat 2012-12-12 .
  16. ↑ ACM (17 martie 2009). Premiile ACM recunosc inovatorii în informatică . Comunicat de presă . Accesat 2012-12-12 .
  17. ↑ ACM (30 martie 2010). Premiile ACM recunosc oamenii de știință informatic pentru inovațiile care au impact în lumea reală . Comunicat de presă . Accesat 2012-12-12 .
  18. ↑ ACM (06 apr 2011). ACM onorează inovatorii în calcul pentru progresele în cercetare, comerț și educație . Comunicat de presă . Accesat 2012-12-12 .
  19. ↑ ACM (26 apr 2012). ACM onorează inovatorii în calcul pentru progresele în cercetare, educație și industrie . Comunicat de presă . Accesat 2012-12-12 .

Link -uri

 Câștigătorii premiului Kanellakis