Премія Тюрінга () — найпрестижніша премія в галузі інформатики, яку щорічно присуджує Асоціація обчислювальної техніки за видатні досягнення у цій галузі. Премію спонсорують корпорації Intel та Google і зараз вона супроводжується нагородою в 1 000 000 доларів США.http://www.cnet.com/news/google-boosts-turing-award-computing-prize-to-1-million/ Премію названо на честь видатного англійського вченого Алана Тюрінга, математика, фахівця з криптографії, який отримав перші глибокі результати щодо теорії алгоритмів та обчислювальної складності задовго до появи перших комп'ютерів.
Вперше Премію Тюрінга було присуджено Аланові Перлісу у 1966 році за розвиток технології створення компіляторів. Пізніше її отримали Ніклаус Вірт та Пітер Наур за видатний внесок у розробку мов програмування.
Лауреати премії Тюрінга Рік Лауреат(и) За що присуджено1966 Алан ПерлісЗа вплив в галузі передових технік програмування та побудови компіляторів1967 Моріс Вілкс Професор Вілкс найбільше знаний як творець і розробник EDSAC, першого комп'ютера з внутрішньо збереженою програмою. Збудований у 1949-му, EDSAC використовував ртутну пам'ять на лініях затримки. Вілкс також знаний як автор, разом з Віллером і Джілом, виданого у 1951 році тому «Підготовка програм для електронних цифрових комп'ютерів» (), у якому було введено поняття програмних бібліотек1968 Річард ГеммінгЗа роботу щодо чисельних методів, систем автоматичного кодування і кодів для визначення і виправлення помилок1969 Марвін МінськийЗа піонерські роботи з проблеми штучного інтелекту1970 Джеймс ВілкінсонЗа дослідження у чисельному аналізі для полегшення використання високошвидкісних цифрових комп'ютерів, отримавши особливе визнання за свою роботу в обчисленнях у лінійній алгебрі і «зворотний» аналіз помилок1971 Джон Маккарті Лекція Маккарті «Теперішній стан досліджень штучного інтелекту» () є темою, що покриває галузь, в якій він досяг вагомого визнання його роботи1972 Едсгер ДейкстраЕдсгеру Дейкстрі належить значний внесок наприкінці 1950-х років у розробку мови АЛГОЛ, мови програмування високого рівня, що стала втіленням ясності і математичної строгості. Він один з найяскравіших представників науки і мистецтва мов програмування в загальному, а також людина, що зробила внесок в наше розуміння їхньої структури, подання та реалізації. Його публікації протягом п'ятнадцяти років охоплюють широкий спектр тем від теоретичних статей з теорії графів до базових настанов, описів і філософських роздумів в області мов програмування1973 Чарльз БахманЗа непересічний внесок до технологій баз даних1974 Дональд КнутЗа значний внесок в аналіз алгоритмів і проєктування мов програмування, і частково за внесок до «мистецтва програмування» через свої широко відомі книги з серії з цієї назвою1975 Аллен Ньюел і Герберт СаймонУ спільних наукових потугах, спочатку разом з Кліфом Шо у корпорації RAND, і пізніше з певною кількістю студентів та членів факультету в університеті Карнегі-Мелон, вони зробили основоположний внесок до штучного інтелекту, психології людського сприйняття та обробки списків1976 Міхаель Рабін і Дана СкоттЗа свою спільну працю «Скінченні автомати та їхня проблема рішення» (), яка ввела ідею недетермінований автоматів, що було визнано дуже важливою концепцією. Їхня (Скотта і Рабіна) класична праця була постійним джерелом стимулу для наступних праць у галузі1977 Джон БекусЗа ґрунтовний, впливовий і тривалий внесок у розробку практичних високорівневих систем програмування, особливо через свою працю над FORTRAN і основоположне видання про формальні процедури для специфікації мов програмування1978 Роберт ФлойдЗа безсумнівний вплив на методології створення ефективного і надійного програмного забезпечення і за допомогу у відшуканні таких важливих підгалузей комп'ютерних наук: теорія синтаксичного аналізу, семантика мов програмування, автоматична верифікація програм, та аналіз алгоритмів1979 Кеннет АйверсонЗа новаторські потуги в мовах програмування і математичній нотації, внаслідок чого з'явилася мова програмування, відома тепер у обчислювальній галузі як APL; за свій внесок у реалізацію інтерактивних систем, навчальне застосування APL і теорію та практику мов програмування1980 Чарлз Ентоні Річард ГоарЗа фундаментальний внесок у визначення і проєктування мов програмування1981 Едгар КоддЗа фундаментальний і тривалий внесок у теорію і практику систем керування базами даних, особливо реляційних баз даних1982 Стівен КукЗа просування нашого розуміння складності обчислень у значний і ґрунтовний спосіб1983 Кен Томпсон і Деніс РітчіЗа розробку загальної теорії операційних систем і особливо за реалізацію операційної системи UNIX1984 Ніклаус ВіртЗа розробку серії інноваційних комп'ютерних мов, EULER, ALGOL-W, MODULA і PASCAL1985 Річард КарпЗа тривалий внесок до теорії алгоритмів, включаючи розробку ефективних алгоритмів для транспортного потоку та інших комбінаторних задач оптимізації, ідентифікації поліноміальної обчислюваності з інтуїтивною нотацією алгоритмічної складності, та, найбільш значимо, внесок до теорії NP-повноти1986 Джон Гопкрофт і Роберт Андре Тар'янЗа фундаментальні досягнення в розробці та аналізі алгоритмів і структур даних1987 Джон КокЗа значний внесок у проєктування і теорію компіляторів, архітектуру великих систем і розробку RISC1988 Айвен СазерлендЗа інноваційний і далекоглядний внесок до комп'ютерної графіки, починаючи з Sketchpad та продовжуючи далі1989 Вільям Мортон КехенЗа фундаментальний внесок до чисельного аналізу. Один з передових експертів обчислень з рухомою комою. Кехен був відданий тому, щоб «зробити світ кращим для чисельних обчислень»1990 Фернандо КорбатоЗа інноваційні роботи в організації концепцій і керування розробкою великомасштабних комп'ютерних систем загального призначення із спільним використанням ресурсів CTSS та Multics1991 Робін МілнерЗа особливі і завершенні досягнення: 1) LCF, механізація логіки обчислювальних функції Скотта, ймовірно перший на теоретичній основі і тим не менше практичний засіб для побудови доведень за допомогою комп'ютера; 2) ML, перша моів, що включає поліморфний вивід типів разом з механізмом обробки винятків із безпекою типів; 3) числення комунікаційних систем, загальна теорія багатозадачності. На додачу, він сформулював і сильно розвинув повну абстракцію, вчення про зв'язки між операційною та денотаційною семантиками1992 Батлер ЛемпсонЗа внесок у розробку розподілених, персональних обчислювальних середовищ та технології їхньої реалізації: робочі станції, мережі, операційні системи, системи програмування, дисплеї, безпека та публікація документів1993Юріс Гартманіс і Річард СтернзУ визнання їхньої основоположної праці, що встановила основи галузі теорії складності обчислень.1994 Едвард Фейгенбаум і Радж РеддіЗа інновації у проєктуванні і побудові великомасштабних систем штучного інтелекту, демонструючи практичну важливість і потенційний комерційний вплив технологій штучного інтелекту1995Мануель БлумУ визнання внеску до основ теорії складності обчислень та її застосування до криптографії та перевірки програм1996Амір ПнуеліЗа основоположну працю, що ввела поняття темпоральної логіки у комп'ютерні науки і видатний внесок у верифікацію програм та систем1997Дуглас ЕнгельбартЗа натхненне бачення майбутнього інтерактивних обчислень і винахід ключових технологій для реалізації цього бачення1998Джим ҐрейЗа основоположний внесок до досліджень баз даних і обробки транзакцій і технічне керівництво у реалізації систем1999Фредерік БруксЗа поворотний внесок до архітектури комп'ютера, операційних систем та інженерії програмного забезпечення2000Ендрю ЯоУ визнання фундаментального внеску до теорії алгоритмів, включаючи теорію генерації псевдовипадкових чисел на основі обчислювальної складності, криптографію та комунікаційну складність2001Уле-Юган Дал і Крістен НюгорЗа ідеї, фундаментальні до появи об'єктно-орієнтованого програмування, через їхню розробку мов програмування Simula I та Simula 672002Рональд Рівест, Аді Шамір і Леонард АдлеманЗа винахідницький внесок для того, щоб зробити криптографію із відкритим ключем корисною на практиці2003Алан КейЗа інноваційність багатьох ідей у зародку сучасних об'єктно-орієнтованих мов програмування, керуючи командою, що розробила Smalltalk, і за фундаментальний внесок до персональних обчислень2004Вінтон Серф і Роберт КанЗа інноваційну працю над об'єднанням мереж, включаючи проєктування і реалізацію базових комунікаційних протоколів Інтернету, TCP/IP, і за натхненне лідерство у мережевих технологіях2005Пітер НаурЗа фундаментальний внесок у проєктування мови програмування і визначення ALGOL 60, до проєктування компіляторів, і до мистецтва і практики комп'ютерного програмування2006Френсіс АлленЗа інноваційний внесок до теорії і практики оптимізації технік компіляторів, що поклало основу для сучасних оптимізованих компіляторів і автоматичного паралельного виконання2007Едмунд Кларк, Ернест Аллен Емерсон і Йосиф СіфакісЗа [їхню роль] у розробці перевірки моделей у високо ефективну технологію верифікації, широко вживану у індустріях апаратного і програмного забезпеченняTuring Award Winners Announced2008Барбара ЛісковЗа внесок до практичних і теоретичних основ проєктування мов програмування та систем, особливо пов'язаних з абстракцією даних, стійкістю до падінь та розподіленими обчисленнями.2009Чарльз ТекерЗа інноваційне проєктування і реалізацію Alto, першого сучасного персонального комп'ютера, і на додачу до його внеску до Ethernet і Tablet PC.2010Леслі ВеліентЗа внесок у теорію алгоритмів, включаючи наближено правильне навчання, теорію складності підрахунку та алгебраїчного обчислення, а також теорію паралельних та розподілених обчисленьACM Award Citation / Leslie G Valiant2011 Джуда ПерлЗа фундаментальний внесок у штучний інтелект шляхом розробки методів розрахунку для вірогіднісного та причинно-наслідкового осмислення2012 Сільвіо Мікалі Шафі ҐолдвассерЗа новітні розробки в галузі імовірнісного шифрування й нові методи ефективної верифікації математичних методів криптографії.2013 Леслі ЛампортЗа фундаментальний внесок в теорію та практику паралельних і розподілених систем, винаходи таких понять, як логічні годинники, безпека та життєздатність, репліцитні автомати, послідовна узгодженість.2014 Майкл СтоунбрейкерЗа фундаментальний внесок в принципи та практики, що лежать в основі сучасних систем керування базами даних.2015 Вітфілд Діффі Мартін ГеллманЗа фундаментальний внесок до криптографіїCryptography Pioneers Receive Acm A.M. Turing Award.2016 Тім Бернерс-ЛіЗа розробку Всесвітньої павутини, першого веббраузера та фундаментальних протоколів та алгоритмівACM A.M. Turing Award. Sir Tim Berners-Lee, United Kingdom — 2016 2017 Джон Лерой Геннессі За запровадження систематичного кількісного підходу до проєктування та оцінки комп'ютерних архітектур, що має довготривалий вплив на мікропроцесорну індустрію2018 Джефрі Гінтон Янн ЛеКунПремію присуджено трьом дослідникам, які заклали основи нинішнього буму штучного інтелектуhttps://mind.ua/news/20195396-premiyu-tyuringa-prisudili-hreshchenim-batkam-shtuchnogo-intelektu.2019 Едвін Кетмелл