Мероприятия | Премия Париса Канеллакиса

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

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

1996: Леонард Макс Адлеман, Уитфилд Диффи, Мартин Хеллман, Ральф Чарльз Меркл, Рональд Линн Ривест и Шамир, Ади — «За концепцию и первую эффективную реализацию криптосистем с открытым ключом».

1997: Абрахам Лемпел (англ. Abraham Lempel) и Якоб Зив — «за построение наиболее эффективных для конечных кодирующих систем алгоритмов сжатия без потерь LZ77».

1998: Рэндел Брайнт (англ. Randal Bryant), Эдмунд Кларк, Эрнест Аллен Эмерсон и Кеннет Макмиллан — «за метод автоматической формальной верификации систем, широко используемый в производстве компьютеров».

1999: Дэниел Слитор, Роберт Тарьян — «за структуру расширяющегося дерева — одну из наиболее широко используемых структур данных, изобретенных в последние 20 лет».

2000: Нарендра Кармаркар — «за разработку метода внутренней точки для линейного программирования, который имеет полиномиальную сложность; а также за реализацию этого метода, показывающую его практическую эффективность».

2001: Юджин Майерс (англ. Eugene Myers) — «за вклад в расшифровку генома человека, полного состава генов ДНК».

2002: Петр Франашек (англ. Peter Franaszek) — «за плодотворный вклад в теорию и практику кодирования 8-битных последовательностей в 10-битные».

2003: Гари Миллер, Михаэль Ошер Рабин, Роберт Соловей и Фолькер Штрассен — «за вклад в практическую реализацию криптографии и демонстрацию возможностей вероятностных алгоритмов проверки простоты — Соловея — Штрассена и Миллера — Рабина».

2004: Йоав Фройнд (англ. Yoav Freund) и Роберт Шапире (англ. Robert Schapire) — «за разработку и внедрение алгоритма машинного обучения AdaBoost, который значительно снижает ошибку распознавания при анализе данных, фильтрации электронной почты, оптическом распознавании символов и в других приложениях».

2005: Джерард Хольцманн (англ. Gerard J. Holzmann), Роберт Куршан (англ. Robert Kurshan), Моше Варди (англ. Moshe Y. Vardi) и Пьер Вольпе (англ. Pierre Wolper).

За вклад в инструментарий формальной верификации программного и аппаратного обеспечения компьютеров.

2006: Роберт Брайтон (англ. Robert Brayton) — «за инновационный вклад в синтез логики электронных систем, который ускорил проектирование в EDA-индустрии».

2007: Бруно Бухбергер (англ. Bruno Buchberger) — «за алгоритм построения базиса Грёбнера, который играет ключевую роль в компьютерной алгебре и широко используется в науке и технике».

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: Майкл Лаби (англ.) — «за вклад в коды коррекции ошибок».

© greenmile

Источники:

Ru.Wikipedia.Org.

В начало

Мероприятия | Премия Париса Канеллакиса