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

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

Награждённые
Год Лауреат Обоснование награды
1996 Леонард Макс Адлеман, Уитфилд Диффи, Мартин Хеллман, Ральф Чарльз Меркл, Рональд Линн Ривест и Шамир, Ади[4] «За концепцию и первую эффективную реализацию криптосистем с открытым ключом».
1997 Абрахам Лемпель и Якоб Зив[5] «за построение наиболее эффективных для конечных кодирующих систем алгоритмов сжатия без потерь LZ77».
1998 Рэндел Брайнт (англ. Randal Bryant), Эдмунд Кларк, Эрнест Аллен Эмерсон и Кеннет Макмиллан[6] «за метод автоматической формальной верификации систем, широко используемый в производстве компьютеров».
1999 Дэниел Слитор, Роберт Тарьян[7] «за структуру расширяющегося дерева — одну из наиболее широко используемых структур данных, изобретённых в последние 20 лет».
2000 Нарендра Кармаркар[8] «за разработку метода внутренней точки для линейного программирования, который имеет полиномиальную сложность; а также за реализацию этого метода, показывающую его практическую эффективность».
2001 Юджин Майерс[9] «за вклад в расшифровку генома человека, полного состава генов ДНК».
2002 Петр Франашек (англ. Peter Franaszek)[10] «за плодотворный вклад в теорию и практику кодирования 8-битных последовательностей в 10-битные».
2003 Гари Миллер, Михаэль Ошер Рабин, Роберт Соловей и Фолькер Штрассен[11] «за вклад в практическую реализацию криптографии и демонстрацию возможностей вероятностных алгоритмов проверки простоты — Соловея — Штрассена и Миллера — Рабина».
2004 Йоав Фройнд (англ. Yoav Freund) и Роберт Шапире (англ. Robert Schapire)[12] «за разработку и внедрение алгоритма машинного обучения AdaBoost, который значительно снижает ошибку распознавания при анализе данных, фильтрации электронной почты, оптическом распознавании символов и в других приложениях».
2005 Джерард Хольцманн (англ. Gerard J. Holzmann), Роберт Куршан (нем. Robert Kurshan), Моше Варди и Пьер Вольпе (англ. Pierre Wolper)[13] «За вклад в инструментарий формальной верификации программного и аппаратного обеспечения компьютеров».
2006 Роберт Брайтон (нем. Robert Brayton)[14] «за инновационный вклад в синтез логики электронных систем, который ускорил проектирование в EDA-индустрии».
2007 Бруно Бухбергер[15] «за алгоритм построения базиса Грёбнера, который играет ключевую роль в компьютерной алгебре и широко используется в науке и технике».
2008 Коринна Кортес (англ. Corinna Cortes) и Владимир Вапник[16] «за разработку высокоэффективного алгоритма распознавания с помощью метода опорных векторов, интегрированного множества однотипных методов обучения с учителем для задачи классификации и регрессии, который является наиболее часто используемым методом машинного обучения и широко применяется на практике».
2009 Михир Белларе (англ. Mihir Bellare) и Филлип Рогавэй (англ. Phillip Rogaway)[17] «за разработку систем доказуемой безопасности, высококачественной и недорогой криптографии — ключевого компонента безопасности Интернета».
2010 Курт Мельхорн (англ. Kurt Mehlhorn)[18] «за фундаментальный вклад в разработку алгоритмов, составивших основу библиотеки LEDA».
2011 Ханан Самет (англ. Hanan Samet)[19] «за исследование задач сортировки дерева квадрантов и других многомерных пространственных структур структур данных».
2012 Андрей Бродер (англ. Andrei Broder), Мозес Чарикар (англ. Moses Charikar), Пётр Индюк (англ. Piotr Indyk) «за прорывную работу над локально-чувствительным хешированием, которая оказала большое влияние на многие области».
2013 Роберт Блюмоф (нем. Robert D. Blumofe), Чарльз Эрик Лейзерсон «за вклад в параллельные и распределённые вычисления, включая алгоритм планирования задач и Cilk».
2014 Джеймс Деммел (англ. James Demmel) «за работу над библиотеками линейной алгебры, в том числе LAPACK».
2015 Майкл Лаби (англ. Michael Luby) «за вклад в коды коррекции ошибок».
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. 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.

Ссылки
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.