Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

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

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

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

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

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

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

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

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

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

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

image [en]

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

Джерела

Вікісховище має мультимедійні дані за темою: Премія Тюрінга
  • ACM Chronological listing of Turing Laureates (англ.)
  • Візуалізація лауреатів премії Тюрінга (англ.)
  • ACM A.M. Turing Award Centenary Celebration (англ.)
  • ACM A.M. Turing Award Laureate Interviews (англ.)
  • Celebration of 50 Years of the ACM A.M. Turing Award (англ.)
  • ACM A.M. Turing Award (announcements, bios, lectures) by SFBayACM (англ.)

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

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 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 Tyuringa angl Turing Award Krayina SShATip dPidstava za vidatnij vnesok u komp yuterni naukiStatus vidayetsya Na chest Alan Tyuring Nagorodzhennya Zasnovano 1966 1 Pershe 1966Nagorodzheni Kategoriya Laureati premiyi Tyuringa 73 Chergovist Starsha nagoroda 1 miljonSajt ACM List of Turing Laureates Premiya Tyuringa u Vikishovishi Vpershe 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 TyuringaRik Laureat i Za sho prisudzheno 1966 Alan Perlis Za vpliv v galuzi peredovih tehnik programuvannya ta pobudovi kompilyatoriv 1967 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 roci tomu Pidgotovka program dlya elektronnih cifrovih komp yuteriv angl Preparation of Programs for Electronic Digital Computers u yakomu bulo vvedeno ponyattya programnih bibliotek 1968 Richard Gemming Za robotu shodo chiselnih metodiv sistem avtomatichnogo koduvannya i kodiv dlya viznachennya i vipravlennya pomilok 1969 Marvin Minskij Za pionerski roboti z problemi shtuchnogo intelektu 1970 Dzhejms Vilkinson Za doslidzhennya u chiselnomu analizi dlya polegshennya vikoristannya visokoshvidkisnih cifrovih komp yuteriv otrimavshi osoblive viznannya za svoyu robotu v obchislennyah u linijnij algebri i zvorotnij analiz pomilok 1971 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 roboti 1972 Edsger Dejkstra Edsgeru Dejkstri nalezhit znachnij vnesok naprikinci 1950 h rokiv u 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 yihnoyi 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 programuvannya 1973 Charlz Bahman Za neperesichnij vnesok do tehnologij baz danih 1974 Donald Knut Za znachnij vnesok v analiz algoritmiv i proyektuvannya mov programuvannya i chastkovo za vnesok do mistectva programuvannya cherez svoyi shiroko vidomi knigi z seriyi z ciyeyi nazvoyu 1975 Allen Nyuel i Gerbert Sajmon U spilnih naukovih potugah spochatku razom z u korporaciyi RAND i piznishe z pevnoyu kilkistyu studentiv ta chleniv fakultetu v universiteti Karnegi Melon voni zrobili osnovopolozhnij vnesok do shtuchnogo intelektu psihologiyi lyudskogo sprijnyattya ta obrobki spiskiv 1976 Mihael Rabin i Dana Skott Za svoyu 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 galuzi 1977 Dzhon Bekus Za gruntovnij vplivovij i trivalij vnesok u rozrobku praktichnih visokorivnevih sistem programuvannya osoblivo cherez svoyu pracyu nad FORTRAN i osnovopolozhne vidannya pro formalni proceduri dlya specifikaciyi mov programuvannya 1978 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 en ta analiz algoritmiv 1979 Kennet Ajverson Za novatorski potugi v movah programuvannya i matematichnij notaciyi v rezultati chogo z yavilasya mova programuvannya vidoma teper u obchislyuvalnij galuzi yak APL za svij vnesok u realizaciyu interaktivnih sistem navchalne zastosuvannya APL i teoriyu ta praktiku mov programuvannya 1980 Charlz Entoni Richard Goar Za fundamentalnij vnesok u viznachennya i proyektuvannya mov programuvannya 1981 Edgar Kodd Za fundamentalnij i trivalij vnesok u teoriyu i praktiku sistem keruvannya bazami danih osoblivo relyacijnih baz danih 1982 Stiven Kuk Za prosuvannya nashogo rozuminnya skladnosti obchislen u znachnij i gruntovnij sposib 1983 Ken Tompson i Denis Ritchi Za rozrobku zagalnoyi teoriyi operacijnih sistem i osoblivo za realizaciyu operacijnoyi sistemi UNIX 1984 Niklaus Virt Za rozrobku seriyi innovacijnih komp yuternih mov MODULA i PASCAL 1985 Richard Karp Za 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 povnoti 1986 Dzhon Gopkroft i Robert Andre Tar yan Za fundamentalni dosyagnennya v rozrobci ta analizi algoritmiv i struktur danih 1987 Dzhon Kok Za znachnij vnesok u proyektuvannya i teoriyu kompilyatoriv arhitekturu velikih sistem i rozrobku RISC 1988 Ajven Sazerlend Za innovacijnij i dalekoglyadnij vnesok do komp yuternoyi grafiki pochinayuchi z Sketchpad ta prodovzhuyuchi dali 1989 Vilyam Morton Kehen Za fundamentalnij vnesok do chiselnogo analizu Odin z peredovih ekspertiv obchislen Kehen buv viddanij tomu shob zrobiti svit krashim dlya chiselnih obchislen 1990 Fernando Korbato Za innovacijni roboti v organizaciyi koncepcij i keruvannya rozrobkoyu velikomasshtabnih komp yuternih sistem zagalnogo priznachennya iz spilnim vikoristannyam resursiv CTSS ta Multics 1991 Robin Milner Za 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 zagalna teoriya bagatozadachnosti Na dodachu vin sformulyuvav i silno rozvinuv vchennya pro zv yazki mizh operacijnoyu ta denotacijnoyu semantikami 1992 Batler Lempson Za vnesok u rozrobku rozpodilenih personalnih obchislyuvalnih seredovish ta tehnologiyi yihnoyi realizaciyi robochi stanciyi merezhi operacijni sistemi sistemi programuvannya displeyi bezpeka ta publikaciya dokumentiv 1993 Yuris Gartmanis i Richard Sternz U viznannya yihnoyi osnovopolozhnoyi praci sho vstanovila osnovi galuzi teoriyi skladnosti obchislen 1994 Edvard Fejgenbaum i Radzh Reddi Za innovaciyi u proyektuvanni i pobudovi velikomasshtabnih sistem shtuchnogo intelektu demonstruyuchi praktichnu vazhlivist i potencijnij komercijnij vpliv tehnologij shtuchnogo intelektu 1995 Manuel Blum U viznannya vnesku do osnov teoriyi skladnosti obchislen ta yiyi zastosuvannya do kriptografiyi ta perevirki program 1996 Amir Pnueli Za osnovopolozhnu pracyu sho vvela ponyattya temporalnoyi logiki u komp yuterni nauki i vidatnij vnesok u verifikaciyu program ta sistem 1997 Duglas Engelbart Za nathnenne bachennya majbutnogo interaktivnih obchislen i vinahid klyuchovih tehnologij dlya realizaciyi cogo bachennya 1998 Dzhim Grej Za osnovopolozhnij vnesok do doslidzhen baz danih i obrobki tranzakcij i tehnichne kerivnictvo u realizaciyi sistem 1999 Frederik Bruks Za povorotnij vnesok do arhitekturi komp yutera operacijnih sistem ta inzheneriyi programnogo zabezpechennya 2000 Endryu Yao U viznannya fundamentalnogo vnesku do teoriyi algoritmiv vklyuchayuchi teoriyu generaciyi psevdovipadkovih chisel na osnovi obchislyuvalnoyi skladnosti kriptografiyu ta 2001 Ule Yugan Dal i Kristen Nyugor Za ideyi fundamentalni do poyavi ob yektno oriyentovanogo programuvannya cherez yihnyu rozrobku mov programuvannya ta 2002 Ronald Rivest Adi Shamir i Leonard Adleman Za vinahidnickij vnesok dlya togo shob zrobiti kriptografiyu iz vidkritim klyuchem korisnoyu na praktici 2003 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 Vinton Serf i Robert Kan Za innovacijnu pracyu nad vklyuchayuchi proyektuvannya i realizaciyu bazovih komunikacijnih protokoliv Internetu TCP IP i za nathnenne liderstvo u merezhevih tehnologiyah 2005 Piter Naur Za fundamentalnij vnesok u proyektuvannya movi programuvannya i viznachennya ALGOL 60 do proektuvannya kompilyatoriv i do mistectva i praktiki komp yuternogo programuvannya 2006 Frensis Allen Za innovacijnij vnesok do teoriyi i praktiki optimizaciyi tehnik kompilyatoriv sho poklalo osnovu dlya suchasnih optimizovanih kompilyatoriv i avtomatichnogo paralelnogo vikonannya 2007 Edmund Klark Ernest Allen Emerson i Josif Sifakis Za yihnyu rol u rozrobci perevirki modelej u visoko efektivnu tehnologiyu verifikaciyi shiroko vzhivanu u industriyah aparatnogo i programnogo zabezpechennya 2008 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 Charlz Teker Za innovacijne proyektuvannya i realizaciyu Alto pershogo suchasnogo personalnogo komp yutera i na dodachu do jogo vnesku do Ethernet i Tablet PC 2010 Lesli Velient Za vnesok u teoriyu algoritmiv vklyuchayuchi teoriyu skladnosti pidrahunku ta algebrayichnogo obchislennya a takozh teoriyu paralelnih ta rozpodilenih obchislen 2011 Dzhuda Perl Za fundamentalnij vnesok u shtuchnij intelekt shlyahom rozrobki metodiv rozrahunku dlya virogidnisnogo ta prichinno naslidkovogo osmislennya 2012 Silvio Mikali Shafi Goldvasser Za novitni rozrobki v galuzi imovirnisnogo shifruvannya j novi metodi efektivnoyi verifikaciyi matematichnih metodiv kriptografiyi 2013 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 2014 Majkl Stounbrejker Za fundamentalnij vnesok v principi ta praktiki sho lezhat v osnovi suchasnih sistem keruvannya bazami danih 2015 Vitfild Diffi Martin Gellman Za fundamentalnij vnesok do kriptografiyi 2016 Tim Berners Li Za rozrobku Vsesvitnoyi pavutini pershogo vebbrauzera ta fundamentalnih protokoliv ta algoritmiv 2017 Dzhon Leroj Gennessi en Za zaprovadzhennya sistematichnogo kilkisnogo pidhodu do proyektuvannya ta ocinki komp yuternih arhitektur sho maye dovgotrivalij vpliv na mikroprocesornu industriyu 2018 en Dzhefri Ginton Yann LeKun Bula prisudzhena trom doslidnikam yaki zaklali osnovi ninishnogo bumu shtuchnogo intelektu 2019 Edvin Ketmell 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 2020 Dzheffri Ulman Alfred Ago Za formuvannya osnov kompilyatoriv ta algoritmiv dlya mov programuvannya 2021 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 2022 Robert Metkalf Za vinahid standartizaciyu ta komercializaciyu Ethernet Primitkihttp 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 DzherelaVikishovishe maye multimedijni dani za temoyu Premiya Tyuringa ACM 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

Дата публікації:
Топ