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

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

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

[править | править код]
Год Лауреаты Номинация
1996 Леонард Макс Адлеман
Уитфилд Диффи
Мартин Хеллман
Ральф Меркл
Рональд Линн Ривест
Шамир, Ади 		За концепцию и первую эффективную реализацию криптосистем с открытым ключом.
1997 Абрахам Лемпель
Якоб Зив 		За построение наиболее эффективных для конечных кодирующих систем алгоритмов сжатия без потерь LZ77.
1998 Рэндел Брайнт[англ.]
Эдмунд Кларк, Эрнест Аллен Эмерсон и Кеннет Макмиллан[нем.] 		За метод автоматической формальной верификации систем, широко используемый в производстве компьютеров.
1999 Дэниел Слитор[англ.]
Роберт Тарьян 		За структуру расширяющегося дерева — одну из наиболее широко используемых структур данных, изобретённых в последние 20 лет.
2000 Нарендра Кармаркар За разработку метода внутренней точки для линейного программирования, который имеет полиномиальную сложность; а также за реализацию этого метода, показывающую его практическую эффективность.
2001 Юджин Майерс За вклад в расшифровку генома человека — полного состава генов ДНК.
2002 Петр Франашек[англ.] За плодотворный вклад в теорию и практику кодирования 8-битных последовательностей в 10-битные.
2003 Гари Миллер
Михаэль Ошер Рабин
Роберт Соловей
Фолькер Штрассен 		За вклад в практическую реализацию криптографии и демонстрацию возможностей вероятностных алгоритмов проверки простоты — Соловея — Штрассена и Миллера — Рабина.
2004 Йоав Фройнд[англ.]
Роберт Шапире[англ.] 		За разработку и внедрение алгоритма машинного обучения AdaBoost, который значительно снижает ошибку распознавания при анализе данных, фильтрации электронной почты, оптическом распознавании символов и в других приложениях.
2005 Джерард Хольцманн[англ.]
Роберт Куршан[нем.]
Моше Варди
Пьер Вольпе[англ.] 		За вклад в инструментарий формальной верификации программного и аппаратного обеспечения компьютеров"
2006 Роберт Брайтон[нем.] За инновационный вклад в синтез логики электронных систем, который ускорил проектирование в EDA-индустрии.
2007 Бруно Бухбергер За алгоритм построения базиса Грёбнера, который играет ключевую роль в компьютерной алгебре и широко используется в науке и технике.
2008 Коринна Кортес[англ.]
Владимир Вапник 		За разработку высокоэффективного алгоритма распознавания с помощью метода опорных векторов, интегрированного множества однотипных методов обучения с учителем для задачи классификации и регрессии, который является наиболее часто используемым методом машинного обучения и широко применяется на практике.
2009 Михир Белларе[англ.]
Филлип Рогавэй[англ.] 		За разработку систем доказуемой безопасности[англ.], высококачественной и недорогой криптографии — ключевого компонента безопасности Интернета.
2010 Курт Мельхорн[англ.] За фундаментальный вклад в разработку алгоритмов, составивших основу библиотеки LEDA[англ.].
2011 Ханан Самет[англ.] За исследование задач сортировки дерева квадрантов и других многомерных пространственных структур структур данных.
2012 Андрей Бродер[англ.]
Мозес Чарикар[англ.]
Пётр Индык[англ.] 		За прорывную работу над локально-чувствительным хешированием, которая оказала большое влияние на многие области.
2013 Роберт Блюмоф[нем.]
Чарльз Эрик Лейзерсон 		За вклад в параллельные и распределённые вычисления, включая алгоритм планирования задач и Cilk.
2014 Джеймс Деммел[англ.] За работу над библиотеками линейной алгебры, в том числе LAPACK.
2015 Майкл Лаби[англ.] За вклад в коды коррекции ошибок.
2016 Амос Фиат[англ.]
Мони Наор[англ.] 		За новаторский вклад в широковещательное шифрование и отслеживание доступа к конфиденциальной информации, составившими основу современных технологий защиты авторских прав на дисках Blu-ray и для вещательных средств массовой информации
2017 Скотт Шенкер[англ.] За новаторский вклад в технологию справедливых очередей[англ.] в сетях с пакетной коммутацией, оказавший значительное влияние на современную практику.
2018 Павел Певзнер За новаторский вклад в теорию, разработку и внедрение алгоритмов реконструкции строк и их применение к задаче сборки генома
2019 Нога Алон
Филлип Гиббонс[англ.]
Йосси Матиас[англ.]
Марио Сегеди[англ.] 		За плодотворные работы по основаниям алгоритмов потоковой передачи и их приложениям к анализу больших массивов данных
2020 Йосси Азар[вд]
Андрей Бродер[англ.]
Анна Карлин
Михаэль Мценмахер[англ.]
Эли Упфаль[англ.] 		За открытие и анализ алгоритмов балансировки нагрузки «power of two choices», получивших широкое практическое применение.
2021 Аврим Блюм[англ.]
Ирит Динур
Синтия Дворк
Фрэнк Макшерри[англ.]
Кобби Нисим[англ.]
Адам Смит[англ.] 		За фундаментальный вклад в разработку методов дифференциальной приватности.
2022 Майкл Барроуз[англ.]
Паоло Ферраджина
Джованни Мандзини 		За изобретение преобразования Барроуза — Уилера и индекса Фераджины — Мандзини[англ.], оказавших значительное влияние на направление сжатых структур данных с фундаментальным значением для вычислительной биологии
2023 Гай Блеллок[англ.]
Джулиан Шан
Лакшман Дхулипала 		За вклад в разработку алгоритмов, в том числе создание фреймворков Ligra, GBBS и Aspen, видоизменивших технологии крупномасштабной графовой обработки на системах с разделяемой памятью.

Примечания

[править | править код]
  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. Архивировано 11 октября 2006 года.
  3. ↑ ACM SIGs: SIG Project Fund (SPF). ACM. Дата обращения: 12 декабря 2012. Архивировано 17 марта 2013 года.

Ссылки

[править | править код]