| Рік
|
Лауреат
|
Обґрунтування нагороди
|
| 1996
|
Леонард Макс Адлеман, Вітфілд Діффі, Мартін Геллман, Ральф Чарльз Меркле, Рональд Лінн Рівест та Аді Шамір
|
«За задум і першу ефективну реалізацію криптосистем з відкритим ключем»[4].
|
| 1997
|
Авраам Лемпель та Яков Зів
|
«За піонерську роботу зі стиснення даних»[5].
|
| 1998
|
Рендел Брайнт, Едмунд Кларк, Ернест Аллен Емерсон та Кеннет Л. Макміллан
|
"за «винахід „символьної перевірки моделі“, методу автоматичної формальної верифікації систем, що широко використовується у виробництві комп'ютерів»[6].
|
| 1999
|
Деніел Слітор та Роберт Андре Тар'ян
|
«за винахід структури даних Розширюване дерево»[7].
|
| 2000
|
Нарендра Кармаркар
|
«За розробку методу внутрішньої точки для лінійного програмування, який працює за поліноміальний час»[8].
|
| 2001
|
Юджін Маєрс[en]
|
«за внесок у секвенування геному людини, повного складу ДНК людської клітини та кодування всіх її генів, основних будівельних блоків життя»[9].
|
| 2002
|
Петр Франашек
|
«за фундаментальний і результативний внесок у теорію та практику застосування обмеженого канального кодування»[10].
|
| 2003
|
Ґері Міллер, Міхаель Ошер Рабін, Роберт Соловей та Фолькер Штрассен
|
за «внесок у практичну реалізацію криптографії та демонстрацію можливостей алгоритмів перевірки простоти», завдяки роботі, яка «привела до двох ймовірнісних тестів простоти, відомих як тест Соловея-Штрассена та тест Міллера-Рабіна»[11].
|
| 2004
|
Йоав Фройнд та Роберт Шапіро
|
за «основоположну роботу та видатний внесок […] у розвиток теорії та практики бустингу, загального та доведено ефективного методу створення довільно точних правил прогнозування шляхом поєднання слабких правил навчання»; зокрема, для AdaBoost, їхнього алгоритму машинного навчання, який «можна використовувати для значного зменшення помилок алгоритмів, що використовуються в аналізі даних, фільтруванні електронної пошти, оптичному розпізнаванні символів, сегментуванні ринку та в інших додатках»[12].
|
| 2005
|
Джерард Гольцманн, Роберт Куршан, Моше Варді та П'єр Вольпе
|
«За внесок в інструментарій, який забезпечує потужні формальні засоби формальної верифікації апаратних і програмних систем»[13].
|
| 2006
|
Роберт Брайтон
|
«за інноваційний внесок у синтез логіки і симуляцію електронних компонентів, які зробили можливим технології швидкого проєктування схемотехніки для програм проєктування електронних систем»[14].
|
| 2007
|
Бруно Бухбергер
|
За «роль у розвитку теорії базису Ґрьобнера, яка відіграє ключову роль у системі комп'ютерної алгебри та широко використовується в науці, інженерії та інформатиці»[15].
|
| 2008
|
Корінна Кортес та Володимир Вапник
|
"за революційну розробку високоефективного алгоритму розпізнавання за допомогою методу опорних векторів (SVM), набору відповідних однотипних методів керованого навчання для завдання класифікації та регресії даних, який є «одним із найбільш часто використовуваних методів машинного навчання і широко застосовується для медичної діагностики, прогнозу погоди та системи виявлення вторгнень тощо»[16].
|
| 2009
|
Міхір Белларе та Філліп Рогауей
|
«за розробку систем доведеної безпеки, орієнтованої на практику, яка призвела до високоякісної та економічно ефективної криптографії — ключового компонента Інтернет-безпеки в епоху бурхливого зростання онлайн-транзакцій»[17].
|
| 2010
|
Курт Мельгорн
|
«за фундаментальний внесок у розробку алгоритмів, що склали основу створення Бібліотеки ефективних типів даних і алгоритмів (LEDA) (англ. Library of Efficient Data types and Algorithms)»[18].
|
| 2011
|
Ханан Самет
|
«за новаторські дослідження задач сортування дерева квадрантів та інших багатовимірних просторових структур просторових даних для сортування просторової інформації, а також за його книги, які вплинули на застосування цих структур»[19].
|
| 2012
|
Андрей Бродер, Мозес Чарикар та Пйотр Індик
|
«за новаторську роботу з локально-чутливого хешування, яка мала великий вплив у багатьох галузях інформатики, включаючи комп'ютерний зір, бази даних, інформаційний пошук, машинне навчання та обробку сигналів»[20].
|
| 2013
|
Роберт Блюмоф та Чарльз Ерік Лейзерсон
|
«за внесок у паралельні та розподілені обчислення, включаючи алгоритм планування завдань та Cilk»[21].
|
| 2014
|
Джеймс Деммел
|
«за внески в алгоритми та програмне забезпечення для чисельної лінійної алгебри, в тому числі LAPACK, що використовується в наукових обчисленнях та аналізі великомасштабних даних»[22].
|
| 2015
|
Майкл Лабі
|
за «новаторський внесок у надлишкові коди, які необхідні для покращення якості передачі відео через Інтернет»[23].
|
| 2016
|
Амос Фіат[en] та Моні Наор[en]
|
«За новаторський внесок для відстеження широкомовного шифрування та піратства, закладення основ сучасного захисту авторських прав Blu-ray дисків та інших засобів масової інформації»[24][25].
|
| 2017
|
Скотт Шенкер[en]
|
За «новаторський внесок у справедливе формування черги з комутацією пакетів, що мало великий вплив на сучасну практику комп'ютерних комунікацій[26]».
|
| 2018
|
Певзнер Павло Аркадійович[en]
|
За «новаторський внесок у теорію, проектування та реалізацію алгоритмів реконструкції послідовностей та їх застосування в складанні геному[27]».
|
| 2019
|
Нога Алон, Пилип Гібонс[en], Йоші Матіас[en], Маріо Жегеді[en]
|
За «проведену роботу з основ потокових алгоритмів та їх застосування до аналізу великомасштабних даних[28]».
|
| 2020
|
Йосі Азар, Андрей Бродер, Анна Карлін[en], Міхаель Міценмахер[en] та Елі Апфал[en]
|
За «відкриття та аналіз збалансованого розподілу, відомого як сила двох варіантів та їх широке застосування на практиці».[29]
|
| 2021
|
Аврім Блюм[en], Іріт Дінур, Синтія Дворк, Френк МакШеррі[en], Коббі Нісім[en] та Адам Д. Сміт[en]
|
За «фундаментальний внесок у розвиток диференційованої конфіденційності.»[30]
|
