Премія Паріса Канеллакіса за теоретичні та практичні досягнення (англ. Paris Kanellakis Theory and Practice Award) — щорічна наукова премія Асоціації обчислювальної техніки (АСМ), що вручається за особливі теоретичні досягнення, які мали значний і помітний вплив на практичний розвиток інформаційних технологій .
Премія Канеллакіса англ. Paris Kanellakis Theory and Practice Award | ||||
Країна | | |||
---|---|---|---|---|
Тип | нагорода | |||
Вручає: | Association for Computing Machinery | |||
Підстава | За особливі теоретичні досягнення, що зробили значний вплив на практичний розвиток інформаційних технологій | |||
Статус | вручається щорічно | |||
На честь: | Паріс Канеллакіс | |||
Нагородження | ||||
Параметри | Грошова винагорода у $10000 | |||
Засновано: | 1996 | |||
Нагороджені: | ||||
(37) | ||||
Черговість | ||||
Сайт | awards.acm.org/kanellakis |
Історія
Заснована у 1996 році в пам'ять про Паріса Канеллакіса — грецько-американського вченого в галузі інформатики, який загинув разом зі своєю родиною в авіакатастрофі в американському штаті Колумбія в 1995 році (рейс 965 American Airlines).
Нагорода
Лауреатам вручається грошова премія у розмірі $10 тис., яка щорічно забезпечується внесками батьків Паріса Канеллакіса, а також додатковою фінансовою підтримкою декількох тематичних груп Асоціації обчислювальної техніки [en], [en], [en], [en], Фондом проєктів ACM SIG, а також індивідуальними спонсорськими програмами.
Нагороджені
Рік | Лауреат | Обґрунтування нагороди | |
---|---|---|---|
1996 | Леонард Макс Адлеман, Вітфілд Діффі, Мартін Геллман, Ральф Чарльз Меркле, Рональд Лінн Рівест та Аді Шамір | «За задум і першу ефективну реалізацію криптосистем з відкритим ключем». | |
1997 | Авраам Лемпель та Яков Зів | «За піонерську роботу зі стиснення даних». | |
1998 | Рендел Брайнт, Едмунд Кларк, Ернест Аллен Емерсон та | "за «винахід „символьної перевірки моделі“, методу автоматичної формальної верифікації систем, що широко використовується у виробництві комп'ютерів». | |
1999 | Деніел Слітор та Роберт Андре Тар'ян | «за винахід структури даних Розширюване дерево». | |
2000 | Нарендра Кармаркар | «За розробку методу внутрішньої точки для лінійного програмування, який працює за поліноміальний час». | |
2001 | [en] | «за внесок у секвенування геному людини, повного складу ДНК людської клітини та кодування всіх її генів, основних будівельних блоків життя». | |
2002 | Петр Франашек |
| |
2003 | Ґері Міллер, Міхаель Ошер Рабін, Роберт Соловей та Фолькер Штрассен | за «внесок у практичну реалізацію криптографії та демонстрацію можливостей алгоритмів перевірки простоти», завдяки роботі, яка «привела до двох ймовірнісних тестів простоти, відомих як тест Соловея-Штрассена та тест Міллера-Рабіна». | |
2004 | Йоав Фройнд та Роберт Шапіро | за «основоположну роботу та видатний внесок […] у розвиток теорії та практики бустингу, загального та доведено ефективного методу створення довільно точних правил прогнозування шляхом поєднання слабких правил навчання»; зокрема, для , їхнього алгоритму машинного навчання, який «можна використовувати для значного зменшення помилок алгоритмів, що використовуються в аналізі даних, фільтруванні електронної пошти, оптичному розпізнаванні символів, сегментуванні ринку та в інших додатках». | |
2005 | Джерард Гольцманн, Роберт Куршан, Моше Варді та П'єр Вольпе | «За внесок в інструментарій, який забезпечує потужні формальні засоби формальної верифікації апаратних і програмних систем». | |
2006 | Роберт Брайтон | «за інноваційний внесок у синтез логіки і симуляцію електронних компонентів, які зробили можливим технології швидкого проєктування схемотехніки для програм проєктування електронних систем». | |
2007 | Бруно Бухбергер | За «роль у розвитку теорії , яка відіграє ключову роль у системі комп'ютерної алгебри та широко використовується в науці, інженерії та інформатиці». | |
2008 | Корінна Кортес та Володимир Вапник | "за революційну розробку високоефективного алгоритму розпізнавання за допомогою методу опорних векторів (SVM), набору відповідних однотипних методів керованого навчання для завдання класифікації та регресії даних, який є «одним із найбільш часто використовуваних методів машинного навчання і широко застосовується для медичної діагностики, прогнозу погоди та системи виявлення вторгнень тощо». | |
2009 | Міхір Белларе та Філліп Рогауей | «за розробку систем доведеної безпеки, орієнтованої на практику, яка призвела до високоякісної та економічно ефективної криптографії — ключового компонента Інтернет-безпеки в епоху бурхливого зростання онлайн-транзакцій». | |
2010 | Курт Мельгорн | «за фундаментальний внесок у , що склали основу створення Бібліотеки ефективних типів даних і алгоритмів (LEDA) (англ. Library of Efficient Data types and Algorithms)». | |
2011 | Ханан Самет | «за новаторські дослідження задач сортування дерева квадрантів та інших багатовимірних просторових структур просторових даних для сортування просторової інформації, а також за його книги, які вплинули на застосування цих структур». | |
2012 | Андрей Бродер, Мозес Чарикар та Пйотр Індик | «за новаторську роботу з локально-чутливого хешування, яка мала великий вплив у багатьох галузях інформатики, включаючи комп'ютерний зір, бази даних, інформаційний пошук, машинне навчання та обробку сигналів». | |
2013 | Роберт Блюмоф та Чарльз Ерік Лейзерсон | «за внесок у паралельні та розподілені обчислення, включаючи алгоритм планування завдань та Cilk». | |
2014 | Джеймс Деммел | «за внески в алгоритми та програмне забезпечення для чисельної лінійної алгебри, в тому числі LAPACK, що використовується в наукових обчисленнях та аналізі великомасштабних даних». | |
2015 | Майкл Лабі | за «новаторський внесок у надлишкові коди, які необхідні для покращення якості передачі відео через Інтернет». | |
2016 | [en] та [en] | «За новаторський внесок для відстеження широкомовного шифрування та піратства, закладення основ сучасного захисту авторських прав Blu-ray дисків та інших засобів масової інформації». | |
2017 | [en] | За «новаторський внесок у справедливе формування черги з комутацією пакетів, що мало великий вплив на сучасну практику комп'ютерних комунікацій». | |
2018 | [en] | За «новаторський внесок у теорію, проектування та реалізацію алгоритмів реконструкції послідовностей та їх застосування в складанні геному». | |
2019 | Нога Алон, [en], [en], [en] | За «проведену роботу з основ потокових алгоритмів та їх застосування до аналізу великомасштабних даних». | |
2020 | Йосі Азар, Андрей Бродер, [en], [en] та [en] | За «відкриття та аналіз збалансованого розподілу, відомого як сила двох варіантів та їх широке застосування на практиці». | |
2021 | [en], Іріт Дінур, Синтія Дворк, [en], [en] та [en] | За «фундаментальний внесок у розвиток диференційованої конфіденційності.» |
Примітки
- Paris Kanellakis Theory and Practice Award. ACM. Архів оригіналу за 17 березня 2013. Процитовано 8 квітня 2018.
- ACM Paris Kanellakis Award (PDF). Conduit. Brown CS Dept. 5 (1): 4. 1996.
- ACM SIGs: SIG Project Fund (SPF). ACM. Архів оригіналу за 17 березня 2013. Процитовано 8 квітня 2018.
- (Пресреліз). ACM. 12 лютого 1997. Архів оригіналу за 11 лютого 2012. Процитовано 14 лютого 2021.
- (Пресреліз). ACM. 26 березня 1998. Архів оригіналу за 11 лютого 2012. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 26 березня 1999. Архів оригіналу за 5 червня 2011. Процитовано 12 грудня 2012.
- ACM Paris Kanellakis Theory and Practice Award 1999. ACM. Процитовано 22 листопада 2017.
- (Пресреліз). ACM. 2000. Архів оригіналу за 2 квітня 2012. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 22 січня 2002. Архів оригіналу за 11 лютого 2012. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 21 травня 2003. Архів оригіналу за 11 лютого 2012. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 24 травня 2004. Архів оригіналу за 11 лютого 2012. Процитовано 12 грудня 2012.
- ACM Paris Kanellakis Theory and Practice Award 2004. ACM. Процитовано 22 листопада 2017.
- ACM honors creators of verification tools for software, hardware (Пресреліз). ACM. 15 березня 2006. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 29 березня 2007. Архів оригіналу за 2 грудня 2012. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 13 травня 2008. Архів оригіналу за 2 травня 2013. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 17 березня 2009. Архів оригіналу за 2 травня 2013. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 30 березня 2010. Архів оригіналу за 2 грудня 2012. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 6 квітня 2011. Архів оригіналу за 2 травня 2013. Процитовано 12 грудня 2012.
- (Пресреліз). ACM. 26 квітня 2012. Архів оригіналу за 2 травня 2013. Процитовано 12 грудня 2012.
- ACM Paris Kanellakis Theory and Practice Award 2012. ACM. Архів оригіналу за 17 березня 2013. Процитовано 5 травня 2013.
- ACM Paris Kanellakis Theory and Practice Award 2013. ACM. Процитовано 22 листопада 2017.
- ACM Paris Kanellakis Theory and Practice Award 2014. ACM. Процитовано 17 липня 2015.
- ACM Paris Kanellakis Theory and Practice Award 2015. ACM. Процитовано 29 квітня 2016.
- ACM Paris Kanellakis Theory and Practice Award 2016. ACM. Процитовано 22 листопада 2017.
- ACM Honors Eminent Researchers for Technical Innovations: 2016 Recipients Made Contributions in Areas Including Big Data Analysis, Computer Vision, and Encryption. ACM. Процитовано 14 лютого 2021.
- ACM Paris Kanellakis Theory and Practice Award: Scott J Shenker. Процитовано 16 травня 2019.
- ACM Paris Kanellakis Theory and Practice Award: Pavel Pevzner. Процитовано 16 травня 2019.
- https://awards.acm.org/kanellakis
- Creators of Balanced Allocations Paradigm Receive Kanellakis Award.
- Contributors to the Development of Differential Privacy Receive Kanellakis Award.
Посилання
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Premiya Parisa Kanellakisa za teoretichni ta praktichni dosyagnennya angl Paris Kanellakis Theory and Practice Award shorichna naukova premiya Asociaciyi obchislyuvalnoyi tehniki ASM sho vruchayetsya za osoblivi teoretichni dosyagnennya yaki mali znachnij i pomitnij vpliv na praktichnij rozvitok informacijnih tehnologij Premiya Kanellakisa angl Paris Kanellakis Theory and Practice Award Krayina SShATip nagorodaVruchaye Association for Computing MachineryPidstava Za osoblivi teoretichni dosyagnennya sho zrobili znachnij vpliv na praktichnij rozvitok informacijnih tehnologijStatus vruchayetsya shorichno Na chest Paris Kanellakis Nagorodzhennya Parametri Groshova vinagoroda u 10000Zasnovano 1996Nagorodzheni Kategoriya Laureati premiyi Kanellakisa 37 Chergovist Sajt awards acm org kanellakisIstoriyaZasnovana u 1996 roci v pam yat pro Parisa Kanellakisa grecko amerikanskogo vchenogo v galuzi informatiki yakij zaginuv razom zi svoyeyu rodinoyu v aviakatastrofi v amerikanskomu shtati Kolumbiya v 1995 roci rejs 965 American Airlines NagorodaLaureatam vruchayetsya groshova premiya u rozmiri 10 tis yaka shorichno zabezpechuyetsya vneskami batkiv Parisa Kanellakisa a takozh dodatkovoyu finansovoyu pidtrimkoyu dekilkoh tematichnih grup Asociaciyi obchislyuvalnoyi tehniki en en en en Fondom proyektiv ACM SIG a takozh individualnimi sponsorskimi programami NagorodzheniRik Laureat Obgruntuvannya nagorodi 1996 Leonard Maks Adleman Vitfild Diffi Martin Gellman Ralf Charlz Merkle Ronald Linn Rivest ta Adi Shamir Za zadum i pershu efektivnu realizaciyu kriptosistem z vidkritim klyuchem 1997 Avraam Lempel ta Yakov Ziv Za pionersku robotu zi stisnennya danih 1998 Rendel Brajnt Edmund Klark Ernest Allen Emerson ta za vinahid simvolnoyi perevirki modeli metodu avtomatichnoyi formalnoyi verifikaciyi sistem sho shiroko vikoristovuyetsya u virobnictvi komp yuteriv 1999 Deniel Slitor ta Robert Andre Tar yan za vinahid strukturi danih Rozshiryuvane derevo 2000 Narendra Karmarkar Za rozrobku metodu vnutrishnoyi tochki dlya linijnogo programuvannya yakij pracyuye za polinomialnij chas 2001 en za vnesok u sekvenuvannya genomu lyudini povnogo skladu DNK lyudskoyi klitini ta koduvannya vsih yiyi geniv osnovnih budivelnih blokiv zhittya 2002 Petr Franashek Cya stattya ye sirim perekladom z inshoyi movi Mozhlivo vona stvorena za dopomogoyu mashinnogo perekladu abo perekladachem yakij nedostatno volodiye oboma movami Bud laska dopomozhit polipshiti pereklad za fundamentalnij i rezultativnij vnesok u teoriyu ta praktiku zastosuvannya obmezhenogo kanalnogo koduvannya 2003 Geri Miller Mihael Osher Rabin Robert Solovej ta Folker Shtrassen za vnesok u praktichnu realizaciyu kriptografiyi ta demonstraciyu mozhlivostej algoritmiv perevirki prostoti zavdyaki roboti yaka privela do dvoh jmovirnisnih testiv prostoti vidomih yak test Soloveya Shtrassena ta test Millera Rabina 2004 Joav Frojnd ta Robert Shapiro za osnovopolozhnu robotu ta vidatnij vnesok u rozvitok teoriyi ta praktiki bustingu zagalnogo ta dovedeno efektivnogo metodu stvorennya dovilno tochnih pravil prognozuvannya shlyahom poyednannya slabkih pravil navchannya zokrema dlya yihnogo algoritmu mashinnogo navchannya yakij mozhna vikoristovuvati dlya znachnogo zmenshennya pomilok algoritmiv sho vikoristovuyutsya v analizi danih filtruvanni elektronnoyi poshti optichnomu rozpiznavanni simvoliv segmentuvanni rinku ta v inshih dodatkah 2005 Dzherard Golcmann Robert Kurshan Moshe Vardi ta P yer Volpe Za vnesok v instrumentarij yakij zabezpechuye potuzhni formalni zasobi formalnoyi verifikaciyi aparatnih i programnih sistem 2006 Robert Brajton za innovacijnij vnesok u sintez logiki i simulyaciyu elektronnih komponentiv yaki zrobili mozhlivim tehnologiyi shvidkogo proyektuvannya shemotehniki dlya program proyektuvannya elektronnih sistem 2007 Bruno Buhberger Za rol u rozvitku teoriyi yaka vidigraye klyuchovu rol u sistemi komp yuternoyi algebri ta shiroko vikoristovuyetsya v nauci inzheneriyi ta informatici 2008 Korinna Kortes ta Volodimir Vapnik za revolyucijnu rozrobku visokoefektivnogo algoritmu rozpiznavannya za dopomogoyu metodu opornih vektoriv SVM naboru vidpovidnih odnotipnih metodiv kerovanogo navchannya dlya zavdannya klasifikaciyi ta regresiyi danih yakij ye odnim iz najbilsh chasto vikoristovuvanih metodiv mashinnogo navchannya i shiroko zastosovuyetsya dlya medichnoyi diagnostiki prognozu pogodi ta sistemi viyavlennya vtorgnen tosho 2009 Mihir Bellare ta Fillip Rogauej za rozrobku sistem dovedenoyi bezpeki oriyentovanoyi na praktiku yaka prizvela do visokoyakisnoyi ta ekonomichno efektivnoyi kriptografiyi klyuchovogo komponenta Internet bezpeki v epohu burhlivogo zrostannya onlajn tranzakcij 2010 Kurt Melgorn za fundamentalnij vnesok u sho sklali osnovu stvorennya Biblioteki efektivnih tipiv danih i algoritmiv LEDA angl Library of Efficient Data types and Algorithms 2011 Hanan Samet za novatorski doslidzhennya zadach sortuvannya dereva kvadrantiv ta inshih bagatovimirnih prostorovih struktur prostorovih danih dlya sortuvannya prostorovoyi informaciyi a takozh za jogo knigi yaki vplinuli na zastosuvannya cih struktur 2012 Andrej Broder Mozes Charikar ta Pjotr Indik za novatorsku robotu z lokalno chutlivogo heshuvannya yaka mala velikij vpliv u bagatoh galuzyah informatiki vklyuchayuchi komp yuternij zir bazi danih informacijnij poshuk mashinne navchannya ta obrobku signaliv 2013 Robert Blyumof ta Charlz Erik Lejzerson za vnesok u paralelni ta rozpodileni obchislennya vklyuchayuchi algoritm planuvannya zavdan ta Cilk 2014 Dzhejms Demmel za vneski v algoritmi ta programne zabezpechennya dlya chiselnoyi linijnoyi algebri v tomu chisli LAPACK sho vikoristovuyetsya v naukovih obchislennyah ta analizi velikomasshtabnih danih 2015 Majkl Labi za novatorskij vnesok u nadlishkovi kodi yaki neobhidni dlya pokrashennya yakosti peredachi video cherez Internet 2016 en ta en Za novatorskij vnesok dlya vidstezhennya shirokomovnogo shifruvannya ta piratstva zakladennya osnov suchasnogo zahistu avtorskih prav Blu ray diskiv ta inshih zasobiv masovoyi informaciyi 2017 en Za novatorskij vnesok u spravedlive formuvannya chergi z komutaciyeyu paketiv sho malo velikij vpliv na suchasnu praktiku komp yuternih komunikacij 2018 en Za novatorskij vnesok u teoriyu proektuvannya ta realizaciyu algoritmiv rekonstrukciyi poslidovnostej ta yih zastosuvannya v skladanni genomu 2019 Noga Alon en en en Za provedenu robotu z osnov potokovih algoritmiv ta yih zastosuvannya do analizu velikomasshtabnih danih 2020 Josi Azar Andrej Broder en en ta en Za vidkrittya ta analiz zbalansovanogo rozpodilu vidomogo yak sila dvoh variantiv ta yih shiroke zastosuvannya na praktici 2021 en Irit Dinur Sintiya Dvork en en ta en Za fundamentalnij vnesok u rozvitok diferencijovanoyi konfidencijnosti PrimitkiParis Kanellakis Theory and Practice Award ACM Arhiv originalu za 17 bereznya 2013 Procitovano 8 kvitnya 2018 ACM Paris Kanellakis Award PDF Conduit Brown CS Dept 5 1 4 1996 ACM SIGs SIG Project Fund SPF ACM Arhiv originalu za 17 bereznya 2013 Procitovano 8 kvitnya 2018 Presreliz ACM 12 lyutogo 1997 Arhiv originalu za 11 lyutogo 2012 Procitovano 14 lyutogo 2021 Presreliz ACM 26 bereznya 1998 Arhiv originalu za 11 lyutogo 2012 Procitovano 12 grudnya 2012 Presreliz ACM 26 bereznya 1999 Arhiv originalu za 5 chervnya 2011 Procitovano 12 grudnya 2012 ACM Paris Kanellakis Theory and Practice Award 1999 ACM Procitovano 22 listopada 2017 Presreliz ACM 2000 Arhiv originalu za 2 kvitnya 2012 Procitovano 12 grudnya 2012 Presreliz ACM 22 sichnya 2002 Arhiv originalu za 11 lyutogo 2012 Procitovano 12 grudnya 2012 Presreliz ACM 21 travnya 2003 Arhiv originalu za 11 lyutogo 2012 Procitovano 12 grudnya 2012 Presreliz ACM 24 travnya 2004 Arhiv originalu za 11 lyutogo 2012 Procitovano 12 grudnya 2012 ACM Paris Kanellakis Theory and Practice Award 2004 ACM Procitovano 22 listopada 2017 ACM honors creators of verification tools for software hardware Presreliz ACM 15 bereznya 2006 Procitovano 12 grudnya 2012 Presreliz ACM 29 bereznya 2007 Arhiv originalu za 2 grudnya 2012 Procitovano 12 grudnya 2012 Presreliz ACM 13 travnya 2008 Arhiv originalu za 2 travnya 2013 Procitovano 12 grudnya 2012 Presreliz ACM 17 bereznya 2009 Arhiv originalu za 2 travnya 2013 Procitovano 12 grudnya 2012 Presreliz ACM 30 bereznya 2010 Arhiv originalu za 2 grudnya 2012 Procitovano 12 grudnya 2012 Presreliz ACM 6 kvitnya 2011 Arhiv originalu za 2 travnya 2013 Procitovano 12 grudnya 2012 Presreliz ACM 26 kvitnya 2012 Arhiv originalu za 2 travnya 2013 Procitovano 12 grudnya 2012 ACM Paris Kanellakis Theory and Practice Award 2012 ACM Arhiv originalu za 17 bereznya 2013 Procitovano 5 travnya 2013 ACM Paris Kanellakis Theory and Practice Award 2013 ACM Procitovano 22 listopada 2017 ACM Paris Kanellakis Theory and Practice Award 2014 ACM Procitovano 17 lipnya 2015 ACM Paris Kanellakis Theory and Practice Award 2015 ACM Procitovano 29 kvitnya 2016 ACM Paris Kanellakis Theory and Practice Award 2016 ACM Procitovano 22 listopada 2017 ACM Honors Eminent Researchers for Technical Innovations 2016 Recipients Made Contributions in Areas Including Big Data Analysis Computer Vision and Encryption ACM Procitovano 14 lyutogo 2021 ACM Paris Kanellakis Theory and Practice Award Scott J Shenker Procitovano 16 travnya 2019 ACM Paris Kanellakis Theory and Practice Award Pavel Pevzner Procitovano 16 travnya 2019 https awards acm org kanellakis Creators of Balanced Allocations Paradigm Receive Kanellakis Award Contributors to the Development of Differential Privacy Receive Kanellakis Award PosilannyaParis Kanellakis Theory and Practice Award on the ACM website The Paris Kanellakis Theory and Practice Award Committee on the ACM website