Kanellakis-palkinto

Paris Kanellakis Theory and Practice Award ( Eng.  Paris Kanellakis Theory and Practice Award ) on vuosittainen tieteellinen palkinto Association for Computing Machinery , joka myönnetään erityisistä teoreettisista saavutuksista, jotka ovat vaikuttaneet merkittävästi tietotekniikan käytännön kehitykseen [1] . Perustettiin vuonna 1996 muistoksi Paris Kanellakiksen , kreikkalais-amerikkalaisen tietotekniikan tutkijan, joka kuoli perheensä kanssa lento-onnettomuudessa Kolumbiassa vuonna 1995 [2] . Voittajat saavat 10 000 dollarin rahapalkinnon, jonka rahoittavat Kanellakiksen vanhemmat ja useat ACM-teemaryhmät ( SIGACT , SIGDA , SIGMOD ja SIGPLAN [ ) [3] ja yksittäiset sponsorit [1] .

Palkitut

vuosi Laureaatti Palkinnon perustelut
1996 Leonard Max Adleman , Whitfield Diffie , Martin Hellman , Ralph Charles Merkle , Ronald Lynn Rivest ja Shamir, Adie [4] " julkisen avaimen salausjärjestelmien konseptille ja ensimmäiselle tehokkaalle toteutukselle ."
1997 Abraham Lempel ja Jakob Ziv [5] "Tehokkaimpien häviöttömän LZ77 - pakkausalgoritmien rakentamiseen äärellisille koodausjärjestelmille ."
1998 Randal Bryant ( eng.  Randal Bryant ), Edmund Clarke , Ernest Allen Emerson ja Kenneth Macmillan [6] " automaattisen muodollisen järjestelmän varmennusmenetelmälle , jota käytetään laajalti tietokoneiden valmistuksessa."
1999 Daniel Slitor , Robert Tarjan [7] " Laajenevalle puurakenteelle  yksi yleisimmin käytetyistä tietorakenteista, joka on keksitty viimeisen 20 vuoden aikana."
2000 Narendra Karmarkar [8] " Lineaarisen ohjelmoinnin sisäpistemenetelmän kehittämiseen , jolla on polynomi monimutkaisuus ; ja myös tämän menetelmän toteuttamiseen, mikä osoittaa sen käytännön tehokkuuden.
2001 Eugene Myers [9] " hänen panoksestaan ​​ihmisen genomin , DNA - geenien täydellisen koostumuksen purkamisessa ."
2002 Petr Franaszek ( eng.  Peter Franaszek ) [10] "merkittävästä panoksesta 8-bittisten sekvenssien koodaamisen 10-bittisiksi sarjoiksi teoriaan ja käytäntöön."
2003 Gary Miller , Michael Osher Rabin , Robert Nightingale ja Volker Strassen [11] "osuudesta kryptografian käytännön toteutuksessa ja todennäköisyyspohjaisten primaaliteettitestausalgoritmien mahdollisuuksien osoittamisesta  - Solovay - Strassen ja Miller - Rabin ."
2004 Yoav Freund ja Robert Shapire [ 12 ]_ _  _  " AdaBoost - koneoppimisalgoritmin kehittämiseen ja käyttöönottoon , joka vähentää merkittävästi tunnistusvirheitä data-analyysissä , sähköpostin suodatuksessa , optisessa merkintunnistuksessa ja muissa sovelluksissa."
2005 Gerard Holzmann , Robert Kurshan , Moshe Vardy ja Pierre Wolpe [ 13 ] _  _ _ _   "Hänen panoksesta tietokoneohjelmistojen ja -laitteiden muodolliseen tarkastukseen ."
2006 Robert Brayton ( saksaksi:  Robert Brayton ) [14] "Innovatiivisesta panoksestaan ​​elektronisten järjestelmien logiikan synteesiin , mikä on nopeuttanut suunnittelua EDA - teollisuudessa."
2007 Bruno Buchberger [15] " Gröbner-pohjaiselle rakennusalgoritmille , jolla on keskeinen rooli tietokonealgebrassa ja jota käytetään laajasti tieteessä ja tekniikassa."
2008 Corinna Cortes ( eng.  Corinna Cortes ) ja Vladimir Vapnik [16] "Erittäin tehokkaan tunnistusalgoritmin kehittämiseksi tukivektorikoneilla , integroitu joukko vertaisohjattuja oppimismenetelmiä luokittelu- ja regressioongelmaan , joka on yleisimmin käytetty koneoppimistekniikka ja jota on laajalti käytetty käytännössä."
2009 Mihir Bellare ja Phillip Rogaway [ 17 ]_ _  _  " Todistettavan turvallisuuden järjestelmien kehittämiseen , korkealaatuiseen ja edulliseen salaustekniikkaan  , joka on Internet-turvallisuuden keskeinen osa."
2010 Kurt Mehlhorn [ 18 ] _  "olennaisesta panoksesta LEDA -kirjaston perustana olevien algoritmien kehittämiseen ".
2011 Hanan Samet [ 19 ] _  "tutkimuksestaan ​​nelipuun ja muiden tietorakenteiden moniulotteisten tilarakenteiden lajitteluongelmista . "
2012 Andrei Broder , Moses Charikar , Piotr Indyk _  _ _ __ _ _    "hänen läpimurtotyöstään paikallisesti herkän tiivistyksen parissa , jolla on ollut suuri vaikutus monille aloille."
2013 Robert Blumofe ( saksa:  Robert D. Blumofe ), Charles Eric Leizerson "hänen panoksesta rinnakkais- ja hajautettuun laskemiseen, mukaan lukien tehtävien ajoitusalgoritmi ja Cilk ."
2014 James Demmel _ _  _ "työstään lineaaristen algebrakirjastojen parissa, mukaan lukien LAPACK ".
2015 Michael Luby _ _  _ "osuuksista virheenkorjauskoodeihin."
2016 Amos Fiat , Moni Naor Alkuperäinen teksti  (englanniksi)[ näytäpiilottaa] "Uurraavasta panoksesta lähetysten salaukseen ja piratismin seurantaan, luoden perustan blue-ray-levyjen ja muiden lähetysvälineiden nykyaikaiselle tekijänoikeussuojalle."
2017 Scott Alkuperäinen teksti  (englanniksi)[ näytäpiilottaa] "Uurrauttavasta panoksesta oikeudenmukaiseen jonotukseen pakettivälitysverkoissa, millä oli suuri vaikutus nykyaikaiseen tietokoneviestinnän käytäntöön."
2018 Pavel Pevzner Alkuperäinen teksti  (englanniksi)[ näytäpiilottaa] "Uurrauttavasta panoksesta merkkijonojen rekonstruoinnin algoritmien teoriassa, suunnittelussa ja toteutuksessa ja niiden sovelluksissa genomien kokoamisessa."
2019 Noga Alon , Phillip Gibbons , Yossi Matias , Mario Szegedy
2020 Yossi Azar , Andrei Broder , Anna Karlin , Michael Mitzenmacher , Eli Upfal

Muistiinpanot

  1. ↑ 1 2 Paris Kanellakis Theory and Practice Award (linkki ei saatavilla) . ACM . Käyttöpäivä: 12. joulukuuta 2012. Arkistoitu alkuperäisestä 17. maaliskuuta 2013. 
  2. ↑ ACM Paris Kanellakis -palkinto  (määrittelemätön)  // Kanava. - Brown University CS Dept, 1996. - V. 5 , No. 1 . - S. 4 .
  3. ↑ ACM SIG:t: SIG Project Fund (SPF) . ACM . Käyttöpäivä: 12. joulukuuta 2012. Arkistoitu alkuperäisestä 17. maaliskuuta 2013.
  4. ↑ ACM (12. helmikuuta 1997). Ensimmäinen Paris Kanellakis - teoria - ja käytäntöpalkinto myönnetään julkisen avaimen salauksen perustajille . Lehdistötiedote . Haettu 12.12.2012 .
  5. ↑ ACM (26. maaliskuuta 1998). ACM Paris Kanellakis - teoria - ja käytäntöpalkinto menee tiedonpakkauksen edelläkävijöille . Lehdistötiedote . Haettu 12.12.2012 .
  6. ↑ ACM (26. maaliskuuta 1999). ACM myöntää Kanellakis-palkinnon "symbolisen mallin tarkistuksen" kehittämisestä, jota käytetään tietokonejärjestelmien suunnittelussa . Lehdistötiedote . Haettu 12.12.2012 .
  7. ↑ ACM (26. huhtikuuta 2000). Splay-tree-tietorakenteen luojat voittivat 1999 Paris Kanellakis -palkinnon . Lehdistötiedote . Haettu 12.12.2012 .
  8. ↑ ACM . sisäinen piste . Lehdistötiedote . Haettu 12.12.2012 .
  9. ↑ ACM (22. tammikuuta 2002). ACM kunnioittaa ihmisen genomin sekvensointiin tarkoitettujen avainohjelmistojen kehittäjää . Lehdistötiedote . Haettu 12.12.2012 .
  10. ↑ ACM (21. toukokuuta 2003). ACM kiittää Peter Franaszekia osallistumisesta tietojen koodaukseen . Lehdistötiedote . Haettu 12.12.2012 .
  11. ↑ ACM (24. toukokuuta 2004). ACM kunnioittaa salauksen parantamismenetelmien luojia . Lehdistötiedote . Haettu 12.12.2012 .
  12. ↑ ACM . Boostingin teoria ja käytäntö . Lehdistötiedote . Haettu 12.12.2012 .
  13. ↑ ACM (15. maaliskuuta 2006). ACM kunnioittaa ohjelmistojen ja laitteistojen varmennustyökalujen luojia . Lehdistötiedote . Haettu 12.12.2012 .
  14. ↑ ACM (29. maaliskuuta 2007). ACM kunnioittaa elektronisen suunnittelun automaatioteknologian edelläkävijää . Lehdistötiedote . Haettu 12.12.2012 .
  15. ↑ ACM (13. toukokuuta 2008). ACM Kanellakis - palkinnolla palkitaan matematiikan automatisoitujen työkalujen keksijä . Lehdistötiedote . Haettu 12.12.2012 .
  16. ↑ ACM (17. maaliskuuta 2009). ACM - palkinnot tunnustavat tietojenkäsittelytieteen innovoijia . Lehdistötiedote . Haettu 12.12.2012 .
  17. ↑ ACM (30. maaliskuuta 2010). ACM-palkinnot tunnustavat tietotekniikan tutkijoita innovaatioista, joilla on vaikutusta todelliseen maailmaan . Lehdistötiedote . Haettu 12.12.2012 .
  18. ↑ ACM (6. huhtikuuta 2011). ACM kunnioittaa tietojenkäsittelyn innovaattoreita tutkimuksen, kaupan ja koulutuksen edistymisestä . Lehdistötiedote . Haettu 12.12.2012 .
  19. ↑ ACM (26. huhtikuuta 2012). ACM kunnioittaa tietojenkäsittelyn innovaattoreita tutkimuksen, koulutuksen ja teollisuuden edistymisestä . Lehdistötiedote . Haettu 12.12.2012 .

Linkit

 Kanellakis-palkinnon voittajat