Премия Париса Канеллакиса за теоретические и практические достижения (англ. Paris Kanellakis Theory and Practice Award) — ежегодная научная премия Ассоциации вычислительной техники, вручаемая за особые теоретические достижения, которые оказали значительное влияние на практическое развитие информационных технологий[1]. Учреждена в 1996 году в память о Парисе Канеллакисе, греко-американском учёном в области информатики, погибшем вместе с семьёй в авиакатастрофе в Колумбии в 1995 году[2]. Лауреатам вручается денежная премия в размере в $10 тыс., субсидируемая родителями Канеллакиса, и несколькими тематическими группами ACM (SIGACT, SIGDA[en], SIGMOD[en] и SIGPLAN[en])[3] и индивидуальные спонсоры[1].
Год | Лауреат | Обоснование награды |
---|---|---|
1996 | Леонард Макс Адлеман, Уитфилд Диффи, Мартин Хеллман, Ральф Чарльз Меркл, Рональд Линн Ривест и Шамир, Ади[4] | «За концепцию и первую эффективную реализацию криптосистем с открытым ключом». |
1997 | Абрахам Лемпель и Якоб Зив[5] | «за построение наиболее эффективных для конечных кодирующих систем алгоритмов сжатия без потерь LZ77». |
1998 | Рэндел Брайнт (англ. Randal Bryant), Эдмунд Кларк, Эрнест Аллен Эмерсон и Кеннет Макмиллан[de][6] | «за метод автоматической формальной верификации систем, широко используемый в производстве компьютеров». |
1999 | Дэниел Слитор[en], Роберт Тарьян[7] | «за структуру расширяющегося дерева — одну из наиболее широко используемых структур данных, изобретённых в последние 20 лет». |
2000 | Нарендра Кармаркар[8] | «за разработку метода внутренней точки для линейного программирования, который имеет полиномиальную сложность; а также за реализацию этого метода, показывающую его практическую эффективность». |
2001 | Юджин Майерс (англ. Eugene Myers)[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) | «за прорывную работу над локально-чувствительным хешированием[en], которая оказала большое влияние на многие области». |
2013 | Роберт Блюмоф (нем. Robert D. Blumofe), Чарльз Эрик Лейзерсон | «за вклад в параллельные и распределённые вычисления, включая алгоритм планирования задач и Cilk». |
2014 | Джеймс Деммел (англ. James Demmel) | «за работу над библиотеками линейной алгебры, в том числе LAPACK». |
2015 | Майкл Лаби (англ. Michael Luby) | «за вклад в коды коррекции ошибок». |
2016 | Amos Fiat[en], Moni Naor[en] | Оригинальный текст (англ.) «For ground-breaking contributions to broadcast encryption and piracy tracking, laying the foundations for modern copyright protection of blue-ray discs and other broadcast media.»
|
2017 | Scott Shenker[en] | Оригинальный текст (англ.) «For pioneering contributions to fair queueing in packet-switching networks, which had a major impact on modern practice in computer communication.»
|
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .