| Год
|
Лауреаты
|
Номинация
|
| 1996
|
Леонард Макс Адлеман
Уитфилд Диффи
Мартин Хеллман
Ральф Меркл
Рональд Линн Ривест
Шамир, Ади
|
За концепцию и первую эффективную реализацию криптосистем с открытым ключом.
|
| 1997
|
Абрахам Лемпель
Якоб Зив
|
За построение наиболее эффективных для конечных кодирующих систем алгоритмов сжатия без потерь LZ77.
|
| 1998
|
Рэндел Брайнт[англ.]
Эдмунд Кларк, Эрнест Аллен Эмерсон и Кеннет Макмиллан[нем.]
|
За метод автоматической формальной верификации систем, широко используемый в производстве компьютеров.
|
| 1999
|
Дэниел Слитор[англ.]
Роберт Тарьян
|
За структуру расширяющегося дерева — одну из наиболее широко используемых структур данных, изобретённых в последние 20 лет.
|
| 2000
|
Нарендра Кармаркар
|
За разработку метода внутренней точки для линейного программирования, который имеет полиномиальную сложность; а также за реализацию этого метода, показывающую его практическую эффективность.
|
| 2001
|
Юджин Майерс
|
За вклад в расшифровку генома человека — полного состава генов ДНК.
|
| 2002
|
Петр Франашек[англ.]
|
За плодотворный вклад в теорию и практику кодирования 8-битных последовательностей в 10-битные.
|
| 2003
|
Гари Миллер
Михаэль Ошер Рабин
Роберт Соловей
Фолькер Штрассен
|
За вклад в практическую реализацию криптографии и демонстрацию возможностей вероятностных алгоритмов проверки простоты — Соловея — Штрассена и Миллера — Рабина.
|
| 2004
|
Йоав Фройнд[англ.]
Роберт Шапире[англ.]
|
За разработку и внедрение алгоритма машинного обучения AdaBoost, который значительно снижает ошибку распознавания при анализе данных, фильтрации электронной почты, оптическом распознавании символов и в других приложениях.
|
| 2005
|
Джерард Хольцманн[англ.]
Роберт Куршан[нем.]
Моше Варди
Пьер Вольпе[англ.]
|
За вклад в инструментарий формальной верификации программного и аппаратного обеспечения компьютеров"
|
| 2006
|
Роберт Брайтон[нем.]
|
За инновационный вклад в синтез логики электронных систем, который ускорил проектирование в EDA-индустрии.
|
| 2007
|
Бруно Бухбергер
|
За алгоритм построения базиса Грёбнера, который играет ключевую роль в компьютерной алгебре и широко используется в науке и технике.
|
| 2008
|
Коринна Кортес[англ.]
Владимир Вапник
|
За разработку высокоэффективного алгоритма распознавания с помощью метода опорных векторов, интегрированного множества однотипных методов обучения с учителем для задачи классификации и регрессии, который является наиболее часто используемым методом машинного обучения и широко применяется на практике.
|
| 2009
|
Михир Белларе[англ.]
Филлип Рогавэй[англ.]
|
За разработку систем доказуемой безопасности[англ.], высококачественной и недорогой криптографии — ключевого компонента безопасности Интернета.
|
| 2010
|
Курт Мельхорн[англ.]
|
За фундаментальный вклад в разработку алгоритмов, составивших основу библиотеки LEDA[англ.].
|
| 2011
|
Ханан Самет[англ.]
|
За исследование задач сортировки дерева квадрантов и других многомерных пространственных структур структур данных.
|
| 2012
|
Андрей Бродер[англ.]
Мозес Чарикар[англ.]
Пётр Индык[англ.]
|
За прорывную работу над локально-чувствительным хешированием, которая оказала большое влияние на многие области.
|
| 2013
|
Роберт Блюмоф[нем.]
Чарльз Эрик Лейзерсон
|
За вклад в параллельные и распределённые вычисления, включая алгоритм планирования задач и Cilk.
|
| 2014
|
Джеймс Деммел[англ.]
|
За работу над библиотеками линейной алгебры, в том числе LAPACK.
|
| 2015
|
Майкл Лаби[англ.]
|
За вклад в коды коррекции ошибок.
|
| 2016
|
Амос Фиат[англ.]
Мони Наор[англ.]
|
За новаторский вклад в широковещательное шифрование и отслеживание доступа к конфиденциальной информации, составившими основу современных технологий защиты авторских прав на дисках Blu-ray и для вещательных средств массовой информации
|
| 2017
|
Скотт Шенкер[англ.]
|
За новаторский вклад в технологию справедливых очередей[англ.] в сетях с пакетной коммутацией, оказавший значительное влияние на современную практику.
|
| 2018
|
Павел Певзнер
|
За новаторский вклад в теорию, разработку и внедрение алгоритмов реконструкции строк и их применение к задаче сборки генома
|
| 2019
|
Нога Алон
Филлип Гиббонс[англ.]
Йосси Матиас[англ.]
Марио Сегеди[англ.]
|
За плодотворные работы по основаниям алгоритмов потоковой передачи и их приложениям к анализу больших массивов данных
|
| 2020
|
Йосси Азар[вд]
Андрей Бродер[англ.]
Анна Карлин
Михаэль Мценмахер[англ.]
Эли Упфаль[англ.]
|
За открытие и анализ алгоритмов балансировки нагрузки «power of two choices», получивших широкое практическое применение.
|
| 2021
|
Аврим Блюм[англ.]
Ирит Динур
Синтия Дворк
Фрэнк Макшерри[англ.]
Кобби Нисим[англ.]
Адам Смит[англ.]
|
За фундаментальный вклад в разработку методов дифференциальной приватности.
|
| 2022
|
Майкл Барроуз[англ.]
Паоло Ферраджина
Джованни Мандзини
|
За изобретение преобразования Барроуза — Уилера и индекса Фераджины — Мандзини[англ.], оказавших значительное влияние на направление сжатых структур данных с фундаментальным значением для вычислительной биологии
|
| 2023
|
Гай Блеллок[англ.]
Джулиан Шан
Лакшман Дхулипала
|
За вклад в разработку алгоритмов, в том числе создание фреймворков Ligra, GBBS и Aspen, видоизменивших технологии крупномасштабной графовой обработки на системах с разделяемой памятью.
|
