Премия Тьюринга. Премии тьюринга


Премия Тьюринга — WiKi

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

ru-wiki.org

Премия Тьюринга - это... Что такое Премия Тьюринга?

Премия ежегодно вручается одному или нескольким специалистам в области информатики и вычислительной техники, чей вклад в этой области оказал сильное и продолжительное влияние на компьютерное сообщество[1].

Премия может быть присуждена одному человеку не более одного раза. В сфере информационных технологий премия Тьюринга имеет статус, аналогичный

в академических науках. Впервые Премия Тьюринга была присуждена в

.

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

Год Лауреат Причина присуждения 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011

По традиции, лауреат премии Тьюринга при вручении её выступает с докладом, именуемым «Тьюринговская лекция». В этой лекции обычно идёт речь о тех вопросах компьютерной науки, теории и практики использования вычислительной техники, которые лауреат считает достаточно важными, чтобы поделиться своим мнением о них с как можно большим числом специалистов.

Алан Дж. Перлис За его влияние в области обобщенных техник программирования и построения компиляторов
Морис Винсент Уилкс Профессор Уилкс более всего известен как проектировщик EDSAC, первого компьютера, допускающего внутреннее хранение программ. Построенный в 1949, EDSAC использовал память на линиях задержки. Он также известен, в соавторстве с Виллером и Гиллом как автор книги «Preparation of Programs for Electronic Digital Computers», 1951 года, в которой вводится важнейшее понятие библиотеки
Ричард Хэмминг За работы в области численных методов, систем автоматического кодирования, кодов определения и корректировки ошибок
Марвин Минский За пионерские работы по проблеме искусственного интеллекта
Джеймс Харди Уилкинсон За его исследования в области численного анализа, способствовавшие использованию высокоскоростных цифровых компьютеров, приобретшие особое значение в свете его работ по вычислениям в линейной алгебре и «обратному» анализу ошибок
Джон Мак-Карти Лекция доктора Мак-Карти «Современное состояние исследований по искусственному интеллекту» освещает состояние дел в области, которая обязана многими существенными успехами его работам
Эдсгер Дейкстра Эдсгеру Дейкстре принадлежит значительный вклад в конце 1950-х годов в разработку языка АЛГОЛ, язык программирования высокого уровня, ставший воплощением ясности и математической строгости. Он один из ярчайших представителей науки и искусства языков программирования во всей их общности, а также человек во многом способствовавший пониманию их структуры, представления и реализации. Его публикации в течение пятнадцати лет охватывают широкий спектр тем от теоретических статей по теории графов до базовых руководств, описаний и философских размышлений в области языков программирования
Чарльз Бахман За его выдающийся вклад в технологии баз данных
Дональд Кнут За его огромный вклад в анализ алгоритмов, разработку языков программирования, и в особенности за создание широко известной серии книг под общим названием «Искусство программирования»
Аллен НьюэллГерберт Саймон Их общие усилия в течение двадцати лет, вначале совместно с Дж. К. Шоу, в составе корпорации RAND, впоследствии вместе с профессорско-преподавательским составом и студенческими группами университета Карнеги — Меллон, ознаменовались фундаментальным вкладом в искусственный интеллект, психологию механизмов человеческого восприятия и обработку списков
Майкл РабинДана Скотт За их общую статью под названием «Конечные автоматы и проблема разрешимости для них», в которой была предложена идея недетерминированного автомата, концепции, доказавшей впоследствии свою исключительную ценность. Их, ставшая классической, статья послужила источником вдохновения для многих последующих работ в этой области
Джон Бэкус За его глубокий, продолжительный и оказавший большое влияние вклад в проектирование практических высокоуровневых программных систем, в частности за его работу над языком Фортран, и его оригинальную публикацию по формализации спецификаций языков программирования
Роберт Флойд За его несомненное влияние на методологию создания эффективного и надёжного программного обеспечения и за его помощь в становлении таких областей компьютерных наук как теория парсинга, семантика языков программирования, автоматическая верификация программ, автоматический синтез программ, и анализ алгоритмов
Айверсон, Кеннет За его пионерскую работу в области языков программирования и математической записи, имеющую результатом то, что сейчас известно среди специалистов как APL, за его вклад в реализацию интерактивных систем, использование APL в образовательных целях, а также в теорию и практику языков программирования
Ч. Энтони Р. Хоар За его фундаментальный вклад в определение и разработку языков программирования
Эдгар Кодд За его фундаментальный и продолжительный вклад в теорию и практику систем управления базами данных, в особенности реляционного типа
Стивен Артур Кук За существенный прогресс, достигнутый им в понимании сложности вычислений. Его работа положила основу теории NP-полноты. Исследование свойств и границ этого класса стало одним из важнейших направлений теории вычислительных систем за последние десять лет
Кен ТомпсонДенис М. Ритчи За разработку общей теории операционных систем и в частности за создание Unix
Никлаус Вирт За разработку серии инновационных компьютерных языков, Эйлер, Algol-W, Модула и Паскаль
Ричард М. Карп За его продолжительный вклад в теорию алгоритмов, в том числе за разработку эффективных алгоритмов для потоков на сетях и других комбинаторных оптимизационных задач, сопоставление вычислений полиномиальной сложности с интуитивным понятием эффективности, и, самое главное, за вклад в теорию NP-полноты
Джон ХопкрофтРоберт Тарьян За фундаментальные достижения в области разработки и анализа алгоритмов и структур данных
Джон Кок За выдающийся вклад в проектирование и теорию компиляторов, архитектуру больших систем и разработку RISC-компьютеров
Айвен Сазерленд За его пионерский и дальновидный вклад в компьютерную графику, начиная от изобретения Sketchpad, но не заканчивающегося им
Уильям Кэхэн За его фундаментальный вклад в численный анализ. Один из первых экспертов в вычислениях с плавающей запятой. Кэхэн также посвятил себя задаче «сделать мир безопасным для численных расчётов»
Фернандо Х. Корбато За его пионерскую работу по созданию концепции и управлению разработками по созданию общецелевых, крупномасштабных компьютерных систем с разделением времени и ресурсов CTSS и Multics
Робин Милнер За три различных полноценных достижения: 1) LCF, автоматизирующий доказательства в логике вычислимых функций Скотта, по-видимому первый, инструмент автоматизированного конструирования доказательств, построенный на теоретическом фундаменте и при этом полезный на практике; 2) ML, первый язык программирования использующий полиморфный вывод типов вместе с типизированным механизмом обработкой ошибок; 3) CCS, общая теория конкурентных вычислений. Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками
Батлер В. Лэмпсон За вклад в разработку распределённых, персональных вычислительных сред и технологию их реализации: рабочие станции, сети, операционные системы, программные системы, дисплеи, безопасность и обмен документами
Юрис ХартманисРичард Э. Стернс В дань их основополагающим работам, обеспечившим базу теории сложности вычислений.
Эдвард ФейгенбаумРадж Редди За первопроходческие разработки и создание крупномасштабных систем искусственного интеллекта и демонстрацию практической важности и потенциальной коммерческой выгоды от технологий использующих искусственный интеллект
Мануэль Блюм В дань его работам по основаниям теории сложности вычислений и её применению к криптографии и верификации программ
Амир Пнуели За плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем
Дуглас Энгельбарт За вдохновляющее предвидение будущего развития интерактивных вычислений и изобретение ключевых технологий помогающих это предвидение реализовать
Джим Грей За основополагающие идеи в области баз данных, исследования обработки транзакций и техническое лидерство в реализации систем.
Фредерик Ф. Брукс, Мл. За исторически значимый вклад в компьютерную архитектуру, операционные системы, и проектирование программного обеспечения.
Эндрю Чи-Чи Яо В дань его фундаментальному вкладу в теорию вычислений, включающему, основанную на понятии сложности вычисления, теорию генерации псевдо-случайных чисел, криптографии, и коммуникационной сложности
Уле-Йохан ДальКристен Нигаард За идеи, фундаментальные для развития объектно-ориентированного программирования, возникшие в ходе разработки языков программирования Simula I и Simula 67
Рональд Л. РивестАди ШамирЛеонард М. Адлеман За уникальный вклад по увеличению практической пользы систем шифрования с открытым ключом
Алан Кэй За многочисленные новаторские идеи, которые легли в основу современных объектно-ориентированных языков, руководство командой разработчиков языка Smalltalk и за фундаментальный вклад в развитие области ПК
Винтон СерфРоберт Кан За пионерскую работу по проблеме межсетевого обмена (англ. internetworking), включая разработку и реализацию основных Интернет-протоколов, TCP/IP и за ведущую роль в области компьютерных сетей
Питер Наур За фундаментальный вклад в проектирование языков программирования и создание языка Алгол 60, а также в проектирование компиляторов, и в искусство и технику компьютерного программирования
Френсис Э. Аллен За новаторский вклад в теорию и практику оптимизации компьютерных программ, послуживший основой для современных оптимизирующих компиляторов и автоматическому распаралелливанию программ
Эдмунд М. КларкАллен ЭмерсонИосиф Сифакис За их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[2]
Барбара Лисков За вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.
Чарльз Текер За новаторскую разработку и создание Альто, первого современного персонального компьютера, а также за его вклад в технологию Ethernet и развитие планшетных персональных компьютеров.
Лесли Вэлиант За вклад в теорию алгоритмов, включая приближенно правильное обучение (англ.), теорию сложности перечисления и алгебраичесих исчислений, а также теорию параллельных и распределённых вычислений.[3]
Джуда Перл За фундаментальный вклад в искусственный интеллект посредством разработки исчисления для проведения вероятностных и причинно-следственных рассуждений (англ. calculus for probabilistic and causal reasoning)[4]

dic.academic.ru

Премия Тьюринга, что такое, определение, новости, статьи, видео

Премия Тьюринга — престижная награда в области информатики. Присуждается старейшей (основана в 1947 году) Ассоциацией вычислительной техники (Association for Computing Machinery, ACM). Считается аналогом Нобелевской премии в области информатики. Названа в честь великого английского математика и криптографа Алана Тьюринга, который внес значительный вклад в развитие информатики. Тьюринг возглавлял группу по взлому кода знаменитой немецкой шифровальной машины «Энигма». Он разработал абстрактную модель универсальной вычислительной машины, частным случаем которой являются все современные ЭВМ, и концепцию искусственного интеллекта.

Премия ежегодно вручается одному или нескольким специалистам, чьи работы оказали сильное и продолжительное влияние на компьютерное сообщество. Одному человеку премия может быть присуждена не более одного раза.

Впервые премию Тьюринга вручили в 1966 году Алану Перлису за вклад в сферу обобщенных техник программирования и построения компиляторов. В 2015 году премии были удостоены Уитфилд Диффи и Мартин Хеллман за фундаментальный вклад в криптографию. В частности, они разработали алгоритм, который был опубликован еще в 1976 году. Он позволял двум сторонам получить общий секретный ключ, используя незащищенный от прослушивания, но защищенный от подмены канал связи. Этот ключ может быть использован для шифрования дальнейшего обмена данными с помощью алгоритма симметричного шифрования.

Существует также понятие «Тьюринговская лекция», с которой выступают лауреаты премии. Данный доклад они посвящают определенным вопросам в мире информатики, которые считают наиболее важными, либо раскрывают определенные аспекты своей работы.

С 2014 года размер премии увеличили с 250 тысяч до одного миллиона долларов. Спонсором премии является корпорация Google, ранее вместе с ней также выступала корпорация Intel.

Российским ученым премия ни разу не присуждалась.

Фото: ACM

indicator.ru

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

Материал из Википедии — свободной энциклопедии

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

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

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

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

По традиции, лауреат премии Тьюринга при вручении её выступает с докладом, именуемым «Тьюринговская лекция». В этой лекции обычно идёт речь о тех вопросах компьютерной науки, теории и практики использования вычислительной техники, которые лауреат считает достаточно важными, чтобы поделиться своим мнением о них с как можно большим числом специалистов.

Год Лауреат Причина присуждения
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]

umotnas.ru

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

Премия ежегодно вручается одному или нескольким специалистам в области информатики и вычислительной техники, чей вклад в этой области оказал сильное и продолжительное влияние на компьютерное сообщество. Премия может быть присуждена одному человеку не более одного раза. В сфере информационных технологий премия Тьюринга имеет статус, аналогичный Нобелевской премии в академических науках. Впервые Премия Тьюринга была присуждена в 1966 году Алану Перлису за развитие технологии создания компиляторов.

В настоящее время премия спонсируется корпорациями Intel и Google и составляет 250 000 долл. США.

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

www.tadviser.ru

Реферат Премия Тьюринга

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

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

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

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

Год Лауреат Причина присуждения 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010

По традиции, лауреат премии Тьюринга при вручении её выступает с докладом, именуемым «Тьюринговская лекция». В этой «лекции» обычно идёт речь о тех вопросах компьютерной науки, теории и практики использования вычислительной техники, которые лауреат считает достаточно важными, чтобы поделиться своим мнением о них с как можно большим числом специалистов.

Алан Дж. Перлис За его влияние в области обобщенных техник программирования и построения компиляторов
Морис Винсент Уилкс Профессор Уилкс более всего известен как проектировщик EDSAC, первого компьютера, допускающего внутреннее хранение программ. Построенный в 1949, EDSAC использовал память на линиях задержки. Он также известен, в соавторстве с Виллером и Гиллом как автор книги «Preparation of Programs for Electronic Digital Computers», 1951 года, в которой вводится важнейшее понятие библиотеки
Ричард Хэмминг За работы в области численных методов, систем автоматического кодирования, кодов определения и корректировки ошибок
Марвин Минский За пионерские работы по проблеме искусственного интеллекта
Джеймс Харди Уилкинсон За его исследования в области численного анализа, способствовавшие использованию высокоскоростных цифровых компьютеров, приобретшие особое значение в свете его работ по вычислениям в линейной алгебре и «обратному» анализу ошибок
Джон Мак-Карти Лекция доктора Мак-Карти «Современное состояние исследований по искусственному интеллекту» освещает состояние дел в области, которая обязана многими существенными успехами его работам
Эдсгер Дейкстра Эдсгеру Дейкстре принадлежит значительный вклад в конце 1950-х годов в разработку языка АЛГОЛ, язык программирования высокого уровня, ставший воплощением ясности и математической строгости. Он один из ярчайших представителей науки и искусства языков программирования во всей их общности, а также человек во многом способствовавший пониманию их структуры, представления и реализации. Его публикации в течение пятнадцати лет охватывают широкий спектр тем от теоретических статей по теории графов до базовых руководств, описаний и философских размышлений в области языков программирования
Чарльз Бахман За его выдающийся вклад в технологии баз данных
Дональд Кнут За его огромный вклад в анализ алгоритмов, разработку языков программирования, и в особенности за создание широко известной серии книг под общим названием «Искусство программирования»
Аллен Ньюэлл и Герберт Саймон Их общие усилия в течение двадцати лет, вначале совместно с Дж. К. Шоу, в составе корпорации RAND, впоследствии вместе с профессорско-преподавательским составом и студенческими группами университета Carnegie Mellon, ознаменовались фундаментальным вкладом в искусственный интеллект, психологию механизмов человеческого восприятия и обработку списков
Майкл Рабин и Дана Скотт За их общую статью под названием «Конечные автоматы и проблема разрешимости для них», в которой была предложена идея недетерминированного автомата, концепции, доказавшей впоследствии свою исключительную ценность. Их, ставшая классической, статья послужила источником вдохновения для многих последующих работ в этой области
Джон Бэкус За его глубокий, продолжительный и оказавший большое влияние вклад в проектирование практических высокоуровневых программных систем, в частности за его работу над языком FORTRAN, и его оригинальную публикацию по формализации спецификаций языков программирования
Роберт Флойд За его несомненное влияние на методологию создания эффективного и надёжного программного обеспечения и за его помощь в становлении таких областей компьютерных наук как теория парсинга, семантика языков программирования, автоматическая верификация программ, автоматический синтез программ, и анализ алгоритмов
Айверсон, Кеннет За его пионерскую работу в области языков программирования и математической записи, имеющую результатом то, что сейчас известно среди специалистов как APL, за его вклад в реализацию интерактивных систем, использование APL в образовательных целях, а также в теорию и практику языков программирования
Ч. Энтони Р. Хоар За его фундаментальный вклад в определение и разработку языков программирования
Эдгар Кодд За его фундаментальный и продолжительный вклад в теорию и практику систем управления базами данных, в особенности реляционного типа
Стивен Артур Кук За существенный прогресс, достигнутый им в понимании сложности вычислений. Его работа положила основу теории NP-полноты. Исследнование свойств и границ этого класса стало одним из важнейших направлений теории вычислительных систем за последние десять лет
Кен Томпсон и Денис М. Ритчи За разработку общей теории операционных систем и в частности за создание Unix
Никлаус Вирт За разработку серии инновационных компьютерных языков, ЭЙЛЕР, ALGOL-W, МОДУЛА и ПАСКАЛЬ
Ричард М. Карп За его продолжительный вклад в теорию алгоритмов, в том числе за разработку эффективных алгоритмов для потоков на сетях и других комбинаторных оптимизационных задач, сопоставление вычислений полиномиальной сложности с интуитивным понятием эффективности, и, самое главное, за вклад в теорию NP-полноты
Джон Хопкрофт и Роберт Тарьян За фундаментальные достижения в области разработки и анализа алгоритмов и структур данных
Джон Кок За выдающийся вклад в проектирование и теорию компиляторов, архитектуру больших систем и разработку RISC-компьютеров
Айвен Сазерленд За его пионерский и дальновидный вклад в компьютерную графику, начиная от изобретения Sketchpadа, но не заканчивающегося им
Уильям Кэхэн За его фундаментальный вклад в численный анализ. Один из первых экспертов в вычислениях с плавающей запятой. Кэхэн также посвятил себя задаче «сделать мир безопасным для численных расчётов»
Фернандо Х. Корбато За его пионерскую работу по созданию концепции и управлению разработками по созданию общецелевых, крупномасштабных компьютерных систем с разделением времени и ресурсов CTSS и Multics
Робин Милнер За три различных полноценных достижения: 1) LCF прувер, автоматизирующий доказательства в логике вычислимых функций Скотта, по-видимому первый, инструмент автоматизированного конструирования доказательств, построенный на теоретическом фундаменте и при этом полезный на практике; 2) ML, первый язык программирования использующий полиморфный вывод типов вместе с типизированным механизмом обработкой ошибок; 3) CCS, общая теория конкурентных вычислений. Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками
Батлер В. Лэмпсон За вклад в разработку распределённых, персональных вычислительных сред и технологию их реализации: рабочие станции, сети, операционные системы, программные системы, дисплеи, безопасность и обмен документами
Юрис Хартманис и Ричард Э. Стернс В дань их основополагающим работам, обеспечившим базу теории сложности вычислений.
Эдвард Фейгенбаум и Радж Редди За первопроходческие разработки и создание крупномасштабных систем искусственного интеллекта и демонстрацию практической важности и потенциальной коммерческой выгоды от технологий использующих искусственный интеллект
Мануэль Блюм В дань его работам по основаниям теории сложности вычислений и её применению к криптографии и верификации программ
Амир Пнуели За плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем
Дуглас Энгельбарт За вдохновляющее предвидение будущего развития интерактивных вычислений и изобретение ключевых технологий помогающих это предвидение реализовать
Джим Грей За основополагающие идеи в области баз данных, исследования обработки транзакций и техническое лидерство в реализации систем.
Фредерик Ф. Брукс, Мл. За исторически значимый вклад в компьютерную архитектуру, операционные системы, и проектирование программного обеспечения.
Эндрю Чи-Чи Яо В дань его фундаментальному вкладу в теорию вычислений, включающему, основанную на понятии сложности вычисления, теорию генерации псевдо-случайных чисел, криптографии, и коммуникационной сложности
Уле-Йохан Даль и Кристен Нигаард За идеи, фундаментальные для развития объектно-ориентированного программирования, возникшие в ходе разработки языков программирования Simula I и Simula 67
Рональд Л. Ривест, Ади Шамир и Леонард М. Адлеман За уникальный вклад по увеличению практической пользы систем шифрования с открытым ключом
Алан Кэй За многочисленные новаторские идеи, которые легли в основу современных объектно-ориентированных языков, руководство командой разработчиков языка Smalltalk и за фундаментальный вклад в развитие области ПК
Винтон Серф и Роберт Кан За пионерскую работу по проблеме межсетевого обмена (англ. internetworking), включая разработку и реализацию основных Интернет-протоколов, TCP/IP и за ведущую роль в области компьютерных сетей
Питер Наур За фундаментальный вклад в проектирование языков программирования и создание языка Алгол 60, а также в проектирование компиляторов, и в искусство и технику компьютерного программирования
Френсис Э. Аллен За новаторский вклад в теорию и практику оптимизации компьютерных программ, послуживший основой для современных оптимизирующих компиляторов и автоматическому распаралелливанию программ
Эдмунд М. Кларк, Аллен Эмерсон и Иосиф Сифакис За их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[2]
Барбара Лисков За вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.
Чарльз Текер За новаторскую разработку и создание Альто, первого современного персонального компьютера, а также за его вклад в технологию Ethernet и развитие планшетных персональных компьютеров.
Лесли Вэлиант За вклад в теорию алгоритмов, включая приближенно правильное обучение (англ.), теорию сложности перечисления и алгебраичесих исчислений, а также теорию параллельных и распределённых вычислений.[3]

wreferat.baza-referat.ru

Как получить премию Тьюринга? | Техника и Интернет

Еще две Нобелевских премии вручают за свершения в гуманитарных областях: за достижения в области литературы и за усилия, прилагаемые в борьбе против войн на планете.

Начиная с 1969 года, одновременно с перечисленными пятью премиями вручается еще одна — за достижения в области экономики. Деньги для фонда, из которого выплачивается эта премия, выделены Государственным банком Швеции. Поэтому премию по экономике называют не Нобелевской, а премией памяти Нобеля.

Утверждение еще одной нобелевской номинации стало прецедентом, позволившим расширить круг полезных наук и искусств, представляемых к награждению самой знаменитой в мире премией. Но правление Нобелевского фонда решило не добавлять себе работы и «заморозило» дальнейшее увеличение количества номинаций.

Впрочем, число благотворителей, которые хотели, по примеру Нобеля, своими деньгами способствовать развитию науки и культуры, не уменьшалось. Поэтому в настоящее время во многих областях науки и культуры имеются свои престижные премии, которые иногда называют аналогами «Нобелевки». Наградной фонд этих премий иной раз больше Нобелевского фонда.

Так, для ученых, добившихся больших достижений в области компьютерных наук, в 1966 году была учреждена премия Тьюринга. Учредителем этой премии стала старейшая, наиболее влиятельная и самая крупная международная организация в компьютерной области — Ассоциация вычислительной техники. Спонсором премии Тьюринга является компания Google, а ее премиальный фонд составляет 1 миллион долларов. Необычная фотография. Алан Тьюринг завершает марафонский пробегФото: Источник

Про Аллана Тьюринга (Alan Mathison Turing; 1912 —1954) был снят художественный фильм «Игра в имитацию». Фильм интересный. Еще бы, не быть ему интересным! Расшифровка кода немецкой шифровальной машины «Энигма» — пожалуй, самый увлекательный эпизод из жизни А. Тьюринга. И один из немногих эпизодов Второй мировой войны, когда миллионы жизней были спасены не силой оружия, а силой логики и остротой ума.

Прообразом «Энигмы» являлась электромеханическая шифровальная машина, придуманная в начале 1920-х годов в Германии. Изобретатель предполагал использовать такие машины для шифровки банковской переписки. Но очень скоро это изобретение оценили военные и стали применять аналогичные устройства для шифрования сообщений как на оперативном уровне (батальон, полк, дивизия), так и на уровне Генерального штаба.

Собственно, шифровальная машина представляла собой электрическую клавиатуру, подсоединенную через электрическую коммутационную панель к блоку дисков. Количество дисков в блоке было различным для разных моделей и изменялось от трех до восьми. Та самая шифровальная машина Та самая шифровальная машина «Энигма»Фото: Источник

Электрическая коммуникационная панель «перепутывала» в определенном порядке сигналы, поступавшие с клавиатуры. Благодаря ей при нажатии на какую-нибудь клавишу вырабатывался сигнал, соответствующий совсем другой клавише. Этот «неправильный» сигнал поступал на шифрующие диски.

Блок дисков обеспечивал сложные перестановки букв передаваемого сообщения. Один диск совершал в определенном порядке попарную перестановку всех букв алфавита, следующий производил еще одну перестановку, следующий — еще… То, какой сигнал появится на выходе блока шифрующих дисков при известном входном сигнале, можно было определить, только зная взаимные положения всех дисков. Таблица соответствия выходных и входных сигналов называлась ключом шифра. Задача дешифровщиков состояла в определении ключа. Необычный памятник А. Тьюрингу в Блетчли-парк, где он работал во время Второй мировой войны Фото: Источник

При этом любое изменение взаимного положения шифрующих дисков радикально изменяло ключ. Как следствие, всю уже проделанную работу по дешифровке следовало начинать сначала. Немцы регулярно меняли положение дисков. Непосредственно перед изменением об этом сообщали корреспонденту, чтобы и он тоже смог правильно установить диски своей шифровальной машины. После чего секретная переписка могла продолжаться.

Обычно замена ключа производилась в начале суток. Но иногда положение дисков меняли для передачи только одного сообщения. Вообще сообщения старались передавать короткие, чтобы при перехвате в руки дешифровальщиков не попало достаточной информации для расшифровки.

«Война шифров» шла параллельно с реальными боевыми действиями. С началом Второй мировой войны немецкие подводные лодки попытались отрезать Британские острова от стран-союзников и от колоний. Они топили военные и транспортные суда Великобритании. Связь между базами и подводными лодками поддерживалась с помощью шифровальных машин «Энигма». Таким образом, взлом немецких шифров стал для англичан жизненно важной задачей.

А. Тьюринг решил эту задачу. Он разработал алгоритм перебора вариантов, который позволял расшифровывать перехватываемые шифровки. На основе этого алгоритма было построено первое электромеханическое счетное устройство, которое по заранее заданной программе производило необходимый перебор вариантов и делало это гораздо быстрее человека.

Принцип счетной машины, работающей по заранее заданной программе, был разработан А. Тьюрингом еще до войны. В 1936 году он формализовал понятие алгоритма. И придумал абстрактную вычислительную машину, которую с тех пор так и называют — «Машиной Тьюринга». Она построена так, чтобы производить любые вычисления по заранее заданной программе. Машина Тьюринга — универсальная модель компьютера общего назначения. Вот уже не менее 70 лет счетные машины, работающие по принципу, который предложил Алан Тьюринг, делают наш разум во много раз сильнее и производительнее. СуперкомпьютерСуперкомпьютерФото: pixabay.com

Сами компьютеры тоже значительно «поумнели». Искусственный интеллект из области фантастики и философских рассуждений переместился в сферу практики. И, кстати, именно А. Тьюринг первый задумался над вопросом «Может ли машина мыслить?» В 1950 году он опубликовал статью под таким названием.

Естественно, под термином «машина» имеется в виду машина Тьюринга, то есть идеальный прообраз компьютеров. И Тьюринг поставил вопрос следующим образом: можно ли запрограммировать компьютер так, чтобы никакой сторонний наблюдатель не смог по результатам работы отличить, кто эту работу выполнил — человек или вычислительная машина. Ответ на этот вопрос дается положительный. То есть искусственный интеллект — не придумка фантастов, а вполне достижимая реальность.

Премией Тьюринга награждают как раз тех, кто, приближая эту реальность, трудится в области информатики. Среди лауреатов премии Тьюринга — разработчики компиляторов с «древних» и славных языков программирования, Алгол и Фортран. Языки программирования сделали профессию программиста массовой. С их помощью написать программу для компьютера мог каждый. Создатели новых языков программирования также попали в число лауреатов премии.

Лауреатами премии Тьюринга стали и те, кто придумал и обустроил Интернет. Высокую награду получили изобретатели главного протокола Интернета — TCP/IP. Тим Бернерс-Ли, который придумал протокол обмена мультимедийной информацией, благодаря чему появились интернет-браузеры, получил премию Тьюринга в 2016 году.

Тим Бернерс-ЛиТим Бернерс-ЛиФото: wikipedia.org

Среди лауреатов этой престижнейшей премии — криптографы, которые придумали систему шифрования с открытым ключом. Эта система — основа современной компьютерной криптографии, благодаря которой стал возможен обмен секретной информации по открытым сетям Интернет.

Премия Тьюринга — очень уважаемая награда среди дерзких погонщиков микропроцессоров. Тех, благодаря кому время в который раз ускорилось, уплотнилось, и мы получили реальную возможность прожить не одну жизнь, а сразу несколько.

Что еще почитать по теме?

Что такое премия Дарвина?Литература. Что может быть лучше Нобелевской премии?Почему не присуждается Нобелевская премия в области математики?

shkolazhizni.ru


Читайте также
  • Гиперскоростная звезда – более 1.000.000 миль в час
    Гиперскоростная звезда – более 1.000.000 миль в час
  • Астрономы обнаружили самую большую спиральную галактику
    Астрономы обнаружили самую большую спиральную галактику
  • Млечный путь содержит десятки миллиардов планет, схожих с Землей
    Млечный путь содержит десятки миллиардов планет, схожих с Землей
  • Млечный путь разорвал своего спутника на четыре отдельных хвоста
    Млечный путь разорвал своего спутника на четыре отдельных хвоста
  • Найден источник водородных газов для нашей Галактики
    Найден источник водородных газов для нашей Галактики