Премия Paris Kanellakis Theory and Practice Award ежегодно присуждается Ассоциацией вычислительной техники (ACM) в знак признания «конкретных теоретических достижений, оказавших значительное и очевидное влияние на практику вычислений». [1] Он был учрежден в 1996 году в память о Пэрис Канеллакис , ученого-информатика , погибшего вместе со своими ближайшими родственниками в авиакатастрофе в Южной Америке в 1995 году ( рейс 965 American Airlines ). [2] К награде прилагается приз в размере 10 000 долларов США, который предоставляется за счет взносов родителей Канеллакиса при дополнительной финансовой поддержке со стороны четырех групп специальных интересов ACM ( SIGACT ,SIGDA , SIGMOD и SIGPLAN ), ACM SIG Projects Fund [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)», программного комплекса структур данных и алгоритмов, который «был включен в прикладные исследовательские программы тысяч компаний по всему миру в области телекоммуникаций , биоинформатика , автоматизированное проектирование (САПР) и географические информационные системы (ГИС), банковское дело, оптические продукты и транспорт ». [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] |
Смотрите также
- Список наград в области информатики
Заметки
- ^ a b «Премия Пэрис Канеллакис по теории и практике» . ACM . Архивировано из оригинала на 2013-03-17 . Проверено 12 декабря 2012 .
- ^ «Премия ACM Paris Kanellakis» (PDF) . Трубопровод . Браун CS Департамент 5 (1): 4. 1996.
- ^ «ACM SIG: SIG Project Fund (SPF)» . ACM . Проверено 12 декабря 2012 .
- ^ «Первая премия Парижа Канеллакиса в области теории и практики вручается основателям криптографии с открытым ключом» (пресс-релиз). ACM . 12 февраля 1997 года Архивировано из оригинала на 2012-02-11 . Проверено 12 декабря 2012 .
- ^ «Премия ACM Paris Kanellakis Theory and Practice Award вручается пионерам в области сжатия данных» (пресс-релиз). ACM . 26 марта 1998. Архивировано из оригинала на 2012-02-11 . Проверено 12 декабря 2012 .
- ^ «ACM вручает Премию Канеллакиса за разработку« символьной проверки моделей », используемой при тестировании компьютерных систем» (пресс-релиз). ACM . 26 марта 1999 Архивировано из оригинала на 2011-06-05 . Проверено 12 декабря 2012 .
- ^ "Премия ACM Paris Kanellakis по теории и практике 1999" . ACM . Проверено 22 ноября 2017 .
- ^ «Внутренний пункт» (пресс-релиз). ACM . 2000. Архивировано из оригинала на 2012-04-02 . Проверено 12 декабря 2012 .
- ^ «ACM награждает разработчиков ключевого программного обеспечения для секвенирования генома человека» (пресс-релиз). ACM . 22 января 2002. Архивировано из оригинала на 2012-02-11 . Проверено 12 декабря 2012 .
- ^ «ACM благодарит Петера Франашека за вклад в кодирование данных» (пресс-релиз). ACM . 21 мая 2003 года Архивировано из оригинала 11 февраля 2012 года . Проверено 12 декабря 2012 .
- ^ «ACM чествует создателей методов улучшения криптографии» (пресс-релиз). ACM . 24 мая 2004 года Архивировано из оригинала 11 февраля 2012 года . Проверено 12 декабря 2012 .
- ^ «Премия ACM Paris Kanellakis Theory and Practice Award 2004» . ACM . Проверено 22 ноября 2017 .
- ^ «ACM чествует создателей средств верификации программного и аппаратного обеспечения» (пресс-релиз). ACM . 15 марта 2006 . Проверено 12 декабря 2012 .
- ^ «ACM чествует пионера технологий автоматизации проектирования электроники» (пресс-релиз). ACM . 29 марта 2007. Архивировано из оригинала на 2012-12-02 . Проверено 12 декабря 2012 .
- ^ «Премия ACM Kanellakis награждает новатора в области автоматизированных инструментов для математики» (пресс-релиз). ACM . 13 мая 2008. Архивировано из оригинала 2 мая 2013 года . Проверено 12 декабря 2012 .
- ^ «Награды ACM присуждают новаторам в информатике» (пресс-релиз). ACM . 17 марта 2009 Архивировано из оригинала на 2013-05-02 . Проверено 12 декабря 2012 .
- ^ «Награды ACM присуждаются компьютерным специалистам за инновации, оказавшие влияние на реальный мир» (пресс-релиз). ACM . 30 марта 2010. Архивировано из оригинала на 2012-12-02 . Проверено 12 декабря 2012 .
- ^ «ACM награждает новаторов в области вычислительной техники за достижения в области исследований, коммерции и образования» (пресс-релиз). ACM . 6 апреля 2011. Архивировано из оригинала на 2013-05-02 . Проверено 12 декабря 2012 .
- ^ «ACM награждает новаторов в области вычислительной техники за достижения в исследованиях, образовании и промышленности» (пресс-релиз). ACM . 26 апреля 2012. Архивировано из оригинала на 2013-05-02 . Проверено 12 декабря 2012 .
- ^ «Премия ACM Paris Kanellakis по теории и практике 2012» . ACM . Архивировано из оригинала на 2013-03-17 . Проверено 5 мая 2013 .
- ^ а б «Премия ACM Paris Kanellakis Theory and Practice Award 2013» . ACM . Проверено 22 ноября 2017 .
- ^ «Премия ACM Paris Kanellakis Theory and Practice Award 2014» . ACM . Проверено 17 июля 2015 .
- ^ «Премия ACM Paris Kanellakis Theory and Practice Award 2015» . ACM . Проверено 29 апреля 2016 .
- ^ «Премия ACM Paris Kanellakis Theory and Practice Award 2016» . ACM . Проверено 22 ноября 2017 .
- ^ «ACM награждает выдающихся исследователей технических инноваций: получатели 2016 года внесли вклад в такие области, как анализ больших данных, компьютерное зрение и шифрование» . ACM . Проверено 22 ноября 2017 .
- ^ «Премия ACM Paris Kanellakis в области теории и практики: Скотт Дж. Шенкер» . Проверено 16 мая 2019 .
- ^ «Премия ACM Paris Kanellakis в области теории и практики: Павел Певзнер» . Проверено 16 мая 2019 .
- ^ https://awards.acm.org/kanellakis
- ^ https://awards.acm.org/kanellakis
Рекомендации
Внешние ссылки
- Премия Пэрис Канеллакис в области теории и практики на сайте ACM .
- Комитет по теории и практике Пэрис Канеллакис на веб-сайте ACM .