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

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

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

ІсторіяРедагувати

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

НагородаРедагувати

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

НагородженіРедагувати

Рік Лауреат Обґрунтування нагороди
1996 Леонард Макс Адлеман, Вітфілд Діффі, Мартін Геллман, Ральф Чарльз Меркле, Рональд Лінн Рівест та Аді Шамір «За концепцію і першу ефективну реалізацію криптосистем з відкритим ключем»[4].
1997 Авраам Лемпель та Яков Зів «За свою новаторську роботу зі стиснення даних, що призвело до їх алгоритму LZ77, який „забезпечує найкращий ступінь стиснення без втрат досягнутий за допомогою кодерів кінцевих станів“, і „його можна знайти практично на кожному сучасному комп'ютері“»[5].
1998 Рендел Брайнт, Едмунд Кларк, Ернест Аллен Емерсон та Кеннет Л. Макміллан «за метод автоматичної формальної верифікації систем, широко використовуваний у виробництві комп'ютерів»[6].
1999 Деніел Слітор та Роберт Андре Тар'ян «за структуру розширюваного дерева — одну з найбільш широко використовуваних структур даних, винайдених в останні 20 років»[7].
2000 Нарендра Кармаркар[ru] «За „теоретичну роботу з розробки методу внутрішньої точки для лінійного програмування, який доказово працює в поліноміальному часі, а також за його реалізацію, що припускає, що методи внутрішньої точки можуть бути ефективними для лінійного програмування як на практиці, так і в теорії“»[8].
2001 Юджін Маєрс[en] «за внесок у розшифровку геному людини, повного складу генів ДНК»[9].
2002 Петр Франашек «за плідний внесок у теорію і практику кодування 8-бітних послідовностей в 10-бітові»[10].
2003 Ґері Міллер, Міхаель Ошер Рабін, Роберт Соловей та Фолькер Штрассен «за внесок у практичну реалізацію криптографії та демонстрацію можливостей імовірнісних алгоритмів перевірки простоти — Соловея — Штрассена і Міллера — Рабіна»[11].
2004 Йоав Фройнд та Роберт Шапіро «за розробку і впровадження алгоритму машинного навчання AdaBoost, який значно знижує помилку розпізнавання при аналізі даних, фільтрації електронної пошти, оптичному розпізнаванні символів та в інших додатках»[12].
2005 Джерард Гольцманн, Роберт Куршан, Моше Варді та П'єр Вольпе «За внесок в інструментарій формальної верифікації програмного та апаратного забезпечення комп'ютерів»[13].
2006 Роберт Брайтон «за інноваційний внесок у синтез логіки електронних систем, який прискорив проектування в EDA — індустрії»[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], Маріо Жегеді[en] За "проведену роботу з основ потокових алгоритмів та їх застосування до широкомасштабної аналітики даних[28].

ПриміткиРедагувати

  1. а б Paris Kanellakis Theory and Practice Award. ACM. Архів оригіналу за 2013-03-17. Процитовано 2018-04-08. 
  2. ACM Paris Kanellakis Award. Conduit (Brown CS Dept) 5 (1): 4. 1996. 
  3. ACM SIGs: SIG Project Fund (SPF). ACM. Архів оригіналу за 2013-03-17. Процитовано 2018-04-08. 
  4. ACM (12 Feb 1997). "The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography". Прес-реліз.
  5. ACM (26 Mar 1998). "The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression". Прес-реліз.
  6. ACM (26 Mar 1999). "ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs". Прес-реліз.
  7. ACM Paris Kanellakis Theory and Practice Award 1999. ACM. Процитовано 2017-11-22. 
  8. ACM. "Interior point". Прес-реліз.
  9. ACM (22 Jan 2002). "ACM honors developer of key software for sequencing the human genome". Прес-реліз.
  10. ACM (21 May 2003). "ACM honors Peter Franaszek for contributions to data encoding". Прес-реліз.
  11. ACM (24 May 2004). "ACM honors creators of methods to improve cryptography". Прес-реліз.
  12. ACM Paris Kanellakis Theory and Practice Award 2004. ACM. Процитовано 2017-11-22. 
  13. ACM (15 Mar 2006). "ACM honors creators of verification tools for software, hardware". Прес-реліз.
  14. ACM (29 Mar 2007). "ACM honors electronic design automation technologies pioneer". Прес-реліз.
  15. ACM (13 May 2008). "ACM Kanellakis Award honors innovator of automated tools for mathematics". Прес-реліз.
  16. ACM (17 Mar 2009). "ACM awards recognize innovators in computer science". Прес-реліз.
  17. ACM (30 Mar 2010). "ACM awards recognize computer scientists for innovations that have real world impact". Прес-реліз.
  18. ACM (6 Apr 2011). "ACM honors computing innovators for advances in research, commerce and education". Прес-реліз.
  19. ACM (26 Apr 2012). "ACM honors computing innovators for advances in research, education, and industry". Прес-реліз.
  20. ACM Paris Kanellakis Theory and Practice Award 2012. ACM. Архів оригіналу за 2013-03-17. Процитовано 2013-05-05. 
  21. ACM Paris Kanellakis Theory and Practice Award 2013. ACM. Процитовано 2017-11-22. 
  22. ACM Paris Kanellakis Theory and Practice Award 2014. ACM. Процитовано 2015-07-17. 
  23. ACM Paris Kanellakis Theory and Practice Award 2015. ACM. Процитовано 2016-04-29. 
  24. ACM Paris Kanellakis Theory and Practice Award 2016. ACM. Процитовано 2017-11-22. 
  25. ACM Honors Eminent Researchers for Technical Innovations: 2016 Recipients Made Contributions in Areas Including Big Data Analysis, Computer Vision, and Encryption. ACM. Процитовано 2021-02-14. 
  26. ACM Paris Kanellakis Theory and Practice Award: Scott J Shenker. Процитовано 2019-05-16. 
  27. ACM Paris Kanellakis Theory and Practice Award: Pavel Pevzner. Процитовано 2019-05-16. 
  28. https://awards.acm.org/kanellakis

ПосиланняРедагувати