- Turing Award
-
Премия Тьюринга (англ. Turing Award) — самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.
Содержание
Статус и порядок присуждения
Премия учреждена Ассоциацией вычислительной техники в честь выдающегося английского учёного Алана Тьюринга, получившего первые глубокие результаты относительно вычислимости задолго до появления первых электронных вычислительных машин.
Премия ежегодно вручается одному или нескольким специалистам в области информатики и вычислительной техники, чей вклад в этой области оказал сильное и продолжительное влияние на компьютерное сообщество[1]. Премия может быть присуждена одному человеку не более одного раза. В сфере информационных технологий премия Тьюринга имеет статус, аналогичный Нобелевской премии в академических науках. Впервые Премия Тьюринга была присуждена в 1966 году Алану Перлису за развитие технологии создания компиляторов.
В настоящее время премия спонсируется корпорациями Google и составляет 250 000 долларов США[1].
Лауреаты премии Тьюринга
Год Лауреат Причина присуждения 1966 Алан Дж. Перлис За его влияние в области обобщенных техник программирования и построения компиляторов 1967 Морис Винсент Уилкс Профессор Уилкс более всего известен как проектировщик компьютера, допускающего внутреннее хранение программ. Построенный в 1949, память на линиях задержки. Он также известен, в соавторстве с Виллером и Гиллом как автор книги «Preparation of Programs for Electronic Digital Computers», 1951 года, в которой вводится важнейшее понятие библиотеки 1968 Ричард Хэмминг За работы в области численных методов, систем автоматического кодирования, кодов определения и корректировки ошибок 1969 Марвин Минский За пионерские работы по проблеме искусственного интеллекта 1970 Джеймс Харди Уилкинсон За его исследования в области численного анализа, способствовавшие использованию высокоскоростных цифровых компьютеров, приобретшие особое значение в свете его работ по вычислениям в линейной алгебре и «обратному» анализу ошибок 1971 Джон Мак-Карти Лекция доктора Мак-Карти «Современное состояние исследований по искусственному интеллекту» освещает состояние дел в области, которая обязана многими существенными успехами его работам 1972 Эдсгер Дейкстра Эдсгеру Дейкстре принадлежит значительный вклад в конце 1950-х годов в разработку языка АЛГОЛ, язык программирования высокого уровня, ставший воплощением ясности и математической строгости. Он один из ярчайших представителей науки и искусства языков программирования во всей их общности, а также человек во многом способствовавший пониманию их структуры, представления и реализации. Его публикации в течение пятнадцати лет охватывают широкий спектр тем от теоретических статей по теории графов до базовых руководств, описаний и философских размышлений в области языков программирования 1973 Чарльз Бахман За его выдающийся вклад в технологии баз данных 1974 Дональд Кнут За его огромный вклад в анализ алгоритмов, разработку языков программирования, и в особенности за создание широко известной серии книг под общим названием «Искусство программирования» 1975 Аллен Ньюэлл и Герберт Саймон Их общие усилия в течение двадцати лет, вначале совместно с Дж. К. Шоу, в составе корпорации RAND, впоследствии вместе с профессорско-преподавательским составом и студенческими группами университета Carnegie Mellon, ознаменовались фундаментальным вкладом в искусственный интеллект, психологию механизмов человеческого восприятия и обработку списков 1976 Майкл Рабин и Дана Скотт За их общую статью под названием «Конечные автоматы и проблема разрешимости для них», в которой была предложена идея недетерминированного автомата, концепции, доказавшей впоследствии свою исключительную ценность. Их, ставшая классической, статья послужила источником вдохновения для многих последующих работ в этой области 1977 Джон Бэкус За его глубокий, продолжительный и оказавший большое влияние вклад в проектирование практических высокоуровневых программных систем, в частности за его работу над языком FORTRAN, и его оригинальную публикацию по формализации спецификаций языков программирования 1978 Роберт Флойд За его несомненное влияние на методологию создания эффективного и надёжного программного обеспечения и за его помощь в становлении таких областей компьютерных наук как теория парсинга, семантика языков программирования, автоматическая верификация программ, автоматический синтез программ, и анализ алгоритмов 1979 Айверсон, Кеннет За его пионерскую работу в области языков программирования и математической записи, имеющую результатом то, что сейчас известно среди специалистов как 1980 Ч. Энтони Р. Хоар За его фундаментальный вклад в определение и разработку языков программирования 1981 Эдгар Кодд За его фундаментальный и продолжительный вклад в теорию и практику систем управления базами данных, в особенности реляционного типа 1982 Стивен Артур Кук За существенный прогресс, достигнутый им в понимании сложности вычислений. Его работа положила основу теории NP-полноты. Исследнование свойств и границ этого класса стало одним из важнейших направлений теории вычислительных систем за последние десять лет 1983 Кен Томпсон и Денис М. Ритчи За разработку общей теории операционных систем и в частности за создание Unix 1984 Никлаус Вирт За разработку серии инновационных компьютерных языков, ЭЙЛЕР, ALGOL-W, МОДУЛА и ПАСКАЛЬ 1985 Ричард М. Карп За его продолжительный вклад в теорию алгоритмов, в том числе за разработку эффективных алгоритмов для потоков на сетях и других комбинаторных оптимизационных задач, сопоставление вычислений полиномиальной сложности с интуитивным понятием эффективности, и, самое главное, за вклад в теорию NP-полноты 1986 Джон Хопкрофт и Роберт Тарьян За фундаментальные достижения в области разработки и анализа алгоритмов и структур данных 1987 Джон Кок За выдающийся вклад в проектирование и теорию компиляторов, архитектуру больших систем и разработку 1988 Айвен Сазерленд За его пионерский и дальновидный вклад в компьютерную графику, начиная от изобретения Sketchpadа, но не заканчивающегося им 1989 Уильям Кэхэн За его фундаментальный вклад в численный анализ. Один из первых экспертов в вычислениях с плавающей запятой. Кэхэн также посвятил себя задаче «сделать мир безопасным для численных расчётов» 1990 Фернандо Х. Корбато За его пионерскую работу по созданию концепции и управлению разработками по созданию общецелевых, крупномасштабных компьютерных систем с разделением времени и ресурсов CTSS и 1991 Робин Милнер За три различных полноценных достижения: 1) LCF прувер, автоматизирующий доказательства в логике вычислимых функций Скотта, по-видимому первый, инструмент автоматизированного конструирования доказательств, построенный на теоретическом фундаменте и при этом полезный на практике; 2) ML, первый язык программирования использующий полиморфный вывод типов вместе с типизированным механизмом обработкой ошибок; 3) CCS, общая теория конкурентных вычислений. Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками 1992 Батлер В. Лэмпсон За вклад в разработку распределённых, персональных вычислительных сред и технологию их реализации: рабочие станции, сети, операционные системы, программные системы, дисплеи, безопасность и обмен документами 1993 Юрис Хартманис и Ричард Э. Стернс В дань их основополагающим работам, обеспечившим базу теории сложности вычислений. 1994 Эдвард Фейгенбаум и Радж Редди За первопроходческие разработки и создание крупномасштабных систем искусственного интеллекта и демонстрацию практической важности и потенциальной коммерческой выгоды от технологий использующих искусственный интеллект 1995 Мануэль Блюм В дань его работам по основаниям теории сложности вычислений и её применению к криптографии и верификации программ 1996 Амир Пнуели За плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем 1997 Дуглас Энгельбарт За вдохновляющее предвидение будущего развития интерактивных вычислений и изобретение ключевых технологий помогающих это предвидение реализовать 1998 Джим Грей За основополагающие идеи в области баз данных, исследования обработки транзакций и техническое лидерство в реализации систем. 1999 Фредерик Ф. Брукс, Мл. За исторически значимый вклад в компьютерную архитектуру, операционные системы, и проектирование программного обеспечения. 2000 Эндрю Чи-Чи Яо В дань его фундаментальному вкладу в теорию вычислений, включающему, основанную на понятии сложности вычисления, теорию генерации псевдо-случайных чисел, криптографии, и коммуникационной сложности 2001 Уле-Йохан Даль и Кристен Нигаард За идеи, фундаментальные для развития объектно-ориентированного программирования, возникшие в ходе разработки языков программирования Simula I и Simula 67 2002 Рональд Л. Ривест, Шамир, Ади and Леонард М. Адлеман За уникальный вклад по увеличению практической пользы систем шифрования с открытым ключом 2003 Алан Кэй За многочисленные новаторские идеи, которые легли в основу современных объектно-ориентированных языков, руководство командой разработчиков языка ПК 2004 Винтон Серф и Роберт Кан За пионерскую работу по проблеме межсетевого обмена (англ. internetworking), включая разработку и реализацию основных Интернет-протоколов, TCP/IP и за ведущую роль в области компьютерных сетей 2005 Питер Наур За фундаментальный вклад в проектирование языков программирования и создание языка Алгол 60, а также в проектирование компиляторов, и в искусство и технику компьютерного программирования 2006 Френсис Э. Аллен За новаторский вклад в теорию и практику оптимизации компьютерных программ, послуживший основой для современных оптимизирующих компиляторов и автоматическому распаралелливанию программ 2007 Эдмунд М. Кларк, Аллен Эмерсон и Иосиф Сифакис За их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[2] 2008 Барбара Лисков За вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений. Тьюринговская лекция
По традиции, лауреат премии Тьюринга при вручении её выступает с докладом, именуемым «Тьюринговская лекция». В этой «лекции» обычно идёт речь о тех вопросах компьютерной науки, теории и практики использования вычислительной техники, которые лауреат считает достаточно важными, чтобы поделиться своим мнением о них с как можно большим числом специалистов.
См. также
Ссылки
Примечания
- ↑ 1 2 A. M. Turing Award. ACM. Проверено 5 ноября 2007.
- ↑ http://science.compulenta.ru/347274/
Wikimedia Foundation. 2010.
