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

(перенаправлено с «Премия Париса Канеллакиса»)

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

НаграждённыеПравить

Год Лауреат Обоснование награды
1996 Леонард Макс Адлеман, Уитфилд Диффи, Мартин Хеллман, Ральф Чарльз Меркл, Рональд Линн Ривест и Шамир, Ади[4] «За концепцию и первую эффективную реализацию криптосистем с открытым ключом».
1997 Абрахам Лемпель и Якоб Зив[5] «за построение наиболее эффективных для конечных кодирующих систем алгоритмов сжатия без потерь LZ77».
1998 Рэндел Брайнт (англ. Randal Bryant), Эдмунд Кларк, Эрнест Аллен Эмерсон и Кеннет Макмиллан[de][6] «за метод автоматической формальной верификации систем, широко используемый в производстве компьютеров».
1999 Дэниел Слитор[en], Роберт Тарьян[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] «за разработку систем доказуемой безопасности[en], высококачественной и недорогой криптографии — ключевого компонента безопасности Интернета».
2010 Курт Мельхорн (англ. Kurt Mehlhorn)[18] «за фундаментальный вклад в разработку алгоритмов, составивших основу библиотеки LEDA[en]».
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[en], Moni Naor[en]
2017 Scott Shenker[en]
2018 Павел Певзнер

ПримечанияПравить

  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.

СсылкиПравить