Рік
|
Лауреат(и)
|
За що присуджено
|
1966
|
Алан Перліс
|
За його вплив в області передових технік програмування та побудови компіляторів
|
1967
|
Моріс Вілкс
|
Професор Вілкс найбільше відомий як творець і розробник EDSAC, першого комп'ютера з внутрішньо збереженою програмою. Збудований у 1949-ому, EDSAC використовував ртутну пам'ять на лініях затримки. Вілкс також відомий як автор, разом з Віллером і Джілом, виданого у 1951-ому році тому «Підготовка програм для електронних цифрових комп'ютерів» (англ. "Preparation of Programs for Electronic Digital Computers"), у якому було введено поняття програмних бібліотек
|
1968
|
Річард Геммінг
|
За його роботу по чисельних методах, системах автоматичного кодування і кодах для визначення і виправлення помилок
|
1969
|
Марвін Мінський
|
За піонерські роботи з проблеми штучного інтелекту
|
1970
|
Джеймс Вілкінсон
|
За його дослідження у чисельному аналізі для полегшення використання високошвидкісних цифрових комп'ютерів, отримавши особливе визнання за його роботу в обчисленнях у лінійній алгебрі і «зворотний» аналіз помилок
|
1971
|
Джон Маккарті
|
Лекція Маккарті «Теперішній стан досліджень штучного інтелекту» (англ. "The Present State of Research on Artificial Intelligence") є темою, що покриває галузь, в якій він досяг вагомого визнання його роботи
|
1972
|
Едсгер Дейкстра
|
Едсгеру Дейкстрі належить значний внесок у кінці 1950-х років в розробку мови АЛГОЛ, мови програмування високого рівня, що стала втіленням ясності і математичної строгості. Він один з найяскравіших представників науки і мистецтва мов програмування в загальному, а також людина, що зробила внесок в наше розуміння їх структури, подання та реалізації. Його публікації протягом п'ятнадцяти років охоплюють широкий спектр тем від теоретичних статей з теорії графів до базових настанов, описів і філософських роздумів в області мов програмування
|
1973
|
Чарльз Бахман
|
За його непересічний внесок до технологій баз даних
|
1974
|
Дональд Кнут
|
За його значний внесок у аналіз алгоритмів і проектування мов програмування, і частково за його внесок до «мистецтва програмування» через його широко відомі книги з серії з цієї назвою
|
1975
|
Аллен Ньюел і Герберт Саймон
|
У спільних наукових потугах, спочатку разом з Кліфом Шо у корпорації RAND, і пізніше з числом студентів та членів факультету в університеті Карнегі-Мелон, вони зробили основоположний внесок до штучного інтелекту, психології людського сприйняття та обробки списків
|
1976
|
Міхаель Рабін і Дана Скотт
|
За їхню спільну працю «Скінченні автомати та їхня проблема рішення» (англ. "Finite Automata and Their Decision Problem"), яка ввела ідею недетермінований автоматів, що було визнано дуже важливою концепцією. Їхня (Скотта і Рабіна) класична праця була постійним джерелом стимулу для наступних праць у галузі
|
1977
|
Джон Бекус
|
За ґрунтовний, впливовий і тривалий внесок у розробку практичних високорівневих систем програмування, особливо через свою працю над FORTRAN і його основоположне видання про формальні процедури для специфікації мов програмування
|
1978
|
Роберт Флойд
|
За безсумнівний вплив на методології створення ефективного і надійного програмного забезпечення і за допомогу у відшуканні таких важливих підгалузей комп'ютерних наук: теорія синтаксичного аналізу, семантика мов програмування, автоматична верифікація програм, автоматичний синтез програм[en] та аналіз алгоритмів
|
1979
|
Кеннет Айверсон
|
За новаторські потуги у мовах програмування і математичній нотації, в результаті чого з'явилася мова програмування, відома тепер у обчислювальній галузі як APL; за його внесок у реалізацію інтерактивних систем, навчальне застосування APL і теорію та практику мов програмування
|
1980
|
Чарлз Ентоні Річард Гоар
|
За його фундаментальний внесок у визначення і проектування мов програмування
|
1981
|
Едгар Кодд
|
За його фундаментальний і тривалий внесок у теорію і практику систем керування базами даних, особливо реляційних баз даних
|
1982
|
Стівен Кук
|
За його просування нашого розуміння складності обчислень у значний і ґрунтовний спосіб
|
1983
|
Кен Томпсон і Деніс Рітчі
|
За їхню розробку загальної теорії операційних систем і особливо за реалізацію операційної системи UNIX
|
1984
|
Ніклаус Вірт
|
За розробку серії інноваційних комп'ютерних мов, EULER, ALGOL-W, MODULA і PASCAL
|
1985
|
Річард Карп
|
За його тривалий внесок до теорії алгоритмів, включаючи розробку ефективних алгоритмів для транспорного потоку та інших комбінаторних задач оптимізації, ідентифікації поліноміальної обчислюваності з інтуїтивною нотацією алгоритмічної складності, та, найбільш значимо, внесок до теорії NP-повноти
|
1986
|
Джон Гопкрофт і Роберт Андре Тар'ян
|
За фундаментальні досягнення у розробці та аналізі алгоритмів і структур даних
|
1987
|
Джон Кок
|
За значний внесок у проектування і теорію компіляторів, архітектуру великих систем і розробку RISC
|
1988
|
Айвен Сазерленд
|
За інноваційний і далекоглядний внесок до комп'ютерної графіки, починаючи з Sketchpad та продовжуючи далі
|
1989
|
Вільям Мортон Кехен
|
За його фундаментальний внесок до чисельного аналізу. Один з передових експертів обчислень з рухомою комою. Кехен був відданий для того, щоб «зробити світ кращим для чисельних обчислень.»
|
1990
|
Фернандо Корбато
|
За його інноваційну роботи у організації концепцій і керування розробкою великомасштабних комп'ютерних систем загального призначення із спільним використанням ресурсів CTSS та Multics.
|
1991
|
Робін Мілнер
|
За його особливі і завершенні досягнення: 1) LCF, механізація логіки обчислювальних функції Скотта, ймовірно перший на теоретичній основі і тим не менше практичний засіб для побудови доведень за допомогою комп'ютера; 2) ML, перша моів, що включає поліморфний вивід типів разом з механізмом обробки винятків із безпекою типів; 3) числення комунікаційних систем, загальна теорія багатозадачності. В додачу, він сформулював і сильно розвинув повну абстракцію, вчення про зв'язки між операційною та денотаційною семантиками.
|
1992
|
Батлер Лемпсон
|
За внесок у розробку розподілених, персональних обчислювальних середовищ та технології їх реалізації: робочі станції, мережі, операційні системи, системи програмування, дисплеї, безпека та публікація документів.
|
1993
|
 Юріс Гартманіс і Річард Стернз
|
У визнання їхньої основоположної праці, що встановила основи галузі теорії складності обчислень.
|
1994
|
Едвард Фейгенбаум і Радж Редді
|
За інновації у проектуванні і побудові великомасштабних систем штучного інтелекту, демонструючи практичну важливість і потенційний комерційний вплив технологій штучного інтелекту.
|
1995
|
 Мануель Блум
|
У визнання його внеску до основ теорії складності обчислень та її застосування до криптографії та перевірки програм.
|
1996
|
Амір Пнуелі
|
За основоположну працю, що ввела поняття темпоральної логіки у комп'ютерні науки і видатний внесок у верифікацію програм та систем.
|
1997
|
Дуглас Енгельбарт
|
За натхненне бачення майбутнього інтерактивних обчислень і винахід ключових технологій для реалізації цього бачення.
|
1998
|
Джим Ґрей
|
За основоположний внесок до досліджень баз даних і обробки транзакцій і технічне керівництво у реалізації систем.
|
1999
|
Фредерік Брукс
|
За поворотний внесок до архітектури комп'ютера, операційних систем та інженерії програмного забезпечення.
|
2000
|
Ендрю Яо
|
У визнання його фундаментального внеску до теорії алгоритмів, включаючи теорію генерації псевдовипадкових чисел на основі обчислювальної складності, криптографію та комунікаційну складність.
|
2001
|
Оле-Юган Даль і Крістен Нюгорд
|
За ідеї, фундаментальні до появи об'єктно-орієнтованого програмування, через їхню розробку мов програмування Simula I та Simula 67.
|
2002
|
Рональд Рівест, Аді Шамір і Леонард Адлеман
|
За їхній винахідницький внесок для того, щоб зробити криптографію із відкритим ключем корисною на практиці.
|
2003
|
Алан Кей
|
За інноваційність багатьох ідей у зародку сучасних об'єктно-орієнтованих мов програмування, керуючи командою, що розробила Smalltalk, і за фундаментальний внесок до персональних обчислень.
|
2004
|
Вінтон Серф і Роберт Кан
|
За інноваційну працю над об'єднанням мереж, включаючи проектування і реалізацію базових комунікаційних протоколів Інтернету, TCP/IP, і за натхненне лідерство у мережевих технологіях.
|
2005
|
Пітер Наур
|
За фундаментальний внесок у проектування мови програмування і визначення ALGOL 60, до проектування компіляторів, і до мистецтва і практики комп'ютерного програмування.
|
2006
|
Френсіс Аллен
|
За інноваційний внесок до теорії і практики оптимізації технік компіляторів, що поклало основу для сучасних оптимізованих компіляторів і автоматичного паралельного виконання.
|
2007
|
Едмунд Кларк, Ернест Аллен Емерсон і Йосиф Сіфакіс
|
За [їхню роль] у розробці перевірки моделей у високо ефективну технологію верифікації, широко вживану у індустріях апаратного і програмного забезпечення.[2]
|
2008
|
Барбара Лісков
|
За внесок до практичних і теоретичних основ проектування мов програмування та систем, особливо пов'язаних з абстракцією даних, стійкістю до падінь та розподіленими обчисленнями.
|
2009
|
Чарльз Текер
|
За його інноваційне проектування і реалізацію Alto, першого сучасного персонального комп'ютера, і на додачу до його внеску до Ethernet і Tablet PC.
|
2010
|
Леслі Веліент
|
За внесок у теорію алгоритмів, включаючи наближено правильне навчання, теорію складності підрахунку та алгебраїчного обчислення, а також теорію паралельних та розподілених обчислень.[3]
|
2011
|
Джуда Перл
|
За фундаментальний внесок в штучний інтелект шляхом розробки методів розрахунку для вірогіднісного та причинно-наслідкового осмислення.[4]
|
2012
|
Сільвіо Мікалі Шафі Ґолдвассер
|
За новітні розробки в галузі імовірнісного шифрування й нові методи ефективної верифікації математичних методів криптографії[5].
|
2013
|
Леслі Лампорт
|
За фундаментальний внесок в теорію та практику паралельних і розподілених систем, винаходи таких понять, як логічні годинники, безпека та життєздатність, репліцитні автомати, послідовна узгодженість[6].
|
2014
|
Майкл Стоунбрейкер
|
За фундаментальний внесок в принципи та практики, що лежать в основі сучасних систем керування базами даних[7].
|
2015
|
Вітфілд Діффі
Мартін Хеллман
|
За фундаментальний внесок до криптографії[8].
|
2016
|
Тім Бернерс-Лі
|
За розробку Всесвітньої павутини, першого веббраузера та фундаментальних протоколів та алгоритмів.[9].
|
2017
|
Джон Лерой Геннессі
Девід Патерсон (вчений)[en]
|
|
2018
|
Йошуа Бенжіо[en]
Джефрі Гінтон
Янн ЛеКун
|
Була присуджена трьом дослідникам, які заклали основи нинішнього буму штучного інтелекту[10][11].
|
2019
|
Едвін Кетмелл
Патрік Ханрахан[en]
|
За фундаментальний внесок у тривимірну комп'ютерну графіку та революційний вплив цих методик на зображення, створені комп'ютером (CGI) у кіновиробництві та інших застосунках[12].
|
2020
|
Джеффрі Ульман
Альфред Аго
|
За формування основ компіляторів та алгоритмів для мов програмування.[13]
|
2021
|
Джек Донгарра
|
За новаторський внесок у бібліотеки чисельних методів, що дозволило суперкомп'ютерному програмному забезпеченню протягом чотирьох десятиліть йти в ногу з експоненційним розвитком обладнання[14].
|