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

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

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

Год	Лауреат	Обоснование награды
1996	Леонард Макс Адлеман, Уитфилд Диффи, Мартин Хеллман, Ральф Чарльз Меркл, Рональд Линн Ривест и Шамир, Ади	«За концепцию и первую эффективную реализацию криптосистем с открытым ключом».
1997	Абрахам Лемпель и Якоб Зив	«за построение наиболее эффективных для конечных кодирующих систем алгоритмов сжатия без потерь LZ77».
1998	Рэндел Брайнт (англ. Randal Bryant), Эдмунд Кларк, Эрнест Аллен Эмерсон и Кеннет Макмиллан	«за метод автоматической формальной верификации систем, широко используемый в производстве компьютеров».
1999	Дэниел Слитор, Роберт Тарьян	«за структуру расширяющегося дерева — одну из наиболее широко используемых структур данных, изобретённых в последние 20 лет».
2000	Нарендра Кармаркар	«за разработку метода внутренней точки для линейного программирования, который имеет полиномиальную сложность; а также за реализацию этого метода, показывающую его практическую эффективность».
2001	Юджин Майерс	«за вклад в расшифровку генома человека, полного состава генов ДНК».
2002	Петр Франашек (англ. Peter Franaszek)	«за плодотворный вклад в теорию и практику кодирования 8-битных последовательностей в 10-битные».
2003	Гари Миллер, Михаэль Ошер Рабин, Роберт Соловей и Фолькер Штрассен	«за вклад в практическую реализацию криптографии и демонстрацию возможностей вероятностных алгоритмов проверки простоты — Соловея — Штрассена и Миллера — Рабина».
2004	Йоав Фройнд (англ. Yoav Freund) и Роберт Шапире (англ. Robert Schapire)	«за разработку и внедрение алгоритма машинного обучения AdaBoost, который значительно снижает ошибку распознавания при анализе данных, фильтрации электронной почты, оптическом распознавании символов и в других приложениях».
2005	Джерард Хольцманн (англ. Gerard J. Holzmann), Роберт Куршан (нем. Robert Kurshan), Моше Варди и Пьер Вольпе (англ. Pierre Wolper)	«За вклад в инструментарий формальной верификации программного и аппаратного обеспечения компьютеров».
2006	Роберт Брайтон (нем. Robert Brayton)	«за инновационный вклад в синтез логики электронных систем, который ускорил проектирование в EDA-индустрии».
2007	Бруно Бухбергер	«за алгоритм построения базиса Грёбнера, который играет ключевую роль в компьютерной алгебре и широко используется в науке и технике».
2008	Коринна Кортес (англ. Corinna Cortes) и Владимир Вапник	«за разработку высокоэффективного алгоритма распознавания с помощью метода опорных векторов, интегрированного множества однотипных методов обучения с учителем для задачи классификации и регрессии, который является наиболее часто используемым методом машинного обучения и широко применяется на практике».
2009	Михир Белларе (англ. Mihir Bellare) и Филлип Рогавэй (англ. Phillip Rogaway)	«за разработку систем доказуемой безопасности, высококачественной и недорогой криптографии — ключевого компонента безопасности Интернета».
2010	Курт Мельхорн (англ. Kurt Mehlhorn)	«за фундаментальный вклад в разработку алгоритмов, составивших основу библиотеки LEDA».
2011	Ханан Самет (англ. Hanan Samet)	«за исследование задач сортировки дерева квадрантов и других многомерных пространственных структур структур данных».
2012	Андрей Бродер (англ. Andrei Broder), Мозес Чарикар (англ. Moses Charikar), Пётр Индюк (англ. Piotr Indyk)	«за прорывную работу над локально-чувствительным хешированием, которая оказала большое влияние на многие области».
2013	Роберт Блюмоф (нем. Robert D. Blumofe), Чарльз Эрик Лейзерсон	«за вклад в параллельные и распределённые вычисления, включая алгоритм планирования задач и Cilk».
2014	Джеймс Деммел (англ. James Demmel)	«за работу над библиотеками линейной алгебры, в том числе LAPACK».
2015	Майкл Лаби (англ. Michael Luby)	«за вклад в коды коррекции ошибок».
2016	Amos Fiat, Moni Naor	Оригинальный текст (англ.) «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	Оригинальный текст (англ.) «For pioneering contributions to fair queueing in packet-switching networks, which had a major impact on modern practice in computer communication.»
2018	Павел Певзнер	Оригинальный текст (англ.) «For pioneering contributions to the theory, design, and implementation of algorithms for string reconstruction and to their applications in the assembly of genomes.»
2019	Нога Алон, Phillip Gibbons, Yossi Matias, Mario Szegedy
2020	Yossi Azar, Andrei Broder, Анна Карлин, Michael Mitzenmacher, Eli Upfal

Ссылки

• Paris Kanellakis Theory and Practice Award Архивная копия от 2 июля 2019 на Wayback Machine on the ACM website.
• The Paris Kanellakis Theory and Practice Award Committee Архивная копия от 20 сентября 2015 на Wayback Machine on the ACM website.