| Рік |
Лауреат |
Обґрунтування нагороди |
|---|
| 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] |
