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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Премія Тюрінга
Оригінальна назва Turing Award
Країна Сполучені Штати Америки
Тип
Підстави нагородження за видатний внесок у комп'ютерні науки
Статус
Статистика
Дата заснування
Перше нагородження 1966
Останнє нагородження 2013
Сайт ACM List of Turing Laureates

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

Вперше Премію Тюрінга було присуджено Алану Перлісу у 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 США Роберт Флойд За безсумнівний вплив на методології створення ефективного і надійного програмного забезпечення і за допомогу у відшуканні таких важливих підгалузей комп'ютерних наук: теорія синтаксичного аналізу, семантика мов програмування, автоматична верифікація програм, автоматичний синтез програм та аналіз алгоритмів
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 СШАЕдмунд Кларк,
СШАЕрнест Аллен Емерсон і
Франція ГреціяЙосиф Сіфакіс
За [їхню роль] у розробці перевірки моделей у високо ефективну технологію верифікації, широко вживану у індустріях апаратного і програмного забезпечення.[2]
2008 СШАБарбара Лісков За внесок до практичних і теоретичних основ проектування мов програмування та систем, особливо пов'язаних з абстракцією даних, стійкістю до падінь та розподіленими обчисленнями.
2009 СШАЧарльз Текер За його інноваційне проектування і реалізацію Alto, першого сучасного персонального комп'ютера, і на додачу до його внеску до Ethernet і Tablet PC.
2010 ВеликобританіяЛеслі Веліант За внесок у теорію алгоритмів, включаючи наближено правильне навчання, теорію складності підрахунку та алгебраїчного обчислення, а також теорію паралельних та розподілених обчислень.[3]
2011 Ізраїль США Джуда Перл За фундаментальний внесок в штучний інтелект шляхом розробки методів розрахунку для вірогіднісного та причинно-наслідкового осмислення. [4]
2012 Італія США Сільвіо Мікалі
Ізраїль США Шафі Голдвассер
За новітні розробки в галузі імовірнісного шифрування й нові методи ефективної верифікації математичних методів криптографії[5].
2013 США Леслі Лампорт За фундаментальний внесок в теорію та практику паралельних і розподілених систем, винаходи таких понять, як логічні годинники, безпека та життєздатність, репліцитні автомати, послідовна узгодженість[6].

Примітки[ред.ред. код]