www.wikidata.uk-ua.nina.az

Премія Тюрінга англ Turing Award найпрестижніша премія в галузі інформатики щорічно присуджується Асоціацією обчислюваль

Премія Тюрінга

Премія Тюрінга (англ. Turing Award) — найпрестижніша премія в галузі інформатики, щорічно присуджується Асоціацією обчислювальної техніки за видатні досягнення у цій галузі. Премія спонсорується корпораціями Intel та Google і зараз супроводжується нагородою в 1 000 000 доларів США. Премію названо на честь видатного англійського вченого Алана Тюрінга, математика, фахівця з криптографії, який отримав перші глибокі результати щодо теорії алгоритмів та обчислювальної складності задовго до появи перших комп'ютерів.

Премія Тюрінга
англ. Turing Award
Країна  США
Тип наукова нагородаd
Підстава за видатний внесок у комп'ютерні науки
Статус видається
На честь: Алан Тюрінг
Нагородження
Засновано: 1966
Перше: 1966
Нагороджені:
Категорія:Лауреати премії Тюрінга (72)
Черговість
Старша нагорода $1 мільйон
Сайт ACM List of Turing Laureates
 Премія Тюрінга у Вікісховищі

Вперше Премію Тюрінга було присуджено Аланові Перлісу у 1966 році за розвиток технології створення компіляторів. Пізніше її отримали Ніклаус Вірт та Пітер Наур за видатний внесок у розробку мов програмування.

Лауреати премії Тюрінга Редагувати

Рік Лауреат(и) За що присуджено
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 Едмунд Кларк,
Ернест Аллен Емерсон і
Йосиф Сіфакіс 		За [їхню роль] у розробці перевірки моделей у високо ефективну технологію верифікації, широко вживану у індустріях апаратного і програмного забезпечення.
2008 Барбара Лісков За внесок до практичних і теоретичних основ проектування мов програмування та систем, особливо пов'язаних з абстракцією даних, стійкістю до падінь та розподіленими обчисленнями.
2009 Чарльз Текер За його інноваційне проектування і реалізацію Alto, першого сучасного персонального комп'ютера, і на додачу до його внеску до Ethernet і Tablet PC.
2010 Леслі Веліент За внесок у теорію алгоритмів, включаючи наближено правильне навчання, теорію складності підрахунку та алгебраїчного обчислення, а також теорію паралельних та розподілених обчислень.
2011 Джуда Перл За фундаментальний внесок в штучний інтелект шляхом розробки методів розрахунку для вірогіднісного та причинно-наслідкового осмислення.
2012 Сільвіо Мікалі
Шафі Ґолдвассер 		За новітні розробки в галузі імовірнісного шифрування й нові методи ефективної верифікації математичних методів криптографії.
2013 Леслі Лампорт За фундаментальний внесок в теорію та практику паралельних і розподілених систем, винаходи таких понять, як логічні годинники, безпека та життєздатність, репліцитні автомати, послідовна узгодженість.
2014 Майкл Стоунбрейкер За фундаментальний внесок в принципи та практики, що лежать в основі сучасних систем керування базами даних.
2015 Вітфілд Діффі
Мартін Геллман 		За фундаментальний внесок до криптографії.
2016 Тім Бернерс-Лі За розробку Всесвітньої павутини, першого веббраузера та фундаментальних протоколів та алгоритмів..
2017 Джон Лерой Геннессі
Девід Патерсон (учений)[en]		 За запровадження систематичного кількісного підходу до проектування та оцінки комп'ютерних архітектур, що має довготривалий вплив на мікропроцесорну індустрію.
2018 Джошуа Бенжіо[en]

Джефрі Гінтон
Янн ЛеКун

Була присуджена трьом дослідникам, які заклали основи нинішнього буму штучного інтелекту.
2019 Едвін Кетмелл

Патрік Ганраган[en]

 За фундаментальний внесок у тривимірну комп'ютерну графіку та революційний вплив цих методик на зображення, створені комп'ютером (CGI) у кіновиробництві та інших застосунках.
2020 Джеффрі Ульман
Альфред Аго 		За формування основ компіляторів та алгоритмів для мов програмування.
2021 Джек Донгарра За новаторський внесок у бібліотеки чисельних методів, що дозволило суперкомп'ютерному програмному забезпеченню протягом чотирьох десятиліть йти в ногу з експоненційним розвитком обладнання.
2022 Роберт Меткалф За винахід, стандартизацію та комерціалізацію Ethernet.

Примітки Редагувати

  1. http://amturing.acm.org/byyear.cfm
  2. http://www.cnet.com/news/google-boosts-turing-award-computing-prize-to-1-million/
  3. 2007 Turing Award Winners Announced
  4. ACM Award Citation / Leslie G Valiant
  5. Judea Pearl. ACM. Архів оригіналу за 26 червня 2013. Процитовано 21 лютого 2013. 
  6. Turing award 2012. ACM. Архів оригіналу за 21 березня 2013. Процитовано 25 серпня 2014. 
  7. Turing award 2013. ACM. 
  8. Turing award 2014. ACM. 
  9. Cryptography Pioneers Receive Acm A.M. Turing Award
  10. ACM A.M. Turing Award. Sir Tim Berners-Lee, United Kingdom — 2016 (англ.)
  11. John Hennessy and David Patterson will receive the 2017 ACM A.M. Turing Award. www.acm.org (англ.). Процитовано 30 березня 2023. 
  12. Премія Тюрінга 2018 присуджена трьом дослідникам, які заклали основи нинішнього буму штучного інтелекту. Ukr.Media (укр.). 27 березня 2019. Процитовано 27 березня 2019. 
  13. https://mind.ua/news/20195396-premiyu-tyuringa-prisudili-hreshchenim-batkam-shtuchnogo-intelektu
  14. Pioneers of Modern Computer Graphics Recognized with ACM A.M. Turing Award – Hanrahan and Catmull’s Innovations Paved the Way for Today’s 3-D Animated Films. Retrieved March 19, 2020.
  15. ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms (англ.). ACM. 31 березня 2021. Процитовано 31 березня 2021. 
  16. ACM Turing Award Honors Jack J. Dongarra for Pioneering Concepts and Methods Which Have Resulted in World-Changing Computations (англ.). ACM. 31 березня 2022. Процитовано 2 квітня 2022. 
  17. A.M. Turing Award. amturing.acm.org (англ.). Процитовано 30 березня 2023. 

Джерела Редагувати

Вікісховище має мультимедійні дані за темою: Премія Тюрінга
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри
Дата публікації:
Premiya Tyuringa angl Turing Award najprestizhnisha premiya v galuzi informatiki shorichno prisudzhuyetsya Asociaciyeyu obchislyuvalnoyi tehniki za vidatni dosyagnennya u cij galuzi Premiya sponsoruyetsya korporaciyami Intel ta Google i zaraz suprovodzhuyetsya nagorodoyu v 1 000 000 dolariv SShA 2 Premiyu nazvano na chest vidatnogo anglijskogo vchenogo Alana Tyuringa matematika fahivcya z kriptografiyi yakij otrimav pershi gliboki rezultati shodo teoriyi algoritmiv ta obchislyuvalnoyi skladnosti zadovgo do poyavi pershih komp yuteriv Premiya Tyuringaangl Turing AwardKrayina SShATip naukova nagorodadPidstava za vidatnij vnesok u komp yuterni naukiStatus vidayetsyaNa chest Alan TyuringNagorodzhennyaZasnovano 1966 1 Pershe 1966Nagorodzheni Kategoriya Laureati premiyi Tyuringa 72 ChergovistStarsha nagoroda 1 miljonSajt ACM List of Turing Laureates Premiya Tyuringa u VikishovishiVpershe Premiyu Tyuringa bulo prisudzheno Alanovi Perlisu u 1966 roci za rozvitok tehnologiyi stvorennya kompilyatoriv Piznishe yiyi otrimali Niklaus Virt ta Piter Naur za vidatnij vnesok u rozrobku mov programuvannya Laureati premiyi Tyuringa RedaguvatiRik Laureat i Za sho prisudzheno1966 nbsp Alan Perlis Za jogo vpliv v oblasti peredovih tehnik programuvannya ta pobudovi kompilyatoriv1967 nbsp Moris Vilks Profesor Vilks najbilshe vidomij yak tvorec i rozrobnik EDSAC pershogo komp yutera z vnutrishno zberezhenoyu programoyu Zbudovanij u 1949 omu EDSAC vikoristovuvav rtutnu pam yat na liniyah zatrimki Vilks takozh vidomij yak avtor razom z Villerom i Dzhilom vidanogo u 1951 omu roci tomu Pidgotovka program dlya elektronnih cifrovih komp yuteriv angl Preparation of Programs for Electronic Digital Computers u yakomu bulo vvedeno ponyattya programnih bibliotek1968 nbsp Richard Gemming Za jogo robotu po chiselnih metodah sistemah avtomatichnogo koduvannya i kodah dlya viznachennya i vipravlennya pomilok1969 nbsp Marvin Minskij Za pionerski roboti z problemi shtuchnogo intelektu1970 nbsp Dzhejms Vilkinson Za jogo doslidzhennya u chiselnomu analizi dlya polegshennya vikoristannya visokoshvidkisnih cifrovih komp yuteriv otrimavshi osoblive viznannya za jogo robotu v obchislennyah u linijnij algebri i zvorotnij analiz pomilok1971 nbsp Dzhon Makkarti Lekciya Makkarti Teperishnij stan doslidzhen shtuchnogo intelektu angl The Present State of Research on Artificial Intelligence ye temoyu sho pokrivaye galuz v yakij vin dosyag vagomogo viznannya jogo roboti1972 nbsp Edsger Dejkstra Edsgeru Dejkstri nalezhit znachnij vnesok u kinci 1950 h rokiv v rozrobku movi ALGOL movi programuvannya visokogo rivnya sho stala vtilennyam yasnosti i matematichnoyi strogosti Vin odin z najyaskravishih predstavnikiv nauki i mistectva mov programuvannya v zagalnomu a takozh lyudina sho zrobila vnesok v nashe rozuminnya yih strukturi podannya ta realizaciyi Jogo publikaciyi protyagom p yatnadcyati rokiv ohoplyuyut shirokij spektr tem vid teoretichnih statej z teoriyi grafiv do bazovih nastanov opisiv i filosofskih rozdumiv v oblasti mov programuvannya1973 nbsp Charlz Bahman Za jogo neperesichnij vnesok do tehnologij baz danih1974 nbsp Donald Knut Za jogo znachnij vnesok u analiz algoritmiv i proektuvannya mov programuvannya i chastkovo za jogo vnesok do mistectva programuvannya cherez jogo shiroko vidomi knigi z seriyi z ciyeyi nazvoyu1975 nbsp Allen Nyuel i nbsp Gerbert Sajmon U spilnih naukovih potugah spochatku razom z Klifom Sho u korporaciyi RAND i piznishe z chislom studentiv ta chleniv fakultetu v universiteti Karnegi Melon voni zrobili osnovopolozhnij vnesok do shtuchnogo intelektu psihologiyi lyudskogo sprijnyattya ta obrobki spiskiv1976 nbsp Mihael Rabin i nbsp Dana Skott Za yihnyu spilnu pracyu Skinchenni avtomati ta yihnya problema rishennya angl Finite Automata and Their Decision Problem yaka vvela ideyu nedeterminovanij avtomativ sho bulo viznano duzhe vazhlivoyu koncepciyeyu Yihnya Skotta i Rabina klasichna pracya bula postijnim dzherelom stimulu dlya nastupnih prac u galuzi1977 nbsp Dzhon Bekus Za gruntovnij vplivovij i trivalij vnesok u rozrobku praktichnih visokorivnevih sistem programuvannya osoblivo cherez svoyu pracyu nad FORTRAN i jogo osnovopolozhne vidannya pro formalni proceduri dlya specifikaciyi mov programuvannya1978 nbsp Robert Flojd Za bezsumnivnij vpliv na metodologiyi stvorennya efektivnogo i nadijnogo programnogo zabezpechennya i za dopomogu u vidshukanni takih vazhlivih pidgaluzej komp yuternih nauk teoriya sintaksichnogo analizu semantika mov programuvannya avtomatichna verifikaciya program avtomatichnij sintez program en ta analiz algoritmiv1979 nbsp Kennet Ajverson Za novatorski potugi u movah programuvannya i matematichnij notaciyi v rezultati chogo z yavilasya mova programuvannya vidoma teper u obchislyuvalnij galuzi yak APL za jogo vnesok u realizaciyu interaktivnih sistem navchalne zastosuvannya APL i teoriyu ta praktiku mov programuvannya1980 nbsp Charlz Entoni Richard Goar Za jogo fundamentalnij vnesok u viznachennya i proektuvannya mov programuvannya1981 nbsp Edgar Kodd Za jogo fundamentalnij i trivalij vnesok u teoriyu i praktiku sistem keruvannya bazami danih osoblivo relyacijnih baz danih1982 nbsp nbsp Stiven Kuk Za jogo prosuvannya nashogo rozuminnya skladnosti obchislen u znachnij i gruntovnij sposib1983 nbsp Ken Tompson i nbsp Denis Ritchi Za yihnyu rozrobku zagalnoyi teoriyi operacijnih sistem i osoblivo za realizaciyu operacijnoyi sistemi UNIX1984 nbsp Niklaus Virt Za rozrobku seriyi innovacijnih komp yuternih mov EULER ALGOL W MODULA i PASCAL1985 nbsp Richard Karp Za jogo trivalij vnesok do teoriyi algoritmiv vklyuchayuchi rozrobku efektivnih algoritmiv dlya transpornogo potoku ta inshih kombinatornih zadach optimizaciyi identifikaciyi polinomialnoyi obchislyuvanosti z intuyitivnoyu notaciyeyu algoritmichnoyi skladnosti ta najbilsh znachimo vnesok do teoriyi NP povnoti1986 nbsp Dzhon Gopkroft i nbsp Robert Andre Tar yan Za fundamentalni dosyagnennya u rozrobci ta analizi algoritmiv i struktur danih1987 nbsp Dzhon Kok Za znachnij vnesok u proektuvannya i teoriyu kompilyatoriv arhitekturu velikih sistem i rozrobku RISC1988 nbsp Ajven Sazerlend Za innovacijnij i dalekoglyadnij vnesok do komp yuternoyi grafiki pochinayuchi z Sketchpad ta prodovzhuyuchi dali1989 nbsp Vilyam Morton Kehen Za jogo fundamentalnij vnesok do chiselnogo analizu Odin z peredovih ekspertiv obchislen z ruhomoyu komoyu Kehen buv viddanij dlya togo shob zrobiti svit krashim dlya chiselnih obchislen 1990 nbsp Fernando Korbato Za jogo innovacijnu roboti u organizaciyi koncepcij i keruvannya rozrobkoyu velikomasshtabnih komp yuternih sistem zagalnogo priznachennya iz spilnim vikoristannyam resursiv CTSS ta Multics 1991 nbsp Robin Milner Za jogo osoblivi i zavershenni dosyagnennya 1 LCF mehanizaciya logiki obchislyuvalnih funkciyi Skotta jmovirno pershij na teoretichnij osnovi i tim ne menshe praktichnij zasib dlya pobudovi doveden za dopomogoyu komp yutera 2 ML persha moiv sho vklyuchaye polimorfnij vivid tipiv razom z mehanizmom obrobki vinyatkiv iz bezpekoyu tipiv 3 chislennya komunikacijnih sistem zagalna teoriya bagatozadachnosti V dodachu vin sformulyuvav i silno rozvinuv povnu abstrakciyu vchennya pro zv yazki mizh operacijnoyu ta denotacijnoyu semantikami 1992 nbsp Batler Lempson Za vnesok u rozrobku rozpodilenih personalnih obchislyuvalnih seredovish ta tehnologiyi yih realizaciyi robochi stanciyi merezhi operacijni sistemi sistemi programuvannya displeyi bezpeka ta publikaciya dokumentiv 1993 nbsp nbsp Yuris Gartmanis i nbsp Richard Sternz U viznannya yihnoyi osnovopolozhnoyi praci sho vstanovila osnovi galuzi teoriyi skladnosti obchislen 1994 nbsp Edvard Fejgenbaum i nbsp nbsp Radzh Reddi Za innovaciyi u proektuvanni i pobudovi velikomasshtabnih sistem shtuchnogo intelektu demonstruyuchi praktichnu vazhlivist i potencijnij komercijnij vpliv tehnologij shtuchnogo intelektu 1995 nbsp nbsp Manuel Blum U viznannya jogo vnesku do osnov teoriyi skladnosti obchislen ta yiyi zastosuvannya do kriptografiyi ta perevirki program 1996 nbsp Amir Pnueli Za osnovopolozhnu pracyu sho vvela ponyattya temporalnoyi logiki u komp yuterni nauki i vidatnij vnesok u verifikaciyu program ta sistem 1997 nbsp Duglas Engelbart Za nathnenne bachennya majbutnogo interaktivnih obchislen i vinahid klyuchovih tehnologij dlya realizaciyi cogo bachennya 1998 nbsp Dzhim Grej Za osnovopolozhnij vnesok do doslidzhen baz danih i obrobki tranzakcij i tehnichne kerivnictvo u realizaciyi sistem 1999 nbsp Frederik Bruks Za povorotnij vnesok do arhitekturi komp yutera operacijnih sistem ta inzheneriyi programnogo zabezpechennya 2000 nbsp Endryu Yao U viznannya jogo fundamentalnogo vnesku do teoriyi algoritmiv vklyuchayuchi teoriyu generaciyi psevdovipadkovih chisel na osnovi obchislyuvalnoyi skladnosti kriptografiyu ta komunikacijnu skladnist 2001 nbsp Ule Yugan Dal i nbsp Kristen Nyugor Za ideyi fundamentalni do poyavi ob yektno oriyentovanogo programuvannya cherez yihnyu rozrobku mov programuvannya Simula I ta Simula 67 2002 nbsp Ronald Rivest nbsp Adi Shamir i nbsp Leonard Adleman Za yihnij vinahidnickij vnesok dlya togo shob zrobiti kriptografiyu iz vidkritim klyuchem korisnoyu na praktici 2003 nbsp Alan Kej Za innovacijnist bagatoh idej u zarodku suchasnih ob yektno oriyentovanih mov programuvannya keruyuchi komandoyu sho rozrobila Smalltalk i za fundamentalnij vnesok do personalnih obchislen 2004 nbsp Vinton Serf i nbsp Robert Kan Za innovacijnu pracyu nad ob yednannyam merezh vklyuchayuchi proektuvannya i realizaciyu bazovih komunikacijnih protokoliv Internetu TCP IP i za nathnenne liderstvo u merezhevih tehnologiyah 2005 nbsp Piter Naur Za fundamentalnij vnesok u proektuvannya movi programuvannya i viznachennya ALGOL 60 do proektuvannya kompilyatoriv i do mistectva i praktiki komp yuternogo programuvannya 2006 nbsp Frensis Allen Za innovacijnij vnesok do teoriyi i praktiki optimizaciyi tehnik kompilyatoriv sho poklalo osnovu dlya suchasnih optimizovanih kompilyatoriv i avtomatichnogo paralelnogo vikonannya 2007 nbsp Edmund Klark nbsp Ernest Allen Emerson i nbsp nbsp Josif Sifakis Za yihnyu rol u rozrobci perevirki modelej u visoko efektivnu tehnologiyu verifikaciyi shiroko vzhivanu u industriyah aparatnogo i programnogo zabezpechennya 3 2008 nbsp Barbara Liskov Za vnesok do praktichnih i teoretichnih osnov proektuvannya mov programuvannya ta sistem osoblivo pov yazanih z abstrakciyeyu danih stijkistyu do padin ta rozpodilenimi obchislennyami 2009 nbsp Charlz Teker Za jogo innovacijne proektuvannya i realizaciyu Alto pershogo suchasnogo personalnogo komp yutera i na dodachu do jogo vnesku do Ethernet i Tablet PC 2010 nbsp Lesli Velient Za vnesok u teoriyu algoritmiv vklyuchayuchi nablizheno pravilne navchannya teoriyu skladnosti pidrahunku ta algebrayichnogo obchislennya a takozh teoriyu paralelnih ta rozpodilenih obchislen 4 2011 nbsp nbsp Dzhuda Perl Za fundamentalnij vnesok v shtuchnij intelekt shlyahom rozrobki metodiv rozrahunku dlya virogidnisnogo ta prichinno naslidkovogo osmislennya 5 2012 nbsp nbsp Silvio Mikali nbsp nbsp Shafi Goldvasser Za novitni rozrobki v galuzi imovirnisnogo shifruvannya j novi metodi efektivnoyi verifikaciyi matematichnih metodiv kriptografiyi 6 2013 nbsp Lesli Lamport Za fundamentalnij vnesok v teoriyu ta praktiku paralelnih i rozpodilenih sistem vinahodi takih ponyat yak logichni godinniki bezpeka ta zhittyezdatnist replicitni avtomati poslidovna uzgodzhenist 7 2014 nbsp Majkl Stounbrejker Za fundamentalnij vnesok v principi ta praktiki sho lezhat v osnovi suchasnih sistem keruvannya bazami danih 8 2015 nbsp Vitfild Diffi nbsp Martin Gellman Za fundamentalnij vnesok do kriptografiyi 9 2016 nbsp Tim Berners Li Za rozrobku Vsesvitnoyi pavutini pershogo vebbrauzera ta fundamentalnih protokoliv ta algoritmiv 10 2017 nbsp Dzhon Leroj Gennessi nbsp Devid Paterson uchenij en Za zaprovadzhennya sistematichnogo kilkisnogo pidhodu do proektuvannya ta ocinki komp yuternih arhitektur sho maye dovgotrivalij vpliv na mikroprocesornu industriyu 11 2018 nbsp Dzhoshua Benzhio en nbsp nbsp Dzhefri Ginton nbsp Yann LeKun Bula prisudzhena trom doslidnikam yaki zaklali osnovi ninishnogo bumu shtuchnogo intelektu 12 13 2019 nbsp Edvin Ketmell nbsp Patrik Ganragan en Za fundamentalnij vnesok u trivimirnu komp yuternu grafiku ta revolyucijnij vpliv cih metodik na zobrazhennya stvoreni komp yuterom CGI u kinovirobnictvi ta inshih zastosunkah 14 2020 nbsp Dzheffri Ulman nbsp Alfred Ago Za formuvannya osnov kompilyatoriv ta algoritmiv dlya mov programuvannya 15 2021 nbsp Dzhek Dongarra Za novatorskij vnesok u biblioteki chiselnih metodiv sho dozvolilo superkomp yuternomu programnomu zabezpechennyu protyagom chotiroh desyatilit jti v nogu z eksponencijnim rozvitkom obladnannya 16 2022 nbsp Robert Metkalf Za vinahid standartizaciyu ta komercializaciyu Ethernet 17 Primitki Redaguvati http amturing acm org byyear cfm http www cnet com news google boosts turing award computing prize to 1 million 2007 Turing Award Winners Announced ACM Award Citation Leslie G Valiant Judea Pearl ACM Arhiv originalu za 26 chervnya 2013 Procitovano 21 lyutogo 2013 Turing award 2012 ACM Arhiv originalu za 21 bereznya 2013 Procitovano 25 serpnya 2014 Turing award 2013 ACM Turing award 2014 ACM Cryptography Pioneers Receive Acm A M Turing Award ACM A M Turing Award Sir Tim Berners Lee United Kingdom 2016 angl John Hennessy and David Patterson will receive the 2017 ACM A M Turing Award www acm org angl Procitovano 30 bereznya 2023 Premiya Tyuringa 2018 prisudzhena trom doslidnikam yaki zaklali osnovi ninishnogo bumu shtuchnogo intelektu Ukr Media ukr 27 bereznya 2019 Procitovano 27 bereznya 2019 https mind ua news 20195396 premiyu tyuringa prisudili hreshchenim batkam shtuchnogo intelektu Pioneers of Modern Computer Graphics Recognized with ACM A M Turing Award Hanrahan and Catmull s Innovations Paved the Way for Today s 3 D Animated Films Retrieved March 19 2020 ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms angl ACM 31 bereznya 2021 Procitovano 31 bereznya 2021 ACM Turing Award Honors Jack J Dongarra for Pioneering Concepts and Methods Which Have Resulted in World Changing Computations angl ACM 31 bereznya 2022 Procitovano 2 kvitnya 2022 A M Turing Award amturing acm org angl Procitovano 30 bereznya 2023 Dzherela RedaguvatiVikishovishe maye multimedijni dani za temoyu Premiya TyuringaACM Chronological listing of Turing Laureates angl Vizualizaciya laureativ premiyi Tyuringa angl ACM A M Turing Award Centenary Celebration angl ACM A M Turing Award Laureate Interviews angl Celebration of 50 Years of the ACM A M Turing Award angl ACM A M Turing Award announcements bios lectures by SFBayACM angl Otrimano z https uk wikipedia org w index php title Premiya Tyuringa amp oldid 39101979