Search

Премія Канеллакіса

Премія Паріса Канеллакіса за теоретичні та практичні досягнення (англ. Paris Kanellakis Theory and Practice Award) — щорічна наукова премія Асоціації обчислювальної техніки (АСМ), що вручається за особливі теоретичні досягнення, які мали значний і помітний вплив на практичний розвиток інформаційних технологій[1].

Премія Канеллакіса
англ. Paris Kanellakis Theory and Practice Award
Країна США США
Тип нагорода
Вручає: Association for Computing Machinery
Підстава За особливі теоретичні досягнення, що зробили значний вплив на практичний розвиток інформаційних технологій
Статус вручається щорічно
На честь: Паріс Канеллакіс
Нагородження
Параметри Грошова винагорода у $10000
Засновано: 1996
Нагороджені:
Категорія:Лауреати премії Канеллакіса (37)
Черговість
Сайт awards.acm.org/kanellakis

Історія

Заснована у 1996 році в пам'ять про Паріса Канеллакіса — грецько-американського вченого в галузі інформатики, який загинув разом зі своєю родиною в авіакатастрофі в американському штаті Колумбія в 1995 році (рейс 965 American Airlines)[2].

Нагорода

Лауреатам вручається грошова премія у розмірі $10 тис., яка щорічно забезпечується внесками батьків Паріса Канеллакіса, а також додатковою фінансовою підтримкою декількох тематичних груп Асоціації обчислювальної техніки SIGACT[en], SIGDA[en], SIGMOD[en], SIGPLAN[en], Фондом проєктів ACM SIG[3], а також індивідуальними спонсорськими програмами[1].

Нагороджені

РікЛауреатОбґрунтування нагороди
1996Леонард Макс Адлеман, Вітфілд Діффі, Мартін Геллман, Ральф Чарльз Меркле, Рональд Лінн Рівест та Аді Шамір«За задум і першу ефективну реалізацію криптосистем з відкритим ключем»[4].
1997Авраам Лемпель та Яков Зів«За піонерську роботу зі стиснення даних»[5].
1998Рендел Брайнт, Едмунд Кларк, Ернест Аллен Емерсон та Кеннет Л. Макміллан"за «винахід „символьної перевірки моделі“, методу автоматичної формальної верифікації систем, що широко використовується у виробництві комп'ютерів»[6].
1999Деніел Слітор та Роберт Андре Тар'ян«за винахід структури даних Розширюване дерево»[7].
2000Нарендра Кармаркар«За розробку методу внутрішньої точки для лінійного програмування, який працює за поліноміальний час»[8].
2001Юджін Маєрс[en]«за внесок у секвенування геному людини, повного складу ДНК людської клітини та кодування всіх її генів, основних будівельних блоків життя»[9].
2002Петр Франашек
Ця стаття є сирим перекладом з іншої мови. Можливо, вона створена за допомогою машинного перекладу або перекладачем, який недостатньо володіє обома мовами. Будь ласка, допоможіть поліпшити переклад.
«за фундаментальний і результативний внесок у теорію та практику застосування обмеженого канального кодування»[10].
2003Ґері Міллер, Міхаель Ошер Рабін, Роберт Соловей та Фолькер Штрассенза «внесок у практичну реалізацію криптографії та демонстрацію можливостей алгоритмів перевірки простоти», завдяки роботі, яка «привела до двох ймовірнісних тестів простоти, відомих як тест Соловея-Штрассена та тест Міллера-Рабіна»[11].
2004Йоав Фройнд та Роберт Шапіроза «основоположну роботу та видатний внесок […] у розвиток теорії та практики бустингу, загального та доведено ефективного методу створення довільно точних правил прогнозування шляхом поєднання слабких правил навчання»; зокрема, для AdaBoost, їхнього алгоритму машинного навчання, який «можна використовувати для значного зменшення помилок алгоритмів, що використовуються в аналізі даних, фільтруванні електронної пошти, оптичному розпізнаванні символів, сегментуванні ринку та в інших додатках»[12].
2005Джерард Гольцманн, Роберт Куршан, Моше Варді та П'єр Вольпе«За внесок в інструментарій, який забезпечує потужні формальні засоби формальної верифікації апаратних і програмних систем»[13].
2006Роберт Брайтон«за інноваційний внесок у синтез логіки і симуляцію електронних компонентів, які зробили можливим технології швидкого проєктування схемотехніки для програм проєктування електронних систем»[14].
2007Бруно БухбергерЗа «роль у розвитку теорії базису Ґрьобнера, яка відіграє ключову роль у системі комп'ютерної алгебри та широко використовується в науці, інженерії та інформатиці»[15].
2008Корінна Кортес та Володимир Вапник"за революційну розробку високоефективного алгоритму розпізнавання за допомогою методу опорних векторів (SVM), набору відповідних однотипних методів керованого навчання для завдання класифікації та регресії даних, який є «одним із найбільш часто використовуваних методів машинного навчання і широко застосовується для медичної діагностики, прогнозу погоди та системи виявлення вторгнень тощо»[16].
2009Міхір Белларе та Філліп Рогауей«за розробку систем доведеної безпеки, орієнтованої на практику, яка призвела до високоякісної та економічно ефективної криптографії — ключового компонента Інтернет-безпеки в епоху бурхливого зростання онлайн-транзакцій»[17].
2010Курт Мельгорн«за фундаментальний внесок у розробку алгоритмів, що склали основу створення Бібліотеки ефективних типів даних і алгоритмів (LEDA) (англ. Library of Efficient Data types and Algorithms)»[18].
2011Ханан Самет«за новаторські дослідження задач сортування дерева квадрантів та інших багатовимірних просторових структур просторових даних для сортування просторової інформації, а також за його книги, які вплинули на застосування цих структур»[19].
2012Андрей Бродер, Мозес Чарикар та Пйотр Індик«за новаторську роботу з локально-чутливого хешування, яка мала великий вплив у багатьох галузях інформатики, включаючи комп'ютерний зір, бази даних, інформаційний пошук, машинне навчання та обробку сигналів»[20].
2013Роберт Блюмоф та Чарльз Ерік Лейзерсон«за внесок у паралельні та розподілені обчислення, включаючи алгоритм планування завдань та Cilk»[21].
2014Джеймс Деммел«за внески в алгоритми та програмне забезпечення для чисельної лінійної алгебри, в тому числі LAPACK, що використовується в наукових обчисленнях та аналізі великомасштабних даних»[22].
2015Майкл Лабіза «новаторський внесок у надлишкові коди, які необхідні для покращення якості передачі відео через Інтернет»[23].
2016Амос Фіат[en] та Моні Наор[en]«За новаторський внесок для відстеження широкомовного шифрування та піратства, закладення основ сучасного захисту авторських прав Blu-ray дисків та інших засобів масової інформації»[24][25].
2017Скотт Шенкер[en]За «новаторський внесок у справедливе формування черги з комутацією пакетів, що мало великий вплив на сучасну практику комп'ютерних комунікацій[26]».
2018Певзнер Павло Аркадійович[en]За «новаторський внесок у теорію, проектування та реалізацію алгоритмів реконструкції послідовностей та їх застосування в складанні геному[27]».
2019Нога Алон, Пилип Гібонс[en], Йоші Матіас[en], Маріо Жегеді[en]За «проведену роботу з основ потокових алгоритмів та їх застосування до аналізу великомасштабних даних[28]».
2020Йосі Азар, Андрей Бродер, Анна Карлін[en], Міхаель Міценмахер[en] та Елі Апфал[en]За «відкриття та аналіз збалансованого розподілу, відомого як сила двох варіантів та їх широке застосування на практиці».[29]
2021Аврім Блюм[en], Іріт Дінур, Синтія Дворк, Френк МакШеррі[en], Коббі Нісім[en] та Адам Д. Сміт[en]За «фундаментальний внесок у розвиток диференційованої конфіденційності.»[30]

Примітки

Посилання

Отримано з https:https://www.search.com.vn/wiki/index.php?lang=uk&q=Премія_Канеллакіса&oldid=41899200
🔥 Top keywords: Головна сторінкаФайл:XHamster logo.svgДень вишиванкиPorno for PyrosСпеціальна:ПошукВишиванкаЮрай ЦинтулаНова КаледоніяВовчанськУсик Олександр ОлександровичТайсон Ф'юріУкраїнаТериторіальний центр комплектування та соціальної підтримкиФайл:XVideos logo.svgРоберт ФіцоYouTubeБудинок «Слово»Nemo (співак)МіГ-31БріджертониВійськово-облікова спеціальністьПісенний конкурс Євробачення 2024Всесвітній день вишиванкиТайсон Ф'юрі — Олександр УсикНебінарний гендерБудинок «Слово» (фільм, 2021)Микола ХвильовийFacebook125-та окрема бригада територіальної оборони (Україна)Шевченко Тарас ГригоровичПриродні заповідники УкраїниТварини Червоної книги УкраїниРосійське вторгнення в Україну (з 2022)Марко ВовчокСкуфЛеся УкраїнкаРослини Червоної книги УкраїниРозстріляне відродженняВійськові звання України