Премия Пэрис Канеллакис
Премия Пэрис Канеллакис в области теории и практики ежегодно присуждается Ассоциацией вычислительной техники (ACM) в знак признания «конкретных теоретических достижений, которые оказали значительное и очевидное влияние на практику вычислений». [1] Он был учрежден в 1996 году в память о Пэрис К. Канеллакис , ученом-компьютерщике , погибшем вместе со своими ближайшими родственниками в авиакатастрофе в Южной Америке в 1995 году ( рейс 965 American Airlines ). [2] Награда сопровождается премией в размере 10 000 долларов США и обеспечивается за счет взносов родителей Канеллакиса, а также дополнительной финансовой поддержки, предоставляемой четырьмя группами специальных интересов ACM ( SIGACT , SIGDA , SIGMOD и SIGPLAN ), Фондом проектов ACM SIG, [3] и индивидуальные вклады. [1]
Победители [ править ]
| Год | Победители | Цитирование |
|---|---|---|
| 1996 | Леонард Адлеман , Уитфилд Диффи , Мартин Хеллман , Ральф Меркл , Рональд Ривест и Ади Шамир | За «концепцию и первую эффективную реализацию криптографии с открытым ключом ». [4] |
| 1997 | Авраам Лемпель и Джейкоб Зив | За новаторскую работу в области сжатия данных , приведшую к созданию алгоритма LZ , который «обеспечивает наилучшую степень сжатия , достижимую для кодировщиков с конечным состоянием» и «можно найти практически в каждом современном компьютере». [5] |
| 1998 | Рэндал Брайант , Эдмунд М. Кларк , Э. Аллен Эмерсон и Кеннет Л. Макмиллан | За «изобретение « проверки символических моделей » — метода формальной проверки системных проектов, широко используемого в индустрии компьютерного оборудования». [6] |
| 1999 | Дэниел Слитор и Роберт Тарджан | За «изобретение широко используемой структуры данных в виде расширенного дерева ». [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)», коллекции программного обеспечения структур данных и алгоритмов, которая «была включена в прикладные исследовательские программы тысяч компаний по всему миру в области телекоммуникаций » . биоинформатика , автоматизированное проектирование (САПР) и географические информационные системы (ГИС), банковское дело, оптические продукты и транспорт». [18] |
| 2011 | Ханан Самет | За «новаторские исследования квадродеревьев и других многомерных пространственных структур данных для сортировки пространственной информации, а также за хорошо принятые книги, оказавшие глубокое влияние на теорию и применение этих структур». [19] |
| 2012 | Андрей Бродер , Моисей С. Чарикар и Петр Индик | За «их новаторскую работу над локально-чувствительным хешированием , которая оказала большое влияние на многие области информатики, включая компьютерное зрение , базы данных, поиск информации , машинное обучение и обработку сигналов ». [20] |
| 2013 | Роберт Д. Блюмоф и Чарльз Э. Лейзерсон | За «вклад в эффективные и надежные параллельные вычисления посредством как доказуемо эффективных протоколов рандомизированного планирования, так и набора примитивов параллельного языка, составляющих структуру Cilk». [21] Они разработали доказуемо эффективные рандомизированные алгоритмы планирования с перехватом работы и Cilk — небольшой набор лингвистических примитивов для программирования многопоточных вычислений. [21] |
| 2014 | Джеймс Деммел | За «вклад в алгоритмы и программное обеспечение для числовой линейной алгебры, используемое в научных вычислениях и крупномасштабном анализе данных». [22] |
| 2015 | Майкл Люби | За «новаторский вклад в коды коррекции стирания , которые необходимы для улучшения качества передачи видео через Интернет». [23] |
| 2016 | Амос Фиат и Мони Наор | За «разработку систем шифрования радиовещания и поиска предателей ». [24] [25] |
| 2017 | Скотт Шенкер | За «новаторский вклад в создание справедливых очередей в сетях с коммутацией пакетов , оказавший большое влияние на современную практику компьютерной связи». [26] |
| 2018 | Павел Алексеевич Певзнер | За «новаторский вклад в теорию, разработку и реализацию алгоритмов реконструкции строк и их применение при сборке геномов ». [27] |
| 2019 | Нога Алон , Филип Гиббонс , Йосси Матиас и Марио Сегеди | За «плодотворную работу по основам алгоритмов потоковой передачи и их применению для крупномасштабного анализа данных». [28] |
| 2020 | Йоси Азар , Андрей Бродер , Анна Карлин , Михаэль Митценмахер и Эли Упфал | За «открытие и анализ сбалансированного распределения, известного как сила двух выборов, и его широкое применение на практике». [29] |
| 2021 | Аврим Блюм , Ирит Динур , Синтия Дворк , Фрэнк МакШерри , Кобби Ниссим и Адам Д. Смит | За «фундаментальный вклад в развитие дифференцированной конфиденциальности». [30] |
| 2022 | Майкл Берроуз , Паоло Феррагина и Джованни Манзини | За «изобретение BW-преобразования и FM-индекса , которые открыли и повлияли на область сжатых структур данных, оказав фундаментальное влияние на сжатие данных и вычислительную биологию ». [31] |
| 2023 | Гай Блеллок , Джулиан Шун и Лаксман Дхулипала | За «вклад в разработку алгоритмов, включая платформы Ligra, GBBS и Aspen, которые произвели революцию в крупномасштабной обработке графов на машинах с общей памятью». [32] |
См. также [ править ]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б «Премия Пэрис Канеллакис в области теории и практики» . АКМ . Архивировано из оригинала 30 марта 2013 г. Проверено 12 декабря 2012 г.
- ^ «Премия ACM Парижа Канеллакиса» (PDF) . Проводник . 5 (1). Брауна CS: 4. 1996. Отделение
- ^ «ACM SIG: Проектный фонд SIG (SPF)» . АКМ . Проверено 12 декабря 2012 г.
- ^ «Первая премия Пэрис Канеллакис в области теории и практики вручается основателям криптографии с открытым ключом» (пресс-релиз). АКМ . 12 февраля 1997 г. Архивировано из оригинала 11 февраля 2012 г. Проверено 12 декабря 2012 г.
- ^ «Премия ACM Paris Kanellakis в области теории и практики вручается пионерам в области сжатия данных» (пресс-релиз). АКМ . 26 марта 1998 г. Архивировано из оригинала 11 февраля 2012 г. Проверено 12 декабря 2012 г.
- ^ «ACM присуждает премию Канеллакиса за разработку «проверки символических моделей», используемой при тестировании проектов компьютерных систем» (пресс-релиз). АКМ . 26 марта 1999 г. Архивировано из оригинала 5 июня 2011 г. Проверено 12 декабря 2012 г.
- ^ «Премия ACM Парижа Канеллакиса в области теории и практики 1999 года» . АКМ . Проверено 22 ноября 2017 г.
- ^ «Внутренняя точка» (Пресс-релиз). АКМ . 2000. Архивировано из оригинала 02 апреля 2012 г. Проверено 12 декабря 2012 г.
- ^ «ACM награждает разработчика ключевого программного обеспечения для секвенирования генома человека» (Пресс-релиз). АКМ . 22 января 2002 г. Архивировано из оригинала 11 февраля 2012 г. Проверено 12 декабря 2012 г.
- ^ «ACM награждает Питера Франашека за вклад в кодирование данных» (пресс-релиз). АКМ . 21 мая 2003 г. Архивировано из оригинала 11 февраля 2012 г. Проверено 12 декабря 2012 г.
- ^ «ACM награждает создателей методов улучшения криптографии» (Пресс-релиз). АКМ . 24 мая 2004 г. Архивировано из оригинала 11 февраля 2012 г. Проверено 12 декабря 2012 г.
- ^ «Премия ACM Парижа Канеллакиса в области теории и практики 2004 г.» . АКМ . Проверено 22 ноября 2017 г.
- ^ «ACM награждает создателей средств проверки программного и аппаратного обеспечения» (Пресс-релиз). АКМ . 15 марта 2006 г. Проверено 12 декабря 2012 г.
- ^ «ACM награждает пионера технологий автоматизации электронного проектирования» (пресс-релиз). АКМ . 29 марта 2007 г. Архивировано из оригинала 02 декабря 2012 г. Проверено 12 декабря 2012 г.
- ^ «Премия ACM Канеллакиса присуждается новатору автоматизированных инструментов для математики» (пресс-релиз). АКМ . 13 мая 2008 г. Архивировано из оригинала 2 мая 2013 г. . Проверено 12 декабря 2012 г.
- ^ «Награды ACM присуждаются новаторам в области компьютерных наук» (Пресс-релиз). АКМ . 17 марта 2009 г. Архивировано из оригинала 2 мая 2013 г. Проверено 12 декабря 2012 г.
- ^ «Награды ACM присуждаются ученым-компьютерщикам за инновации, имеющие реальный мировой эффект» (пресс-релиз). АКМ . 30 марта 2010 г. Архивировано из оригинала 2 декабря 2012 г. Проверено 12 декабря 2012 г.
- ^ «ACM награждает новаторов в области компьютерных технологий за достижения в области исследований, торговли и образования» (пресс-релиз). АКМ . 6 апреля 2011 г. Архивировано из оригинала 02 мая 2013 г. Проверено 12 декабря 2012 г.
- ^ «ACM награждает новаторов в сфере компьютерных технологий за достижения в области исследований, образования и промышленности» (пресс-релиз). АКМ . 26 апреля 2012 г. Архивировано из оригинала 2 мая 2013 г. Проверено 12 декабря 2012 г.
- ^ «Премия ACM Paris Kanellakis в области теории и практики 2012» . АКМ . Архивировано из оригинала 30 марта 2013 г. Проверено 5 мая 2013 г.
- ^ Jump up to: Перейти обратно: а б «Премия ACM Paris Kanellakis в области теории и практики 2013» . АКМ . Проверено 22 ноября 2017 г.
- ^ «Премия ACM Paris Kanellakis в области теории и практики 2014» . АКМ . Проверено 17 июля 2015 г.
- ^ «Премия ACM Paris Kanellakis в области теории и практики 2015» . АКМ . Проверено 29 апреля 2016 г.
- ^ «Премия ACM Paris Kanellakis в области теории и практики 2016» . АКМ . Проверено 22 ноября 2017 г.
- ^ «ACM награждает выдающихся исследователей за технические инновации: лауреаты 2016 года внесли вклад в такие области, как анализ больших данных, компьютерное зрение и шифрование» . АКМ . Проверено 22 ноября 2017 г.
- ^ «Премия ACM Пэрис Канеллакис в области теории и практики: Скотт Дж. Шенкер» . Проверено 16 мая 2019 г.
- ^ «Премия ACM Paris Kanellakis в области теории и практики: Павел Певзнер» . Проверено 16 мая 2019 г.
- ^ «Создатели парадигмы сбалансированного распределения получают премию Канеллакиса» .
- ^ «Создатели парадигмы сбалансированного распределения получают премию Канеллакиса» .
- ^ «Вкладчики в развитие дифференцированной конфиденциальности получают премию Канеллакиса» .
- ^ «Лауреаты премии ACM Paris Kanellakis в области теории и практики изобрели BW-преобразование и FM-индекс» . Награды.acm.org . Проверено 11 июля 2023 г.
- ^ «Вкладчики в разработку алгоритмов получают премию Канеллакиса» . Награды.acm.org . Проверено 19 июня 2024 г.