Премия Paris Kanellakis Theory and Practice Award ежегодно присуждается Ассоциацией вычислительной техники (ACM) в знак признания «конкретных теоретических достижений, оказавших значительное и очевидное влияние на практику вычислений». Он был учрежден в 1996 году в память о Пэрис Канеллакис, ученого-информатика, который погиб вместе со своими ближайшими родственниками в авиакатастрофе в Южной Америке в 1995 году ( рейс 965 American Airlines ). Награда сопровождается призом в размере 10 000 долларов США и обеспечивается за счет взносов родителей Канеллакиса, при дополнительной финансовой поддержке, оказываемой четырьмя группами специальных интересов ACM ( SIGACT, SIGDA, SIGMOD и SIGPLAN ), фондом проектов ACM SIG и индивидуальными взносами.
Год | Победители | Цитата |
---|---|---|
1996 г. | Леонард Адлеман, Уитфилд Диффи, Мартин Хеллман, Ральф Меркл, Рональд Ривест и Ади Шамир | За «концепцию и первую эффективную реализацию криптографии с открытым ключом ». |
1997 г. | Авраам Лемпель и Якоб Зив | За новаторскую работу в области сжатия данных, которая привела к их алгоритму LZ, который «обеспечивает наилучшую степень сжатия, достижимую кодировщиками с конечным числом состояний» и «который можно найти практически на каждом современном компьютере». |
1998 г. | Рэндал Брайант, Эдмунд М. Кларк, Э. Аллен Эмерсон и Кеннет Л. Макмиллан | За «их изобретение« символьной проверки модели », метода формальной проверки системного дизайна, широко используемого в индустрии компьютерного оборудования». |
1999 г. | Дэниел Слейтор и Роберт Тарджан | За «изобретение широко используемой структуры данных splay-tree ». |
2000 г. | Нарендра Кармаркар | За «его теоретическую работу по разработке метода внутренней точки для линейного программирования, который доказуемо выполняется за полиномиальное время, и за его работу по реализации, предполагающую, что методы внутренней точки могут быть эффективными для линейного программирования на практике, а также в теории». |
2001 г. | Юджин Майерс | За «его вклад в секвенирование генома человека, полного содержания ДНК человеческой клетки и кодирования всех ее генов, основных строительных блоков жизни». |
2002 г. | Петер Франашек | За «его основополагающий и постоянный вклад в теорию и применение ограниченного канального кодирования ». |
2003 г. | Гэри Миллер, Майкл Рабин, Роберт Соловей и Фолькер Штрассен | Для «их вклад в реализацию практического использования криптографии и для демонстрации силы алгоритмов, которые делают случайные выборы», через работу, которая «привела к двум вероятностные тесты на простоту, известный как тест Соловея-Штрассен и тест Миллера-Рабина ». |
2004 г. | Йоав Фройнд и Роберт Шапир | За их «плодотворную работу и выдающийся [...] вклад в развитие теории и практики повышения, общего и доказуемо эффективного метода создания произвольно точных правил прогнозирования путем объединения слабых правил обучения»; в частности, для AdaBoost, их алгоритма машинного обучения, который «может использоваться для значительного уменьшения ошибок алгоритмов, используемых в статистическом анализе, фильтрации спама, обнаружении мошенничества, оптическом распознавании символов и сегментации рынка, среди других приложений». |
2005 г. | Жерар Хольцманн, Роберт Куршан, Моше Варди и Пьер Вольпер | За «их вклад в методы, обеспечивающие мощные формальные инструменты проверки аппаратных и программных систем». |
2006 г. | Роберт Брайтон | За «его новаторский вклад в логический синтез и моделирование электронных систем, которые сделали возможными технологии быстрого проектирования схем для индустрии автоматизации проектирования электроники ». |
2007 г. | Бруно Бухбергер | За «его роль в разработке теории основ Грёбнера, которая стала важнейшим строительным блоком компьютерной алгебры и широко используется в науке, технике и информатике». |
2008 г. | Коринна Кортес и Владимир Вапник | За "революционную разработку высокоэффективного алгоритма, известного как машины опорных векторов (SVM), набора связанных контролируемых методов обучения, используемых для классификации и регрессии данных ", который является "одним из наиболее часто используемых алгоритмов в машинном обучении и является используется в медицинской диагностике, прогнозировании погоды и обнаружении вторжений среди многих других практических приложений ". |
2009 г. | Михир Белларе и Филипп Рогавей | За «разработку ориентированной на практику доказуемой безопасности, которая привела к высококачественной и рентабельной криптографии, ключевому компоненту интернет-безопасности в эпоху стремительного роста онлайн-транзакций». |
2010 г. | Курт Мельхорн | За «вклад в разработку алгоритмов, который привел к созданию Библиотеки эффективных типов данных и алгоритмов (LEDA)», программного комплекса структур данных и алгоритмов, который «был включен в прикладные исследовательские программы тысяч компаний по всему миру в области телекоммуникаций, биоинформатика, автоматизированное проектирование (САПР) и географические информационные системы (ГИС), банковское дело, оптические продукты и транспорт ». |
2011 г. | Ханан Самет | За «новаторские исследования квадродеревьев и других многомерных пространственных структур данных для сортировки пространственной информации, а также за его хорошо принятые книги, которые глубоко повлияли на теорию и применение этих структур». |
2012 г. | Андрей Бродер, Моисей Чарикар и Петр Индык | За «их новаторскую работу по хешированию с учетом местоположения, которая оказала большое влияние на многие области информатики, включая компьютерное зрение, базы данных, поиск информации, машинное обучение и обработку сигналов ». |
2013 | Роберт Д. Блюмофе и Чарльз Э. Лейзерсон | За «вклад в эффективные и надежные параллельные вычисления с помощью доказуемо эффективных протоколов рандомизированного планирования и набора примитивов параллельного языка, составляющих структуру Cilk». Они разработали доказуемо эффективные алгоритмы планирования рандомизированной работы и Cilk, небольшой набор лингвистических примитивов для программирования многопоточных вычислений. |
2014 г. | Джеймс Деммел | За «вклад в алгоритмы и программное обеспечение численной линейной алгебры, используемые в научных вычислениях и крупномасштабном анализе данных». |
2015 г. | Майкл Луби | За «новаторский вклад в создание кодов коррекции стирания, которые необходимы для улучшения качества передачи видео через Интернет». |
2016 г. | Амос Фиат и Мони Наор | За «разработку систем шифрования вещания и отслеживания предателей ». |
2017 г. | Скотт Шенкер | За «новаторский вклад в справедливую организацию очередей в сетях с коммутацией пакетов, который оказал большое влияние на современную практику компьютерной связи». |
2018 г. | Павел Александрович Певзнер | За «новаторский вклад в теорию, разработку и реализацию алгоритмов реконструкции струн и их приложений при сборке геномов ». |
2019 г. | Нога Алон, Филипп Гиббонс, Йоси Матиас и Марио Сегеди | За «плодотворную работу по основам алгоритмов потоковой передачи и их применению в крупномасштабной аналитике данных». |
2020 г. | Йоси Азар, Андрей Бродер, Анна Карлин, Майкл Митценмахер и Эли Упфаль | За «открытие и анализ сбалансированного распределения, известного как сила двух выборов, и их широкое применение на практике». |