Премия Пэрис Канеллакис - Paris Kanellakis Award

В Премия Пэрис Канеллакис в области теории и практики предоставляется ежегодно Ассоциация вычислительной техники (ACM), чтобы отметить «конкретные теоретические достижения, которые оказали значительное и очевидное влияние на практику вычислений».[1] Он был учрежден в 1996 году в память о Пэрис К. Канеллакис, а специалист в области информатики погибший вместе со своими ближайшими родственниками в авиакатастрофе в Южной Америке в 1995 г. (Рейс 965 American Airlines ).[2] Награда сопровождается призом в размере 10 000 долларов США за счет пожертвований родителей Канеллакиса и дополнительной финансовой поддержки со стороны четырех специальных групп ACM (SIGACT, SIGDA, SIGMOD, и СИГПЛАН ), Фонд проектов ACM SIG,[3] и индивидуальные взносы.[1]

Победители

ГодПобедителиЦитирование
1996Леонард Адлеман, Уитфилд Диффи, Мартин Хеллман, Ральф Меркл, Рональд Ривест, и Ади ШамирЗа «зачатие и первую эффективную реализацию криптография с открытым ключом ".[4]
1997Авраам Лемпель и Джейкоб ЗивЗа их новаторскую работу в Сжатие данных, ведущие к их LZ алгоритм который "дает лучший степень сжатия достижимые с помощью кодировщиков с конечным числом состояний "и" можно найти практически в каждом современном компьютере ".[5]
1998Рэндал Брайант, Эдмунд М. Кларк, Э. Аллен Эмерсон, и Кеннет Л. МакмилланЗа "их изобретение"проверка символьной модели ', метод формальной проверки конструкции систем, широко используемый в индустрии компьютерного оборудования ".[6]
1999Дэниел Слейтор и Роберт ТарджанЗа «изобретение широко используемых структура данных splay-tree ".[7]
2000Нарендра КармаркарЗа "его теоретическую работу по разработке метод внутренней точки за линейное программирование это доказуемо работает в полиномиальное время, и за его работу по реализации, предполагающую, что методы внутренней точки могут быть эффективны как для линейного программирования, так и для теории ".[8]
2001Юджин МайерсЗа "его вклад в последовательность действий геном человека, полный ДНК содержание человека клетка, и кодирует все его гены, основные строительные блоки жизни ".[9]
2002Петер ФранашекЗа "плодотворный и постоянный вклад в теорию и применение ограниченное кодирование канала ".[10]
2003Гэри Миллер, Майкл Рабин, Роберт Соловей, и Фолькер ШтрассенЗа «их вклад в реализацию практического использования криптографии и за демонстрацию силы алгоритмов, которые делают случайный выбор», благодаря работе, которая «привела к двум вероятностным тесты на простоту, известный как Тест Соловея – Штрассена и Тест Миллера – Рабина ".[11]
2004Йоав Фройнд и Роберт ШапирЗа их «плодотворную работу и выдающийся [...] вклад в развитие теории и практики повышение, общий и доказуемо эффективный метод создания произвольно точных правил прогнозирования путем объединения слабых правил обучения "; в частности, для AdaBoost, их машинное обучение алгоритм, который "может быть использован для значительного уменьшения ошибки алгоритмов, используемых в статистический анализ, фильтрация спама, Обнаружение мошенничества, оптическое распознавание символов, и сегментация рынка, среди других приложений ".[12]
2005Джерард Хольцманн, Роберт Куршан, Моше Варди, и Пьер ВольперЗа "их вклад в методы, обеспечивающие мощное формальная проверка инструменты для программно-аппаратных комплексов ».[13]
2006Роберт БрайтонЗа "его новаторский вклад в логический синтез и электронная система симуляция, которые сделали возможным быстрое схемотехника технологии для автоматизация проектирования электроники промышленность".[14]
2007Бруно БухбергерЗа «его роль в развитии теории Базы Грёбнера, который стал важным строительным блоком для компьютерная алгебра, и широко используется в науке, технике и информатике ".[15]
2008Коринна Кортес и Владимир ВапникЗа «революционную разработку высокоэффективного алгоритма, известного как опорные векторные машины (SVM), набор связанных контролируемое обучение методы, используемые для классификация данных и регресс ", что является" одним из наиболее часто используемых алгоритмов в машинное обучение, и используется в медицинский диагноз, прогноз погоды, и обнаружения вторжений среди многих других практических приложений ».[16]
2009Михир Белларе и Филип РогавейЗа «разработку практико-ориентированных доказуемая безопасность, что привело к качественной и рентабельной криптография, ключевой компонент для Интернет-безопасность в эпоху стремительного роста онлайн-транзакций ".[17]
2010Курт МельхорнЗа "вклад в разработку алгоритмов, который привел к созданию Библиотека эффективных типов данных и алгоритмов (LEDA) ", набор программного обеспечения структуры данных и алгоритмы, которые "были включены в прикладные исследовательские программы тысяч компаний по всему миру в телекоммуникации, биоинформатика, системы автоматизированного проектирования (CAD) и географические информационные системы (ГИС), банковское дело, оптические продукты и транспорт ».[18]
2011Ханан СаметЗа "новаторское исследование квадродеревья и другие многомерные пространственные структуры данных для сортировки пространственной информации, а также его хорошо принятые книги, которые оказали глубокое влияние на теорию и применение этих структур ».[19]
2012Андрей Бродер, Моисей С. Чарикар и Петр ИндыкЗа "их новаторскую работу по хеширование с учетом местоположения это оказало большое влияние на многие области информатики, включая компьютерное зрение, базы данных, поиск информации, машинное обучение и обработка сигналов ".[20]
2013Роберт Д. Блюмофе, и Чарльз Э. ЛейзерсонЗа «вклад в эффективные и надежные параллельные вычисления с помощью доказуемо эффективных протоколов рандомизированного планирования и набора примитивов параллельного языка, составляющих структуру Cilk».[21] Они разработали доказуемо эффективные рандомизированные работа воровство алгоритмы планирования и Cilk, небольшой набор лингвистических примитивов для программирования многопоточных вычислений.[21]
2014Джеймс ДеммелЗа «вклад в алгоритмы и программное обеспечение для числовой линейной алгебры, используемые в научных вычислениях и крупномасштабном анализе данных».[22]
2015Майкл ЛубиЗа "новаторский вклад в коды исправления стирания, которые необходимы для улучшения качества передачи видео через Интернет ".[23]
2016Амос Фиат и Мони НаорЗа "развитие широковещательное шифрование и поиск предателя системы ".[24][25]
2017Скотт ШенкерЗа "новаторский вклад в справедливую очередь в сети с коммутацией пакетов, которая оказала большое влияние на современную практику компьютерного общения ".[26]
2018Павел Александрович ПевзнерЗа «новаторский вклад в теорию, разработку и реализацию алгоритмов реконструкции струн и их приложений в сборка геномов."[27]
2019Нога Алон, Филлип Гиббонс, Йоси Матиас и Марио СегедиЗа «плодотворную работу по основам алгоритмов потоковой передачи и их применению в крупномасштабной аналитике данных».[28]

Смотрите также

Примечания

  1. ^ а б «Премия Пэрис Канеллакис в области теории и практики». ACM. Архивировано из оригинал на 2013-03-17. Получено 2012-12-12.
  2. ^ «Премия ACM Paris Kanellakis» (PDF). Трубопровод. коричневый CS Dept. 5 (1): 4. 1996.
  3. ^ «ACM SIG: SIG Project Fund (SPF)». ACM. Получено 2012-12-12.
  4. ^ «Первая премия Парижа Канеллакиса в области теории и практики вручается основателям криптографии с открытым ключом» (Пресс-релиз). ACM. 12 февраля 1997 г. Архивировано с оригинал на 2012-02-11. Получено 2012-12-12.
  5. ^ «Премия ACM Paris Kanellakis Theory and Practice Award вручается пионерам в области сжатия данных» (Пресс-релиз). ACM. 26 марта 1998 г. Архивировано с оригинал на 2012-02-11. Получено 2012-12-12.
  6. ^ «ACM вручает премию Канеллакиса за разработку« проверки символической модели », используемой при тестировании компьютерных систем» (Пресс-релиз). ACM. 26 марта 1999 г. Архивировано с оригинал на 2011-06-05. Получено 2012-12-12.
  7. ^ "Премия ACM Paris Kanellakis по теории и практике 1999". ACM. Получено 2017-11-22.
  8. ^ «Внутренняя точка» (Пресс-релиз). ACM. 2000. Архивировано с оригинал на 2012-04-02. Получено 2012-12-12.
  9. ^ «ACM награждает разработчика ключевого программного обеспечения для секвенирования генома человека» (Пресс-релиз). ACM. 22 января 2002 г. Архивировано с оригинал на 2012-02-11. Получено 2012-12-12.
  10. ^ «ACM благодарит Петера Франашека за вклад в кодирование данных» (Пресс-релиз). ACM. 21 мая 2003 г. Архивировано с оригинал 11 февраля 2012 г.. Получено 2012-12-12.
  11. ^ «ACM чествует создателей методов улучшения криптографии» (Пресс-релиз). ACM. 24 мая 2004 г. Архивировано с оригинал 11 февраля 2012 г.. Получено 2012-12-12.
  12. ^ "Премия ACM Paris Kanellakis Theory and Practice Award 2004". ACM. Получено 2017-11-22.
  13. ^ «ACM чествует создателей средств проверки программного и аппаратного обеспечения» (Пресс-релиз). ACM. 15 марта 2006 г.. Получено 2012-12-12.
  14. ^ «ACM чествует пионера технологий автоматизации проектирования электроники» (Пресс-релиз). ACM. 29 марта 2007 г. Архивировано с оригинал на 2012-12-02. Получено 2012-12-12.
  15. ^ «Премия ACM Kanellakis награждает новатора в области автоматизированных инструментов для математики» (Пресс-релиз). ACM. 13 мая 2008. Архивировано с оригинал 2 мая 2013 г.. Получено 2012-12-12.
  16. ^ «Награды ACM отмечают новаторов в области информатики» (Пресс-релиз). ACM. 17 марта 2009 г. Архивировано с оригинал на 2013-05-02. Получено 2012-12-12.
  17. ^ «Награды ACM присуждаются компьютерным специалистам за инновации, оказавшие влияние на мир» (Пресс-релиз). ACM. 30 марта 2010 г. Архивировано с оригинал на 2012-12-02. Получено 2012-12-12.
  18. ^ «ACM награждает новаторов в области вычислительной техники за достижения в области исследований, коммерции и образования» (Пресс-релиз). ACM. 6 апреля 2011 г. Архивировано с оригинал на 2013-05-02. Получено 2012-12-12.
  19. ^ «ACM награждает новаторов в области вычислительной техники за достижения в области исследований, образования и промышленности» (Пресс-релиз). ACM. 26 апреля 2012 г. Архивировано с оригинал на 2013-05-02. Получено 2012-12-12.
  20. ^ "Премия ACM Paris Kanellakis по теории и практике 2012". ACM. Архивировано из оригинал на 2013-03-17. Получено 2013-05-05.
  21. ^ а б «Премия ACM Paris Kanellakis Theory and Practice Award 2013». ACM. Получено 2017-11-22.
  22. ^ "Премия ACM Paris Kanellakis по теории и практике 2014". ACM. Получено 2015-07-17.
  23. ^ «Премия ACM Paris Kanellakis по теории и практике 2015». ACM. Получено 2016-04-29.
  24. ^ «Премия ACM Paris Kanellakis Theory and Practice Award 2016». ACM. Получено 2017-11-22.
  25. ^ «ACM награждает выдающихся исследователей технических инноваций: получатели 2016 года внесли вклад в такие области, как анализ больших данных, компьютерное зрение и шифрование». ACM. Получено 2017-11-22.
  26. ^ "Премия ACM Paris Kanellakis за теорию и практику: Скотт Дж. Шенкер". Получено 2019-05-16.
  27. ^ "Премия ACM Paris Kanellakis по теории и практике: Павел Певзнер". Получено 2019-05-16.
  28. ^ https://awards.acm.org/kanellakis

Рекомендации

внешняя ссылка