| Тьюринг сыйлығы | |
|---|---|
 | |
| Алан Тьюринг ескерткіші | |
| Шынайы атауы | ACM A.M. Turing Award |
| Мемлекет |  АҚШ |
| Түрі | Информатика саласындағы үздік жетістіктер үшін |
| үшін марапатталады | есептеу техникасы мен информатика саласына қосқан қомақты үлесі үшін |
| Негіздеуші | Есептеу Техникасы Ассоцияциясы (ACM) |
| Жағдайы | беріледі |
| Негізделді | 1966 |
| Алғашқы иегері | Алан Перлис (1966) |
| Соңғы иегері | Чарльз Беннетт және Жиль Брассар (2025) |
| Сайты | amturing.acm.org |
| Turing Award Ортаққорда | |
Тьюринг сыйлығы (ағылш. ACM A.M. Turing Award) — Есептеу Техникасы Ассоцияциясы (ACM) тарапынан информатика саласындағы ұзақ мерзімді және маңызды техникалық жетістіктер үшін берілетін жыл сайынғы марапат. Ол информатика саласындағы ең жоғары марапат ретінде танылған және көбінесе «Компьютерлік технологиялардың Нобель сыйлығы» деп аталады. 2026 жылғы мәлімет бойынша, бұл сыйлықпен 81 адам марапатталған, ал ең соңғы лауреаттар — 2025 жылы жеңімпаз атанған Чарльз Х. Беннетт пен Жиль Брассар.
Сыйлық «информатиканың атасы» деп аталатын, Манчестер университетінің математигі әрі оқытушысы болған британдық математик Алан Тьюрингтің құрметіне аталған. Тьюринг теориялық информатика мен жасанды интеллектінің негізін қалаушы, сондай-ақ Екінші дүниежүзілік соғыс кезінде одақтастардың Энигма шифрын дешифрлеу жұмысына негізгі үлес қосқан тұлға ретінде белгілі. 2007 жылдан 2013 жылға дейін сыйлық Intel және Google компанияларының қолдауымен 250 000 АҚШ доллары көлеміндегі сыйақымен бірге берілді. 2014 жылдан бастап сыйақы көлемі Google-дың қолдауымен 1 миллион АҚШ долларына дейін ұлғайтылды.
Ең алғашқы лауреат 1966 жылы Алан Перлис болды. Сыйлықты алған ең жас маман — 1974 жылы 36 жасында жеңімпаз атанған Дональд Кнут, ал ең егде лауреат — 2020 жылы 79 жасында марапатталған Альфред Ахо. Сыйлықты үш әйел иеленді: Фрэнсис Аллен (2006 ж.), Барбара Лисков (2008 ж.) және Шафи Гольдвассер (2012 ж.).
Қалыптасқан дәстүр бойынша, сыйлықты тапсыру салтанатында лауреат «Тьюринг лекциясы» деп аталатын баяндама жасайды. Бұл дәрісте ол информатика мен есептеу техникасы саласындағы өзінің маңызды деп санайтын мәселелері туралы ой-пікірімен бөліседі.
Лауреаттар тізімі
| Жыл | Лауреат(тар) | Фото | Негіздеме | Марапаттау кезіндегі жұмыс орны |
|---|---|---|---|---|
| 1966 | Алан Перлис | | "алдыңғы қатарлы компьютерлік бағдарламалау әдістері мен компиляторлар құру саласына тигізген ықпалы үшін" | Карнеги Меллон Университеті |
| 1967 |  Морис Уилкс | | "ішкі бағдарламасы сақталған екінші компьютер — EDSAC-ты жасап шығарғаны және бағдарламалар кітапханасын енгізгені үшін" (Дэвид Уилер және Стэнли Гиллмен бірге) | Кембридж университеті |
| 1968 | Ричард Хэмминг | | "Сандық әдістер, автоматты кодтау жүйелері, сондай-ақ қателерді анықтау және түзету кодтары бойынша жасаған жұмыстары үшін" | Bell Labs |
| 1969 | Марвин Минский | | "Жасанды интеллект саласын құрудағы, қалыптастырудағы және ілгерілетудегі шешуші рөлі үшін" | Массачусетс технологиялық институты |
| 1970 | Джеймс Х. Уилкинсон | | "жоғары жылдамдықты сандық компьютерлерді қолдануды жеңілдеткен сандық талдау саласындағы зерттеулері үшін, әсіресе сызықтық алгебрадағы есептеулер мен «кері» қателерді талдау бойынша еңбектері үшін" | Ұлттық физикалық зертхана |
| 1971 | Джон Маккарти | | Марапаттау негіздемесі Маккартидің «Жасанды интеллект саласындағы зерттеулердің қазіргі жағдайы» атты лекциясына негізделген | Стэнфорд университеті |
| 1972 |  Эдсгер Дейкстра | | "бағдарламалауды жоғары зияткерлік міндет ретінде дамытуға қосқан іргелі үлесі үшін; бағдарламалардың жай ғана қатесіз болуы емес, бастан-аяқ дұрыс құрылуы тиіс екенін дәлелдегені үшін және бағдарлама дизайнының негізіндегі мәселелерді терең түсінгені үшін" | Эйндховен технологиялық университеті |
| 1973 | Чарльз Бахман | | "Дерекқорлар технологиясына қосқан ерекше үлесі үшін" | General Electric зерттеу зертханасы |
| 1974 | Дональд Кнут | | "Алгоритмдерді талдау мен бағдарламалау тілдерін жобалауға қосқан зор үлесі үшін, сондай-ақ өзінің әйгілі «Компьютерде бағдарламалау өнері» (The Art of Computer Programming) атты кітаптар сериясы үшін" | Стэнфорд университеті |
| 1975 | Аллен Ньюэлл | | Дж. К. Шоумен және басқалармен бірлесіп, "жасанды интеллектке, адамның когнитивтік психологиясына және тізімдерді өңдеуге қосқан іргелі үлестері үшін" | RAND корпорациясы |
| Герберт Саймон | | Карнеги Меллон Университеті | ||
| 1976 | Михаэль Рабин | | "детерминді емес машиналар идеясы енгізілген 'Ақырғы автоматтар және олардың шешімдері мәселесі' атты бірлескен жұмыстары үшін" | Принстон университеті |
| Дана Скотт | | Чикаго университеті | ||
| 1977 | Джон Бэкус | | "тәжірибелік жоғары деңгейлі бағдарламалау жүйелерін жобалауға қосқан терең және ықпалды үлесі үшін, атап айтқанда FORTRAN бойынша жұмысы және бағдарламалау тілдерін сипаттаудың формальды процедураларын жариялағаны үшін" | IBM Research |
| 1978 | Роберт Флойд | | "тиімді және сенімді бағдарламалық жасақтаманы құру әдістемелеріне айқын ықпал еткені үшін және информатиканың келесі маңызды салаларының негізін қалауға көмектескені үшін: синтаксистік талдау теориясы, бағдарламалау тілдерінің семантикасы, автоматты бағдарламаны тексеру, автоматты бағдарлама синтезі және алгоритмдерді талдау" | Стэнфорд университеті |
| 1979 |  Кеннет Айверсон | | "бағдарламалау тілдері мен математикалық белгілер саласындағы пионерлік еңбегі (соның нәтижесінде APL тілі пайда болды), интерактивті жүйелерді енгізуге, APL-ді білім беруде қолдануға және бағдарламалау тілдерінің теориясы мен практикасына қосқан үлесі үшін" | IBM Research |
| 1980 | Энтони Хоар | | "бағдарламалау тілдерін анықтау мен жобалауға қосқан іргелі үлесі үшін" | Оксфорд университеті |
| 1981 | Эдгар Кодд | | "дерекқорларды басқару жүйелерінің теориясы мен практикасына қосқан іргелі және үздіксіз үлесі үшін" | IBM Research |
| 1982 | Стивен Кук | | "есептеу күрделілігі туралы түсінігімізді тереңдеткені үшін"; негіздемеде әсіресе оның NP-толықтық теориясының негізін қалаған «Теоремаларды дәлелдеу процедураларының күрделілігі» атты еңбегі атап өтіледі | Торонто Университеті |
| 1983 | Деннис Ритчи | | "жалпы операциялық жүйелер теориясын дамытқаны және әсіресе UNIX операциялық жүйесін іске асырғаны үшін" | Bell Labs |
| Кен Томпсон | | |||
| 1984 | Никлаус Вирт | | "бірқатар инновациялық компьютерлік тілдерді — EULER, ALGOL W, MODULA және PASCAL-ды жасап шығарғаны үшін" | Цюрих университеті |
| 1985 | Ричард Карп | | "алгоритмдер теориясына, соның ішінде желілік ағындар мен басқа да комбинаторлық оңтайландыру есептеріне арналған тиімді алгоритмдерді жасауға қосқан үлесі үшін және NP-толықтық теориясына қосқан маңызды еңбегі үшін" | Калифорния университеті, Беркли |
| 1986 | Джон Хопкрофт | | "алгоритмдер мен деректер құрылымын жобалау мен талдаудағы іргелі жетістіктері үшін" | Корнелл университеті |
| Роберт Тарьян | | Bell Labs, Принстон университеті | ||
| 1987 | Джон Кок | | "компиляторларды жобалау мен теориясына, ірі жүйелердің архитектурасына және RISC компьютерлерін дамытуға қосқан елеулі үлесі үшін" | IBM Research |
| 1988 | Айван Сазерленд | | "Компьютерлік графика саласына қосқан пионерлік және көрегендік үлесі үшін, Sketchpad-тен бастап кейінгі жұмыстары үшін" | Sun Microsystems |
| 1989 | Уильям Кахан | | "Сандық талдау саласына қосқан іргелі үлесі үшін" және "жылжымалы нүктелі есептеулер бойынша жетекші сарапшы ретінде" | Калифорния университеті, Беркли |
| 1990 | Фернандо Корбато | | "жалпы мақсаттағы, ауқымды, уақытты бөлетін және ресурстарды ортақ пайдаланатын компьютерлік жүйелерді — CTSS және Multics-ті жасауға жетекшілік еткені үшін" | Массачусетс технологиялық институты |
| 1991 | Робин Милнер | | Марапаттау негіздемесінде үш негізгі үлес атап өтіледі: есептелетін функциялар логикасын (LCF) механикаландыру; ML бағдарламалау тілі (оның ішінде типтерді шығару және типтер қауіпсіздігі); байланыс жүйелерінің есептеуі (CCS); сондай-ақ операциялық және денотациялық семантика арасындағы байланыс | Эдинбург университеті |
| 1992 | Батлер Лэмпсон | | "үлестірілген дербес есептеуіш орталарды дамытуға және оларды іске асыру технологияларына: жұмыс станциялары, желілер, операциялық жүйелер, бағдарламалау жүйелері, дисплейлер, қауіпсіздік және құжаттарды басып шығаруға қосқан үлесі үшін" | Digital Equipment Corporation |
| 1993 | Юрис Хартманис | | "есептеу күрделілігі теориясы саласының негізін қалаған іргелі еңбектері үшін" | General Electric зерттеу зертханасы |
| Ричард Стирнс | | |||
| 1994 | Эдвард Фейгенбаум | | "ауқымды жасанды интеллект жүйелерін жобалау мен құрудағы пионерлік еңбегі үшін, жасанды интеллект технологиясының практикалық маңыздылығы мен әлеуетті коммерциялық тиімділігін көрсеткені үшін" | Стэнфорд университеті |
 Радж Редди | | Карнеги Меллон Университеті | ||
| 1995 | Мануэль Блюм | | "есептеу күрделілігі теориясы негіздеріне және оның криптография мен бағдарламаларды тексерудегі қолданысына қосқан үлесі үшін" | Калифорния университеті, Беркли |
| 1996 | Амир Пнуэли | | "есептеу техникасы саласына темпоральды логиканы енгізген іргелі жұмысы үшін және бағдарламалар мен жүйелерді формальды тексеруге қосқан зор үлесі үшін" | Вейцман ғылыми институты |
| 1997 | Дуглас Энгельбарт | | "интерактивті есептеулердің болашағы туралы шабыттандыратын көзқарасы және осы көзқарасты жүзеге асыруға көмектесетін негізгі технологияларды ойлап тапқаны үшін" | Bootstrap институты |
| 1998 | Джим Грей | | "дерекқорлар мен транзакцияларды өңдеуді зерттеуге қосқан іргелі үлесі және жүйелерді іске асырудағы техникалық көшбасшылығы үшін" | Microsoft Research |
| 1999 | Фредерик Брукс | | "компьютер архитектурасы, операциялық жүйелер және бағдарламалық инженерия саласына қосқан айрықша үлесі үшін" | IBM Research, Солтүстік Каролина университеті (Чапел-Хилл) |
| 2000 |  Эндрю Яо | | "есептеулер теориясына, соның ішінде псевдокездейсоқ сандар генерациясының күрделілікке негізделген теориясына, криптография мен коммуникациялық күрделілікке қосқан іргелі үлесі үшін" | Принстон университеті |
| 2001 |  Оле-Йохан Даль | | "Simula I және Simula 67 бағдарламалау тілдерін жобалау арқылы объектіге бағытталған бағдарламалаудың пайда болуына негіз болған іргелі идеялары үшін" | Норвегия есептеу орталығы, Осло университеті |
| Кристен Нюгорд | | |||
| 2002 | Леонард Адлеман | | "ашық кілтті криптографияны іс жүзінде пайдалы етуге қосқан айрықша үлестері үшін" | Оңтүстік Калифорния университеті |
| Рональд Ривест | | Массачусетс технологиялық институты | ||
| Ади Шамир | | |||
| 2003 | Алан Кей | | "қазіргі заманғы объектіге бағытталған бағдарламалау тілдерінің негізінде жатқан көптеген идеялардың бастамашысы болғаны үшін, Smalltalk-ты жасап шығарған топқа жетекшілік еткені және дербес есептеулерге қосқан іргелі үлесі үшін" | HP Labs |
| 2004 | Винт Серф | | "Интернеттің негізгі байланыс хаттамаларын (TCP/IP) жобалау мен іске асыруды қоса алғанда, желіаралық байланыс бойынша пионерлік жұмыстары үшін және желілік технологиялар саласындағы шабыттандырушы көшбасшылығы үшін" | MCI Communications, CNRI |
| Роберт Кан | | CNRI | ||
| 2005 |  Петер Наур | | "бағдарламалау тілдерін жобалауға және ALGOL 60-ты анықтауға, компилятор дизайнына және компьютерлік бағдарламалау өнері мен практикасына қосқан іргелі үлесі үшін" | Копенгаген университеті |
| 2006 | Фрэнсис Аллен | | "қазіргі заманғы оңтайландырушы компиляторлар мен автоматты параллельді орындаудың негізін қалаған компиляторды оңтайландыру әдістерінің теориясы мен практикасына қосқан пионерлік үлесі үшін" | IBM Research |
| 2007 | Эдмунд Кларк | | "аппараттық және бағдарламалық жасақтама салаларында кеңінен қолданылатын модельдерді тексеру (model checking) технологиясын өте тиімді верификациялау әдісіне айналдырудағы рөлдері үшін" | Карнеги Меллон Университеті |
| Эллен Эмерсон | | Остиндегі Техас Университеті | ||
 Иосиф Сифакис | | CNRS | ||
| 2008 | Барбара Лисков | | "бағдарламалау тілдері мен жүйелік дизайнның практикалық және теориялық негіздеріне, әсіресе деректер абстракциясына, ақауларға төзімділікке және үлестірілген есептеулерге қосқан үлесі үшін" | Массачусетс технологиялық институты |
| 2009 | Чарльз Текер | | "бірінші заманауи дербес компьютер — Xerox Alto-ны пионерлік жобалауы мен жүзеге асыруы үшін, сондай-ақ Локальді желілерге (соның ішінде Ethernet), көппроцессорлы жұмыс станцияларына және планшеттік компьютерлерге қосқан үлесі үшін" | Microsoft Research |
| 2010 | Лесли Валиант | | "есептеулер теориясына қосқан трансформациялық үлесі үшін, соның ішінде ықтимал шамамен дұрыс оқыту (PAC learning) теориясы, параллельді және үлестірілген есептеулер теориясы үшін" | Гарвард университеті |
| 2011 | Джуда Перл | | "ықтималдық және каузальды пайымдауларға арналған есептеулерді жасау арқылы жасанды интеллектке қосқан іргелі үлесі үшін" | Калифорния университеті, Лос-Анжелес |
| 2012 | Шафи Гольдвассер | | "криптография ғылымының күрделілік-теориялық негіздерін қалаған трансформациялық жұмыстары үшін және сонымен бірге күрделілік теориясындағы математикалық дәлелдемелерді тиімді тексерудің жаңа әдістерін енгізгені үшін" | Массачусетс технологиялық институты, Вейцман ғылыми институты |
| Сильвио Микали | | Массачусетс технологиялық институты | ||
| 2013 | Лесли Лампорт | | "үлестірілген және параллельді жүйелердің теориясы мен практикасына қосқан іргелі үлесі үшін, атап айтқанда каузальдылық және логикалық сағаттар, қауіпсіздік және тіршілік, репликацияланған күй машиналары және жүйелі консистенттілік сиявок тұжырымдамаларды ойлап тапқаны үшін" | Microsoft Research |
| 2014 | Майкл Стоунбрейкер | | "қазіргі заманғы дерекқор жүйелерінің негізінде жатқан тұжырымдамалар мен практикаға қосқан іргелі үлесі үшін" | Массачусетс технологиялық институты |
| 2015 | Уитфилд Диффи | | "асимметриялық ашық кілтті криптографияны, соның ішінде оның цифрлық қолтаңбада қолданылуын және практикалық криптографиялық кілт алмасу әдісін ойлап тапқаны және таратқаны үшін" | Стэнфорд университеті |
| Мартин Хеллман | | |||
| 2016 | Тим Бернерс-Ли | | "Ғаламтор (World Wide Web), бірінші веб-браузерді және Интернеттің масштабталуына мүмкіндік беретін негізгі хаттамалар мен алгоритмдерді ойлап тапқаны үшін" | Массачусетс технологиялық институты, World Wide Web Consortium |
| 2017 | Джон Хеннесси | | "микропроцессорлар индустриясына ұзақ мерзімді әсер еткен компьютерлік архитектураларды жобалау мен бағалаудың жүйелі, сандық тәсілін жасағаны үшін" | Стэнфорд университеті |
| Дэвид Паттерсон | | Калифорния университеті, Беркли | ||
| 2018 | Йошуа Бенжио | | "терең нейрондық желілерді есептеулердің маңызды құрамдас бөлігіне айналдырған концептуалды және инженерлік жетістіктері үшін" | Монреаль университеті, Mila |
| Джеффри Хинтон | | Торонто Университеті, Google Brain | ||
 Ян Лекун | | Нью-Йорк университеті, Meta AI | ||
| 2019 | Эдвин Катмулл | | "Үш өлшемді графикаға қосқан іргелі үлесі үшін және компьютерлік генерацияланған бейнелердің (CGI) кино түсіру мен басқа салаларға тигізген әсері үшін" | Pixar |
| Пэт Ханрахан | | Стэнфорд университеті | ||
| 2020 | Альфред Ахо | | "бағдарламалау тілдерін іске асырудың негізінде жатқан іргелі алгоритмдер мен теория үшін және осы нәтижелерді компьютер ғалымдарының ұрпақтарын тәрбиелеген ықпалды кітаптарында жинақтағаны үшін" | Колумбия университеті |
| Джеффри Ульман | | Стэнфорд университеті | ||
| 2021 | Джек Донгарра | | "жоғары өнімді есептеуіш бағдарламалық қамтамасыз етуге төрт онжылдық бойы аппараттық құралдардың экспоненциалды жақсаруымен қатар жүруге мүмкіндік берген сандық алгоритмдер мен кітапханаларға қосқан пионерлік үлесі үшін" | Ок-Ридж ұлттық зертханасы, Манчестер университеті, Теннесси университеті, Райс университеті |
| 2022 | Роберт Меткалф | | "Ethernet технологиясын ойлап тапқаны, стандарттағаны және коммерцияландырғаны үшін" | Массачусетс технологиялық институты |
| 2023 | Ави Вигдерсон | | "есептеулер теориясына қосқан іргелі үлестері, соның ішінде есептеулер мен математикадағы кездейсоқтықтың рөлі туралы түсінігімізді қайта қалыптастырғаны үшін және теориялық информатикадағы ондаған жылдар бойғы интеллектуалды көшбасшылығы үшін" | Перспективті зерттеулер институты |
| 2024 | Эндрю Барто | | "Пысықтап оқытудың (reinforcement learning) концептуалды және алгоритмдік негіздерін жасағаны үшін" | Массачусетс университеті (Амхерст) |
| Ричард Саттон | | Альберта университеті | ||
| 2025 | Чарльз Беннетт | | "Компьютерлік ғылымдағы, ақпараттық және коммуникациялық технологиялардағы кванттық революцияны тұтандыру мен қалыптастырудағы шешуші рөлдері үшін." | IBM Research |
| Жиль Брассар | | Монреаль университеті | ||
Санаттар:
- Алфавит бойынша жүлделер
- 1966 жылы пайда болған марапаттар
- Алан Тьюринг
- Информатика саласындағы сыйлықтар
- Есептеу техникасы ассоцияциясының марапаттары