АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

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

Премия Париса Канеллакиса за теоретические и практические достижения (англ. Paris Kanellakis Theory and Practice Award) — ежегодная научная премия Ассоциации вычислительной техники, вручаемая за особые теоретические достижения, которые оказали значительное влияние на практическое развитие информационных технологий[1]. Учреждена в 1996 году в память о Парисе Канеллакисе, греко-американском учёном в области информатики, погибшем вместе с семьёй в авиакатастрофе в Колумбии в 1995 году[2]. Лауреатам вручается денежная премия в размере в $10 тыс., субсидируемая родителями Канеллакиса, и несколькими тематическими группами ACM (SIGACT, SIGDA, SIGMOD и SIGPLAN)[3] и индивидуальные спонсоры[1].

Награждённые

Год Лауреат Обоснование награды
1996 Леонард Макс Адлеман, Уитфилд Диффи, Мартин Хеллман, Ральф Чарльз Меркл, Рональд Линн Ривест и Шамир, Ади[4] «За концепцию и первую эффективную реализацию криптосистем с открытым ключом».
1997 Абрахам Лемпель и Якоб Зив[5] «за построение наиболее эффективных для конечных кодирующих систем алгоритмов сжатия без потерь LZ77».
1998 Рэндел Брайнт, Эдмунд Кларк, Эрнест Аллен Эмерсон и Кеннет Макмиллан[6] «за метод автоматической формальной верификации систем, широко используемый в производстве компьютеров».
1999 Дэниел Слитор, Роберт Тарьян[7] «за структуру расширяющегося дерева — одну из наиболее широко используемых структур данных, изобретённых в последние 20 лет».
2000 Нарендра Кармаркар[8] «за разработку метода внутренней точки для линейного программирования, который имеет полиномиальную сложность; а также за реализацию этого метода, показывающую его практическую эффективность».
2001 Юджин Майерс[9] «за вклад в расшифровку генома человека, полного состава генов ДНК».
2002 Петр Франашек[10] «за плодотворный вклад в теорию и практику кодирования 8-битных последовательностей в 10-битные».
2003 Гари Миллер, Михаэль Ошер Рабин, Роберт Соловей и Фолькер Штрассен[11] «за вклад в практическую реализацию криптографии и демонстрацию возможностей вероятностных алгоритмов проверки простоты — Соловея — Штрассена и Миллера — Рабина».
2004 Йоав Фройнд и Роберт Шапире[12] «за разработку и внедрение алгоритма машинного обучения AdaBoost, который значительно снижает ошибку распознавания при анализе данных, фильтрации электронной почты, оптическом распознавании символов и в других приложениях».
2005 Джерард Хольцманн, Роберт Куршан, Моше Варди и Пьер Вольпе[13] «За вклад в инструментарий формальной верификации программного и аппаратного обеспечения компьютеров».
2006 Роберт Брайтон[14] «за инновационный вклад в синтез логики электронных систем, который ускорил проектирование в EDA-индустрии».
2007 Бруно Бухбергер[15] «за алгоритм построения базиса Грёбнера, который играет ключевую роль в компьютерной алгебре и широко используется в науке и технике».
2008 Коринна Кортес и Владимир Вапник[16] «за разработку высокоэффективного алгоритма распознавания с помощью метода опорных векторов, интегрированного множества однотипных методов обучения с учителем для задачи классификации и регрессии, который является наиболее часто используемым методом машинного обучения и широко применяется на практике».
2009 Михир Белларе и Филлип Рогавэй[17] «за разработку систем доказуемой безопасности, высококачественной и недорогой криптографии — ключевого компонента безопасности Интернета».
2010 Курт Мельхорн[18] «за фундаментальный вклад в разработку алгоритмов, составивших основу библиотеки LEDA».
2011 Ханан Самет[19] «за исследование задач сортировки дерева квадрантов и других многомерных пространственных структур структур данных».
2012 Андрей Бродер, Мозес Чарикар, Пётр Индюк «за прорывную работу над локально-чувствительным хешированием, которая оказала большое влияние на многие области».
2013 Роберт Блюмоф, Чарльз Эрик Лейзерсон «за вклад в параллельные и распределённые вычисления, включая алгоритм планирования задач и Cilk».
2014 Джеймс Деммел «за работу над библиотеками линейной алгебры, в том числе LAPACK».
2015 Майкл Лаби «за вклад в коды коррекции ошибок».
2016 Amos Fiat, Moni Naor
2017 Scott Shenker
2018 Павел Певзнер
2019 Нога Алон, Phillip Gibbons, Yossi Matias, Mario Szegedy
2020 Yossi Azar, Andrei Broder, Анна Карлин, Michael Mitzenmacher, Eli Upfal

Примечания

  1. ↑ 1 2 Paris Kanellakis Theory and Practice Award (недоступная ссылка — история). ACM. Дата обращения: 12 декабря 2012. Архивировано 17 марта 2013 года.
  2. ↑ ACM Paris Kanellakis Award (неопр.) // Conduit. — Brown University CS Dept, 1996. — Т. 5, № 1. — С. 4.
  3. ↑ ACM SIGs: SIG Project Fund (SPF). ACM. Дата обращения: 12 декабря 2012. Архивировано 17 марта 2013 года.
  4. ↑ ACM (12 Feb 1997). The first Paris Kanellakis Theory and Practice Award goes to founders of public key cryptography. Пресс-релиз. Проверено 2012-12-12.
  5. ↑ ACM (26 Mar 1998). The ACM Paris Kanellakis Theory and Practice Award goes to pioneers in data compression. Пресс-релиз. Проверено 2012-12-12.
  6. ↑ ACM (26 Mar 1999). ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs. Пресс-релиз. Проверено 2012-12-12.
  7. ↑ ACM (26 Apr 2000). Splay-tree data structure creators win 1999 Paris Kanellakis Award. Пресс-релиз. Проверено 2012-12-12.
  8. ↑ ACM. Interior point. Пресс-релиз. Проверено 2012-12-12.
  9. ↑ ACM (22 Jan 2002). ACM honors developer of key software for sequencing the human genome. Пресс-релиз. Проверено 2012-12-12.
  10. ↑ ACM (21 May 2003). ACM honors Peter Franaszek for contributions to data encoding. Пресс-релиз. Проверено 2012-12-12.
  11. ↑ ACM (24 May 2004). ACM honors creators of methods to improve cryptography. Пресс-релиз. Проверено 2012-12-12.
  12. ↑ ACM. Theory and practice of boosting. Пресс-релиз. Проверено 2012-12-12.
  13. ↑ ACM (15 Mar 2006). ACM honors creators of verification tools for software, hardware. Пресс-релиз. Проверено 2012-12-12.
  14. ↑ ACM (29 Mar 2007). ACM honors electronic design automation technologies pioneer. Пресс-релиз. Проверено 2012-12-12.
  15. ↑ ACM (13 May 2008). ACM Kanellakis Award honors innovator of automated tools for mathematics. Пресс-релиз. Проверено 2012-12-12.
  16. ↑ ACM (17 Mar 2009). ACM awards recognize innovators in computer science. Пресс-релиз. Проверено 2012-12-12.
  17. ↑ ACM (30 Mar 2010). ACM awards recognize computer scientists for innovations that have real world impact. Пресс-релиз. Проверено 2012-12-12.
  18. ↑ ACM (06 Apr 2011). ACM honors computing innovators for advances in research, commerce and education. Пресс-релиз. Проверено 2012-12-12.
  19. ↑ ACM (26 Apr 2012). ACM honors computing innovators for advances in research, education, and industry. Пресс-релиз. Проверено 2012-12-12.

Ссылки

Категории