Премия Тьюринга

1966Алан Перлис (США) — за влияние в области обобщённых техник программирования и построения компиляторов.

1967Морис Уилкс (Великобритания) — за проектирование EDSAC, первого компьютера с внутренним хранением программ, и за вклад в создание концепции программных библиотек.

1968Ричард Хэмминг (США) — за работы в области численных методов, систем автоматического кодирования, кодов определения и корректировки ошибок.

1969Марвин Минский (США) — за огромный вклад в создание, формирование, продвижение и развитие научного направления искусственного интеллекта.

1970Джеймс Уилкинсон (Великобритания) — за исследования в области численного анализа, способствовавшие использованию высокоскоростных цифровых компьютеров.

1971Джон Мак-Карти (США) — за фундаментальный вклад в область искусственного интеллекта, включая разработку языка Lisp и концепции разделения времени.

1972Эдсгер Дейкстра (Нидерланды) — за значительный вклад в разработку языка программирования высокого уровня Алгол и в понимание структуры, представления и реализации языков программирования.

1973Чарльз Бахман (США) — за выдающийся вклад в развитие технологий баз данных, в частности за создание интегрированных систем хранения данных.

1974Дональд Кнут (США) — за огромный вклад в анализ алгоритмов, разработку языков программирования и за создание серии книг «Искусство программирования».

1975Аллен Ньюэлл, Герберт Саймон (США) — за фундаментальный вклад в искусственный интеллект, психологию механизмов человеческого восприятия и обработку списков.

1976Михаэль Рабин, Дана Скотт (Израиль, США) — за статью «Конечные автоматы и проблема разрешимости для них», в которой была предложена идея недетерминированного автомата.

1977Джон Бэкус (США) — за глубокий, продолжительный и оказавший большое влияние вклад в проектирование практических высокоуровневых программных систем, в частности за работу над языком Фортран.

1978Роберт Флойд (США) — за несомненное влияние на методологию создания эффективного и надёжного программного обеспечения.

1979Кеннет Айверсон (Канада) — за новаторский подход к созданию языков программирования, в частности за разработку языка APL.

1980Энтони Хоар (Великобритания) — за фундаментальный вклад в определение и разработку языков программирования.

1981Эдгар Кодд (Великобритания) — за фундаментальный вклад в теорию и практику систем управления базами данных, в частности за реляционную модель данных.

1982Стивен Кук (Канада) — за фундаментальный вклад в теорию сложности вычислений, в частности за формулировку проблемы P vs NP.

1983Кен Томпсон, Деннис Ритчи (США) — за разработку общей теории операционных систем и создание операционной системы UNIX.

1984Никлаус Вирт (Швейцария) — за разработку серии инновационных языков программирования, включая Pascal, и за вклад в методологию разработки программного обеспечения.

1985Ричард Карп (США) — за вклад в теорию алгоритмов, в частности за исследования в области NP-полноты и комбинаторной оптимизации.

1986Джон Хопкрофт, Роберт Тарджан (США) — за фундаментальные достижения в области разработки и анализа алгоритмов и структур данных.

1987Джон Кок (США) — за выдающийся вклад в проектирование и теорию компиляторов, архитектуру больших систем и разработку RISC-компьютеров.

1988Айвен Сазерленд (США) — за основополагающий и дальновидный вклад в компьютерную графику, начиная от изобретения Sketchpad.

1989Уильям Кэхэн (Канада) — за фундаментальный вклад в численный анализ, в частности за работу над вычислениями с плавающей запятой.

1990Фернандо Корбато (США) — за новаторскую работу по созданию концепции и управлению разработками по созданию общецелевых, крупномасштабных компьютерных систем с разделением времени и ресурсов CTSS и Multics.

1991Робин Милнер (Великобритания) — за три различных полноценных достижения: LCF (автоматизация доказательств), ML (язык программирования с полиморфным выводом типов) и CCS (общая теория параллельных вычислений).

1992Батлер Лэмпсон (США) — за вклад в разработку распределённых, персональных вычислительных систем и технологий, лежащих в основе современных ПК и сетей.

1993Юрис Хартманис, Ричард Стернс (США) — за фундаментальный вклад в теорию сложности вычислений, в частности за формализацию классов сложности и понятие ресурсоограниченных вычислений.

1994Эдвард Фейгенбаум, Радж Редди (США) — за пионерский вклад в искусственный интеллект, в частности за создание экспертных систем и развитие методов машинного обучения.

1995Мануэль Блюм (США) — за фундаментальный вклад в теорию сложности вычислений и криптографию, в частности за разработку концепций интерактивных доказательств и доказательств с нулевым разглашением.

1996Амир Пнуэли (Израиль) — за новаторский вклад в разработку и применение формальных методов верификации программ, в частности за введение темпоральной логики в компьютерные науки.

1997Дуглас Энгельбарт (США) — за новаторский и дальновидный вклад в интерактивные вычисления, включая изобретение компьютерной мыши и разработку гипертекстовых систем.

1998Джим Грей (США) — за фундаментальный вклад в системы баз данных и обработку транзакций, в частности за разработку принципов надёжности и масштабируемости СУБД.

1999Фредерик Брукс (США) — за выдающийся вклад в компьютерную архитектуру, операционные системы и методологию разработки программного обеспечения, в частности за книгу «Мифический человеко-месяц».

2000Эндрю Чи-Чи Яо (Китай/США) — за фундаментальный вклад в теорию вычислений, в частности за разработку теории сложности распределённых вычислений и теории игр в контексте компьютерных наук.

2001Оле-Йохан Даль, Кристен Нюгор (Норвегия) — за идеи, лежащие в основе объектно-ориентированного программирования, в частности за создание языка Simula.

2002Рональд Ривест, Ади Шамир, Леонард Адлеман (США) — за фундаментальный вклад в криптографию, в частности за разработку алгоритма RSA.

2003Алан Кей (США) — за пионерский вклад в объектно-ориентированное программирование и разработку персональных компьютеров, в частности за создание языка Smalltalk.

2004Винтон Серф, Боб Кан (США) — за фундаментальный вклад в разработку архитектуры и протоколов Интернета, в частности за создание TCP/IP.

2005Питер Наур (Дания) — за фундаментальный вклад в проектирование и определение языков программирования, в частности за работу над языком ALGOL 60.

2006Фрэнсис Аллен (США) — за фундаментальный вклад в оптимизацию компиляторов и автоматическое распараллеливание программ.

2007Эдмунд Кларк, Аллен Эмерсон, Джозеф Сифакис (США, Франция) — за разработку модели проверки (model checking) для верификации программ и систем.

2008Барбара Лисков (США) — за вклад в разработку абстракций данных и распределённых систем, в частности за принцип подстановки Лисков.

2009Чарльз Текер (США) — за новаторскую разработку и создание «Альто» — первого современного персонального компьютера, а также за вклад в технологию Ethernet.

2010Лесли Вэлиант (Великобритания/США) — за вклад в теорию алгоритмов, включая приближённо правильное обучение, теорию сложности перечисления и алгебраических исчислений.

2011Джуда Перл (Израиль/США) — за фундаментальный вклад в искусственный интеллект посредством разработки исчисления для проведения вероятностных и причинно-следственных рассуждений.

2012Сильвио Микали, Шафи Гольдвассер (США) — за новаторские работы по вероятностному шифрованию и применению доказательств с нулевым разглашением в криптографических протоколах.

2013Лесли Лэмпорт (США) — за фундаментальный вклад в теорию и практику распределённых и взаимодействующих систем, в частности за разработку логических часов и концепций согласованности данных.

2014Майкл Стоунбрейкер (США) — за фундаментальный вклад в принципы и практики, лежащие в основаниях современных систем управления базами данных.

2015Уитфилд Диффи, Мартин Хеллман (США) — за фундаментальный вклад в криптографию, в частности за разработку концепции криптографии с открытым ключом.

2016Тим Бернерс-Ли (Великобритания) — за изобретение Всемирной паутины, первого веб-браузера и основополагающих протоколов и алгоритмов, повлиявших на распространение Интернета.

2017Джон Хеннесси, Дэвид Паттерсон (США) — за новаторский систематический и измеримый подход к проектированию и проверке компьютерных архитектур, оказавший долговременное влияние на отрасль микропроцессорной техники.

2018Йошуа Бенжио, Джеффри Хинтон, Ян Лекун (Канада, Канада, Франция/США) — за концептуальные и инженерные прорывы, сделавшие глубинные нейросети краеугольным компонентом в вычислительной технике.

2019Эд Катмулл, Пэт Ханрахан (США) — за фундаментальный вклад в развитие 3D-графики и революционное влияние на компьютерную графику в кинематографе и других приложениях.

2020Альфред Ахо, Джеффри Ульман (США) — за фундаментальные алгоритмы и теорию, лежащую в основе реализации языков программирования, а также за синтез этих и других результатов в книгах, которые обучили несколько поколений учёных.

2021Джек Донгарра (США) — за фундаментальный вклад в создание алгоритмов и программ для высокопроизводительных вычислений, в частности за разработку стандартов бенчмаркинга и библиотек для линейной алгебры.

2022Боб Меткалф (США) — за изобретение, стандартизацию и коммерциализацию технологии Ethernet.

2023Ави Вигдерсон (Израиль) — за фундаментальный вклад в теорию вычислений, в частности за исследования в области сложности вычислений, случайности и интерактивных доказательств.

2024Эндрю Барто, Ричард Саттон (США, Канада) — за фундаментальный вклад в обучение с подкреплением, в частности за разработку методов Q-обучения и временных разностей.

2025Чарльз Беннетт, Жиль Брассар (США, Канада) — за фундаментальный вклад в квантовую криптографию, в частности за разработку протоколов квантового распределения ключей.