Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

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



План:


Введення

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


1. Статус і порядок присудження

Премія заснована Асоціацією обчислювальної техніки в честь видатного англійського вченого Алана Тьюринга, отримали перші глибокі результати щодо вичіслімості задовго до появи перших електронних обчислювальних машин.

Премія щорічно вручається одному або декільком фахівцям в галузі інформатики та обчислювальної техніки, чий внесок в цій області зробив сильний і тривалий вплив на комп'ютерне співтовариство [1]. Премія може бути присуджена одній людині не більше одного разу. У сфері інформаційних технологій премія Тьюрінга має статус, аналогічний Нобелівської премії в академічних науках. Вперше Премія Тюрінга була присуджена в 1966 Алану Перліс за розвиток технології створення компіляторів.

В даний час премія спонсорується корпораціями Intel і Google і становить 250 000 доларів США [1].


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

Рік Лауреат Причина присудження
1966 Алан Дж. Перліс За його вплив в області узагальнених технік програмування та побудови компіляторів
1967 Моріс Вінсент Уїлкс Професор Уїлкс найбільше відомий як проектувальник EDSAC, першого комп'ютера, що допускає внутрішнє зберігання програм. Побудований в 1949, EDSAC використовував пам'ять на лініях затримки. Він також відомий, у співавторстві з Віллером і Гиллом як автор книги "Preparation of Programs for Electronic Digital Computers", 1951, в якій вводиться найважливіше поняття бібліотеки
1968 Річард Хеммінга За роботи в галузі чисельних методів, систем автоматичного кодування, кодів визначення та коригування помилок
1969 Марвін Мінський За піонерські роботи з проблеми штучного інтелекту
1970 Джеймс Харді Уілкінсон За його дослідження в області чисельного аналізу, що сприяли використанню високошвидкісних цифрових комп'ютерів, що придбали особливе значення у світлі його робіт по розрахункам в лінійній алгебрі і "зворотного" аналізу помилок
1971 Джон Мак-Карті Лекція доктора Мак-Карті "Сучасний стан досліджень з штучному інтелекту "висвітлює стан справ в області, яка зобов'язана багатьма суттєвими успіхами його роботам
1972 Едсгер Дейкстра Едсгеру Дейкстри належить значний внесок у кінці 1950-х років в розробку мови АЛГОЛ, мова програмування високого рівня, що став втіленням ясності і математичної строгості. Він один з найяскравіших представників науки і мистецтва мов програмування у всій їх спільності, а також людина багато в чому сприяв розумінню їх структури, представлення та реалізації. Його публікації протягом п'ятнадцяти років охоплюють широкий спектр тем від теоретичних статей по теорії графів до базових керівництв, описів і філософських роздумів в області мов програмування
1973 Чарльз Бахман За його видатний внесок в технології баз даних
1974 Дональд Кнут За його величезний внесок у аналіз алгоритмів, розробку мов програмування, і в особливості за створення широко відомої серії книг під загальною назвою " Мистецтво програмування "
1975 Аллен Ньюелл
Герберт Саймон
Їх спільні зусилля протягом двадцяти років, спочатку спільно з Дж. К. Шоу, у складі корпорації RAND, згодом разом з професорсько-викладацьким складом та студентськими групами університету Карнегі - Меллон, ознаменувалися фундаментальним внеском у штучний інтелект, психологію механізмів людського сприйняття і обробку списків
1976 Майкл Рабін
Дана Скотт
За їх загальну статтю під назвою "Кінцеві автомати та проблема можливості розв'язання для них", в якій була запропонована ідея недетермінірованного автомата, концепції, що довела згодом свою виняткову цінність. Їх, що стала класичною, стаття послужила джерелом натхнення для багатьох наступних робіт в цій області
1977 Джон Бекуса За його глибокий, тривалий і зробив великий вплив внесок у проектування практичних високорівневих програмних систем, зокрема за його роботу над мовою Фортран, і його оригінальну публікацію по формалізації специфікацій мов програмування
1978 Роберт Флойд За його безсумнівний вплив на методологію створення ефективного і надійного програмного забезпечення та за його допомогу в становленні таких областей комп'ютерних наук як теорія парсинга, семантика мов програмування, автоматична верифікація програм, автоматичний синтез програм, та аналіз алгоритмів
1979 Айверсон, Кеннет За його піонерську роботу в області мов програмування і математичного запису, що має результатом те, що зараз відомо серед фахівців як APL, за його внесок у реалізацію інтерактивних систем, використання APL в освітніх цілях, а також в теорію і практику мов програмування
1980 Ч. Ентоні Р. Хоар За його фундаментальний внесок у визначення і розробку мов програмування
1981 Едгар Кодд За його фундаментальний і тривалий внесок у теорію і практику систем управління базами даних, в особливості реляційного типу
1982 Стівен Артур Кук За суттєвий прогрес, досягнутий їм у розумінні складності обчислень. Його робота поклала основу теорії NP-повноти. Дослідження властивостей і меж цього класу стало одним з найважливіших напрямків теорії обчислювальних систем за останні десять років
1983 Кен Томпсон
Денис М. Рітчі
За розробку загальної теорії операційних систем і зокрема за створення Unix
1984 Ніклаус Вірт За розробку серії інноваційних комп'ютерних мов, Ейлер, Algol-W, Модула і Паскаль
1985 Річард М. Карп За його тривалий вклад в теорію алгоритмів, в тому числі за розробку ефективних алгоритмів для потоків на мережах та інших комбінаторних оптимізаційних задач, зіставлення обчислень полиномиальной складності з інтуїтивним поняттям ефективності, і, найголовніше, за внесок у теорію NP-повноти
1986 Джон Хопкрофт
Роберт Тар'я
За фундаментальні досягнення в області розробки і аналізу алгоритмів та структур даних
1987 Джон Кок За видатний внесок у проектування і теорію компіляторів, архітектуру великих систем і розробку RISC -комп'ютерів
1988 Айвен Сазерленд За його піонерський і далекоглядний внесок у комп'ютерну графіку, починаючи від винаходу Sketchpad, але не закінчується їм
1989 Вільям Кехен За його фундаментальний внесок у чисельний аналіз. Один з перших експертів в обчисленнях з плаваючою комою. Кехен також присвятив себе завданню "зробити світ безпечним для чисельних розрахунків"
1990 Фернандо Х. Корбато За його піонерську роботу по створенню концепції і управлінню розробками по створенню общецелевих, великомасштабних комп'ютерних систем з розподілом часу та ресурсів CTSS і Multics
1991 Робін Мілнер За три різних повноцінних досягнення: 1) LCF, що автоматизує докази на логіці вичіслімих функцій Скотта, мабуть перший, інструмент автоматизованого конструювання доказів, побудований на теоретичному фундаменті і при цьому корисний на практиці; 2) ML, перша мова програмування використовує поліморфний висновок типів разом з типізований механізмом обробкою помилок; 3) CCS, загальна теорія конкурентних обчислень. До того ж, він сформулював і розвинув повну абстракцію, теорію про зв'язок між операційною і денотаціонной Семантика
1992 Батлер В. Лемпсон За внесок у розробку розподілених, персональних обчислювальних середовищ і технологію їх реалізації: робочі станції, мережі, операційні системи, програмні системи, дисплеї, безпеку і обмін документами
1993 Юріс Хартманіс
Річард Е. Стернс
У данина їх основоположним роботам, який забезпечив базу теорії складності обчислень.
1994 Едвард Фейгенбаум
Радж Редді
За первопроходческіе розробки і створення великомасштабних систем штучного інтелекту та демонстрацію практичної важливості і потенційної комерційної вигоди від технологій використовують штучний інтелект
1995 Мануель Блюм У данина його роботам з підстав теорії складності обчислень і її застосування до криптографії та верифікації програм
1996 Амір Пнуелі За плідну роботу з впровадження темпоральної логіки в обчислювальні науки, і за видатний внесок у верифікацію програм і систем
1997 Дуглас Енгельбарт За надихаюче передбачення майбутнього розвитку інтерактивних обчислень і винахід ключових технологій допомагають це передбачення реалізувати
1998 Джим Грей За основоположні ідеї в області баз даних, дослідження обробки транзакцій і технічне лідерство в реалізації систем.
1999 Фредерік Ф. Брукс, Мл. За історично значущий внесок у комп'ютерну архітектуру, операційні системи, і проектування програмного забезпечення.
2000 Ендрю Чі-Чі Яо У данина його фундаментальному внеску в теорію обчислень, що включає, засновану на понятті складності обчислення, теорію генерації псевдо-випадкових чисел, криптографії, і комунікаційної складності
2001 Уле-Йохан Даль
Крістен Нігаард
За ідеї, фундаментальні для розвитку об'єктно-орієнтованого програмування, що виникли в ході розробки мов програмування Simula I і Simula 67
2002 Рональд Л. Рівестом
Аді Шамір
Леонард М. Адлеман
За унікальний внесок по збільшенню практичної користі систем шифрування з відкритим ключем
2003 Алан Кей За численні новаторські ідеї, які лягли в основу сучасних об'єктно-орієнтованих мов, керівництво командою розробників мови Smalltalk і за фундаментальний внесок у розвиток області ПК
2004 Вінтон Серф
Роберт Кан
За піонерську роботу з проблеми міжмережевого обміну ( англ. internetworking ), Включаючи розробку і реалізацію основних Інтернет-протоколів, TCP / IP і за провідну роль в області комп'ютерних мереж
2005 Пітер Наур За фундаментальний внесок у проектування мов програмування і створення мови Алгол 60, а також в проектування компіляторів, і в мистецтво і техніку комп'ютерного програмування
2006 Френсіс Е. Аллен За новаторський внесок в теорію і практику оптимізації комп'ютерних програм, що послужив основою для сучасних оптимізують компіляторів і автоматичного распаралелліванію програм
2007 Едмунд М. Кларк
Аллен Емерсон
Йосип Сіфакіс
За їх роль у розвитку перевірки моделей - високо ефективну техніку верифікації програм, широко застосовувану при розробці як програмного так і апаратного забезпечення [2]
2008 Барбара Лисків За внесок у практичні і теоретичні основи мов програмування і системного дизайну, зокрема в галузі досліджень стійкості до помилок, абстракції даних і розподілених обчислень.
2009 Чарльз Текер За новаторську розробку і створення Альто, першого сучасного персонального комп'ютера, а також за його внесок в технологію Ethernet і розвиток планшетних персональних комп'ютерів.
2010 Леслі Веліант За внесок у теорію алгоритмів, включаючи наближено правильне навчання ( англ. ), теорію складності перерахування та алгебраічесіх числень, а також теорію паралельних і розподілених обчислень. [3]
2011 Джуда Перл За фундаментальний внесок у штучний інтелект допомогою розробки обчислення для проведення імовірнісних і причинно-наслідкових міркувань ( англ. calculus for probabilistic and causal reasoning ) [4]

3. Тьюрінговская лекція

За традицією, лауреат премії Тьюрінга при врученні її виступає з доповіддю, іменованим "Тьюрінговская лекція". У цій лекції зазвичай йдеться про тих питаннях комп'ютерної науки, теорії і практики використання обчислювальної техніки, які лауреат вважає досить важливими, щоб поділитися своєю думкою про них з якомога більшою кількістю фахівців.

Примітки

  1. 1 2 AM Turing Award - awards.acm.org / homepage.cfm? srt = all & awd = 140. ACM. Читальний - www.webcitation.org/65QSpL85Y з першоджерела 13 лютого 2012.
  2. Оголошено лауреатів щорічної Премії Тьюринга - Наука і техніка - Компьюлента - science.compulenta.ru/347274 /
  3. ACM Award Citation / Leslie G Valiant - awards.acm.org / citation.cfm? id = 2612174 & srt = year & year = 2010 & aw = 140 & ao = AMTURING & yr = 2010
  4. Turing Award 2011. Judea Pearl - amturing.acm.org/award_winners/pearl_2658896.cfm

Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Премія
Премія Крафорд
Єрусалимська премія
Премія Пуанкаре
Премія Неванлінни
Премія Гаусса
Філдсовськая премія
Премія Бальцана
Тоні (премія)
© Усі права захищені
написати до нас