Премии тьюринга: Премия Тьюринга — frwiki.wiki

Премия Тьюринга — frwiki.wiki

Для одноименных статей см. Turing .

Премия Тьюринга или ACM Turing Award в честь Алана Тьюринга (1912-1954) вручается каждый год с 1966 года человеку, выбранному за его вклад технического характера в ИТ- сообщество . Вклады должны иметь большое техническое и непреходящее значение в области ИТ.

Резюме

• 1 Организация и финансирование
• 2 лауреата
• 3 Общие замечания
• 4 Примечания и ссылки
• 5 См. Также
  • 5.1 Внешние ссылки

Организация и финансирование

Награда вручается Ассоциацией вычислительной техники (ACM).

Эта награда учреждена Лабораторией стратегических технологий и архитектурных исследований InterTrust Technologies Corporation (STAR ​​Lab) . Иногда его считают эквивалентом Нобелевской премии по информатике. С 2007 по 2013 год победителю этой премии была присуждена сумма в 250 000 долларов США  (часть из которых была предложена Intel и Google ).

С 2014 года присуждаемая сумма составляет 1 миллион долларов, предложенных Google .

Лауреаты

Список лауреатов

Год	Имя (а)	Мотивация (и)
1966 г.	Алан Дж. Перлис ( США )	Построение компиляторов .
1967	Морис Уилкс ( Великобритания )	Программная библиотека .
1968 г.	Ричард Хэмминг ( США )	Численные методы, системы автоматического кодирования, обнаружение и исправление ошибок .
1969 г.	Марвин Мински ( США )	Искусственный интеллект .
1970 г.	Джеймс Х. Уилкинсон ( Соединенное Королевство )	Численный анализ, линейная алгебра, обратный анализ ошибок.
1971 г.	Джон Маккарти ( США )	Искусственный интеллект .
1972 г.	Эдсгер Дейкстра ( Нидерланды )	Наука и искусство языков программирования, язык АЛГОЛ .
1973	Чарльз Бахман ( США )	Базы данных технологий .
1974 г.	Дональд Кнут ( США )	Анализ алгоритмов и проектирование языков программирования
1975 г.	Аллен Ньюэлл ( США ) и Герберт А. Саймон ( США )	Искусственный интеллект , психология человеческого понимания, обработка списков.
1976 г.	Майкл Рабин ( Израиль ) и Дана С. Скотт ( США )	Недетерминированная машина. См. Недетерминированную машину Тьюринга .
1977 г.	Джон Бэкус ( США )	Системы программирования высокого уровня, формальные процедуры спецификации языков программирования, язык FORTRAN .
1978 г.	Роберт Флойд ( США )	Методологии создания эффективного и надежного программного обеспечения.
1979 г.	Кеннет Айверсон ( Канада )	Языки программирования и математическая нотация, реализация интерактивных систем, использование APL в образовательных целях, теория и практика языка программирования.
1980 г.	Чарльз А.Р. Хоар ( Соединенное Королевство )	Определение и дизайн языков программирования.
девятнадцать восемьдесят один	Эдгар Фрэнк Кодд ( Великобритания )	Системы управления базами данных , в частности реляционные базы данных.
1982 г.	Стивен Кук ( США )	Сложность компьютерного расчета.
1983 г.	Кеннет Томпсон ( США ) и Деннис Ричи ( США )	Теория операционных систем , реализация системы UNIX .
1984	Никлаус Вирт ( Швейцария )	Разработка языков EULER , Algol W , MODULA и PASCAL .
1985 г.	Ричард Карп ( США )	Теория алгоритмов, NP-полнота.
1986 г.	Джон Хопкрофт ( США ) и Роберт Тарджан ( США )	Создание и анализ структур данных.
1987 г.	Джон Кок ( США )	Теория компиляторов, архитектура мэйнфреймов, изобретение архитектур RISC .
1988 г.	Иван Сазерленд ( США )	Компьютерное проектирование (САПР).
1989 г.	Уильям Кахан ( Канада )	Численный анализ.
1990 г.	Фернандо Корбато ( США )	Распределенные приложения, создание CTSS и Multics .
1991 г.	Робин Милнер ( Великобритания )	Система формальных доказательств Логика для вычислимых функций  (en) , ML , Calcul de systems communants (CCS)  (en) .
1992 г.	Батлер Лэмпсон ( США )	Персональные распределенные среды.
1993 г.	Юрис Хартманис ( США ) и Ричард Стернс ( США )	Теория сложности (теоретическая информатика) .
1994 г.	Эдвард Фейгенбаум ( США ) и Радж Редди ( Индия )	Крупномасштабные системы искусственного интеллекта.
1995 г.	Мануэль Блюм ( Венесуэла )	Теория сложности применяется к криптографии и верификации программ.
1996 г.	Амир Пнуели ( Израиль )	Временная логика и проверка программ и систем.
1997 г.	Дуглас Энгельбарт ( США )	Интерактивные вычисления.
1998 г.	Джеймс Грей ( США )	Базы данных и обработка транзакций.
1999 г.	Фредерик Брукс ( США )	Компьютерная архитектура, операционные системы и программное обеспечение.
2000 г.	Эндрю Яо ( Китай )	Теория вычислимости, генерация псевдослучайных чисел, криптография и сложность связи .
2001 г.	Оле-Йохан Даль ( Норвегия ) и Кристен Найгаард ( Норвегия )	Объектно-ориентированное программирование и создание языков Simula I и Simula 67 .
2002 г.	Рональд Л. Ривест ( США ), Ади Шамир ( Израиль ) и Леонард М. Адлеман ( США )	Криптография с открытым ключом и система RSA .
2003 г.	Алан Кей ( США )	Объектно-ориентированное программирование и создание языка Smalltalk .
2004 г.	Винтон Дж. Серф ( США ) и Роберт Э. Кан ( США )	Сети, TCP / IP .
2005 г.	Питер Наур ( Дания )	За фундаментальный вклад в разработку языков программирования и определение Algol 60, за разработку компиляторов, а также за искусство и практику компьютерного программирования .
2006 г.	Фрэнсис Аллен ( США )	Оптимизация компиляторов.
2007 г.	Эдмунд М. Кларк ( США ), Аллен Эмерсон ( США ) и Джозеф Сифакис ( Греция / Франция )	За работу по проверке моделей .
2008 г.	Барбара Лисков ( США )	Для разработки языков программирования и полиморфной методологии.
2009 г.	Чарльз П. Такер ( США )	За работу, проделанную на протяжении всей его карьеры, включая Xerox Alto .
2010 г.	Лесли Валиант ( Великобритания )	Для работы в обучении (в частности, обучении PAC ), в теории сложности , в распределенных и параллельных вычислениях .
2011 г.	Judea Pearl ( Израиль / США )	За фундаментальный вклад в искусственный интеллект за счет развития вероятностного анализа и причинно-следственных связей .
2012 г.	Сильвио Микали ( Италия / США ) и Шафи Гольдвассер ( Израиль / США )	За основополагающую работу по криптологии и проверке доказательств, основанную на теории сложности . В частности, введение интерактивных систем доказательства (что привело к теореме PCP ).
2013	Лесли Лэмпорт ( США )	За его фундаментальный теоретический и прикладной вклад в распределенные и параллельные системы, в частности за изобретение таких понятий, как причинность и логические часы, […] и последовательная согласованность.
2014 г.	Майкл Стоунбрейкер ( США )	Фундаментальный вклад в системы управления базами данных ( СУБД ). Изобретатель PostgreSQL .
2015 г.	Уитфилд Диффи ( США ) и Мартин Хеллман ( США )	За вклад в современную криптографию (создателей асимметричной криптографии ).
2016 г.	Тим Бернерс-Ли ( Великобритания )	Для изобретая World Wide Web , первый веб — браузер и протоколов и алгоритмов для масштабирования веб — страниц.
2017 г.	Дэвид Паттерсон ( США ) и Джон Хеннесси ( США )	За новаторский систематический и количественный подход к проектированию и оценке компьютерных архитектур с долгосрочным влиянием на микропроцессорную промышленность.
2018 г.	Ян Ле Кун ( Франция ), Йошуа Бенжио ( Канада ) и Джеффри Хинтон ( Канада )	За концептуальные и технические достижения, которые сделали глубокие нейронные сети важным компонентом вычислений.
2019 г.	Патрик Ханрахан ( США ) и Эдвин Кэтмелл ( США )	За фундаментальный вклад в трехмерную компьютерную графику и революционное влияние этих методов на цифровые спецэффекты в кинопроизводстве и других приложениях.
2020 г.	Альфред Ахо ( Канада ) и Джеффри Уллман ( США )	За фундаментальные алгоритмы и теорию, лежащие в основе реализации языков программирования, и за синтез этих и других результатов в их очень влиятельных книгах, которые подготовили поколения специалистов по информатике.

Основные пометки

Премия неоднократно вручалась американским исследователям. Гедель премия и Дональд Е. Кнут премия являются две премиями присужденной ACM признать работу в области компьютерной науки.

Примечания и ссылки

1. ↑ (in) Уильям Л. Хош, «  Премия Тьюринга  » на Британнике (по состоянию на 13 апреля 2014 г. ) .
2. ↑ (in) «  Премия AM Тьюринга  » на acm.org (по состоянию на 13 апреля 2014 г. ) .
3. ↑ «  Янн ЛеКун, со-лауреат премии Тьюринга  », La Croix ,8 апреля 2019 г.,( ISSN  0242-6056 , читать онлайн , консультация 30 января 2020 г. )
4. ↑ Технология Таймс , «  Google„ПРЕВРАЩАЕТСЯ Нобелевской премии“Информатики в $ 1 миллион  премии, » Технология Таймс ,14 ноября 2014 г.( читайте онлайн , консультация 10 января 2018 г. )
5. ↑ «  Продление периода консультаций по политике управления данными исследований.  » Об исследовательском совете по естественным наукам и инженерным исследованиям Канады (NSERC) (по состоянию на 19 августа 2020 г. ) .
6. ↑ Премия Тьюринга 2013 .
7. ↑ Премия Тьюринга 2014 .
8. ↑ «  Пионер криптографии Уитфилд Диффи получает премию ACM AM Turing 2015  » на ACM .
9. ↑ «  Пионер криптографии Мартин Хеллман получил премию ACM AM Turing 2015  » на ACM .
10. ↑ Сэр Тим Бернерс-Ли, изобретатель Всемирной паутины, ACM AM Turing Award
11. ↑ [Израиль 2018] (In) Бретт Исраэль, «  Дэвид Паттерсон, пионер современной компьютерной архитектуры, получает премию Тьюринга  » [«Дэвид Паттерсон, пионер современной вычислительной архитектуры, награжден премией Тьюринга»], Berkeley News , Калифорнийский университет в Беркли ,21 марта 2018 г. ( читать онлайн )
12. ↑ «  Янн ЛеКун, лауреат премии Тьюринга:« ИИ продолжает добиваться огромных успехов »  », Le Monde ,27 марта 2019 г.,( читайте онлайн , консультация 27 марта 2019 г. )
13. ↑ (in) «  Лауреаты премии ACM AM Turing Award 2019  » на сайте awards.acm.org (по состоянию на 22 марта 2020 г. ) .
14. ↑ (in) «  Лауреаты премии ACM AM Turing 2020  » на awards.acm.org ,31 марта 2021 г.(доступ на 1 — ^е апреля 2021 года ) .

Смотрите также

Внешние ссылки

• (ru) Официальный сайт
• Статья на сайте CNRS

<img src=»//fr. wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1×1″ alt=»» title=»»>

Премию Тьюринга за 2019 год присудили за компьютерную графику

Ассоциация вычислительной
техники объявила лауреатов премии Тьюринга за 2019 год — ими стали американцы Патрик
Ханрахан (Patrick Hanrahan) и Эдвин Кэтмелл (Edwin Catmull). Награду за
выдающиеся достижения в области информатики получили исследователи,
разработавшие новаторские методы компьютерной графики, которые сегодня
повсеместно используются в кинематографе, говорится на официальном сайте
премии.

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

Премия Тьюринга вручается
с 1966 года одному или нескольким специалистам. В XXI веке награду стали спонсировать крупные компании в сфере информационных
технологий, такие как Intel и Google. Благодаря их
поддержке с 2007 года лауреаты стали получать дополнительные денежные призы в
размере 250 тысяч долларов США, а с 2014 года эта сумма увеличилась до одного
миллиона долларов.

За прошедшие годы
лауреатами становились многие известные исследователи, такие как Дональд Кнут и
Тим Бернерс-Ли. В прошлом году награда досталась основоположникам современных
архитектур искусственных нейросетей. Часто награду называют аналогом
Нобелевской премии для информатики.

В текущем году награду
получили Патрик Ханрахан и Эдвин Кэтмелл — ключевые фигуры в истории
американской киностудии Pixar, занимающейся созданием анимационных видеофильмов
и компьютерных спецэффектов. Кэтмелл был одним из основателей компании, а Ханрахан
стал одним из первых сотрудников в 1986 году. Они получили премию «за
фундаментальный вклад в трехмерную компьютерную графику и революционное влияние
соответствующих разработок на генерацию изображений компьютером в области
кинематографа и других приложениях».

Кэтмелл получил PhD по информатике в
Университете штата Юта в 1974 году, одним из его научных руководителей был
основоположник области компьютерной графики Айван Сазерленд, также лауреат
премии Тьюринга за 1988 год. В диссертации Кэтмелл вместо полигонов ввел
принципиально новое описание искривленных областей, что привело к появлению
двух новых методов: Z-буферизации и текстурированию. Первый позволяет работать
с глубиной изображения в компьютерной графике, а второй ставит в соответствие
трехмерные объекты и двумерные изображения.

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

Одним из первых анимационных
фильмов, созданных с полноценным использованием технологий трехмерной графики,
стала «История игрушек» 1995 года. Все соответствующие методы были придуманы несколькими годами ранее, но вычислительной мощности компьютеров до этого не
хватало для полномасштабного применения. В целом программы Pixar использовались при создании 44 из 47 номинантов
на премию «Оскар» за лучшие визуальные эффекты, в том числе «Титаника», «Аватара»,
«Властелина колец» и эпизодов I-III саги «Звездные войны».

В области компьютерной графики есть и другие актуальные разработки. Так, ранее исследователи представили алгоритм для описания трехмерных моделей несколькими линиями, применили нейросети для создания реалистичных 3D-моделей местности и научили нейросеть превращать 2D-картинки в 3D-модели на основе поверхности объектов.

Тимур Кешелава

Нашли опечатку? Выделите фрагмент и нажмите Ctrl+Enter.

Тьюринг Компани | Раскрытие неиспользованного человеческого потенциала мира

Наша миссия — раскрыть неиспользованный человеческий потенциал мира

Кто мы, что мы делаем, как мы это делаем и все остальное о нас.

Что такое Тьюринг?

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

Чем занимается Тьюринг?

Мы делаем процесс удаленного найма простым и полезным как для компаний, так и для разработчиков. С Turing компании могут нанять предварительно проверенных специалистов по удаленному программированию уровня Силиконовой долины, обладающих более чем 100 навыками, за 3-5 дней. Мы также демократизируем возможности для удаленных разработчиков со всего мира, предлагая им высококачественную работу по программному обеспечению в ведущих фирмах США.

Как работает Тьюринг?

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

Turing At a Glance

100% удаленная компания

2 миллионов+

разработчики

150+

Страны представлены

300+

1005

Доступны

9%

1005

. получить разработчиков в течение 3-5 дней

Пало-Альто

Штаб-квартира

Разработчики Turing

Лучшие разработчики говорят о преимуществах работы с Turing.com от лучшей зарплаты до карьерного роста.

Консультативный совет Turing

Текущие члены консультативного совета Turing включают Ашу Гарг, GP в Foundation Capital, GM в Microsoft; Сумир Чадха, управляющий директор WestBridge, инвестор Cognizant, GlobalLogic; Адам Анджело, генеральный директор Quora и первый технический директор Facebook; Беруд Шет, соучредитель и генеральный директор Gupshup и основатель Upwork; Гокул Раджарам, советник и член правления DoorDash, Coinbase и Pinterest; Циан Баннистер, основатель Bannister Capital; Маник Гупта, бывший CPO Uber и ангел-инвестор. Консультативный совет предоставляет стратегические советы и рекомендации управленческой команде Тьюринга.

Ашу Гарг

GP в Фонде
Капитал, GM в
Microsoft

Sumir Chadha

MD в WestBridge,
Инвестор в
Знающий,
GlobalLogic

Адам Д’Анджело

Генеральный директор Quora,
первый
Технический директор

Бееруд Шет

Основатель Upwork,
Соучредитель и генеральный директор,
Гупшуп

Гокул Раджарам

Советник, Правление
Участник DoorDash,
коинбейс,
и Pinterest

Cyan Banister

Основатель,
Баннистер Капитал

Маник Гупта

Бывший начальник отдела производства
Сотрудник Uber

Хронология Turing

2021

MarchTuring включен в ежегодный список самых инновационных компаний мира Fast Company за 2021 год.

июньКоличество регистраций разработчиков на Turing достигает 500 тысяч.

ОктябрьКоличество разработчиков, подписавшихся на Turing, достигло 1 миллиона.

Декабрь Тьюринг становится единорогом, собирает более 140 миллионов долларов.

Тьюринг в новостях

Пресса

Что случилось с Тьюрингом?
Получайте последние новости о нас здесь.

Блог

Узнайте больше об удаленной работе.
Ознакомьтесь с нашим блогом здесь.

Карьера

Откройте для себя захватывающие возможности и работайте
с лучшими умами Силиконовой долины.

Нанимайте удаленных разработчиков и управляйте ими

Расскажите нам, какие навыки вам нужны, и мы найдем для вас лучшего разработчика за несколько дней, а не недель.

Найм разработчиков

Группы стоимости жизни — Схема Тьюринга

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

Размер финансирования, предоставляемого на покрытие стоимости жизни для каждого участника, будет варьироваться в зависимости от сектора и страны/территории назначения.

Страны/территории назначения будут разделены на три категории:

Группа 1 (высокая стоимость жизни)

• American Samoa

• Австралия

• Bahamas

• Барбадос

• Бермуда

• Канада

• Острова Cayman

• Острова Кук, Токель и NIUE

• • Куба

• Израиль

• Япония

• Кирибати

• Новая Каледония

• Новая Зеландия

• Северная Америка, не указанная иначе,

• Papua New Guinea

• Puerto Rico

• Samoa

• Острова Соломон

• Switzerland

• Turks и Caicos Islands

• USA

• Turks и Caicos Islands

• ATSA

. • • Вануату

• Венесуэла

Группа 2 (средняя стоимость жизни)

• Африка, не указано иное

• Андорра

• Антарктида и Океания, не указано иное

• Antigua и Barbuda

• Австрия

• Бельгия

• Белиз

• Бразилия

• Территория Британского Индийского океана

• Британские Виргинские острова

• Болгария

• Острова Канэри

• CARIBBEAN. указан

• Центральная Америка, не указано иное

• Кот-д’Ивуар

• Хорватия

• Кюрасао

• Кипр

• Чехия

• Дания

• Египет

• Эстония

• Европа не указана иначе

• Европейский союз не указан

• Фолклендские острова

• Острова Фарея

• Финляндия

• France

9000 2 • Француз

.

• Германия

• Гибралтар

• Греция

• Гонконг

• Гонконг

• Венгрия

• Исландия

• Ирландия

• Италия

• Laos

• Latvia

• Liechtenstein

• Lithuania

• Luxembourg

• Malta

• Martinique

• Monaco

• Netherlands

• Northue 9000. • Northla

• Northla

• Northue

• Norhlay

• Nother Horway 9000. Палестинские территории

• Польша

• Португалия

• Румыния

• Сербия

• Словакия

• Словения

• Южная Георгия и Южные Сандвичевы острова

• Южная Корея

• Испания

• Святой Киттс и Невис

• Св. Люсия

• Сент -Винсент и Гренадины

• Svalbard и Jan Mayen

• Sweden

• Turkey

• Uruguay

• Sweden

•

Группа 3 (низкая стоимость жизни)

•Афганистан

•Албания

•Алжир

•Ангола

•Аргентина

•Армения

•Азербайджан

• Bahrain

• Bangladesh

• Belarus

• Benin

• Bhutan

• Bolivia

• Bosnia и Herzegovina

• BOTSWANA

• Brunei

• Burund

• Burund

• Burund

• Burund 9000 2

• Burund 9000 2

• Burund 9000 2

• Burund 9000 2

• BURNODI

• BURNODI

• BUSSWANA 9000 2

• BURNODI

• BUSSWANA 9000.

.

• Кабо-Верде

• Центральноафриканская Республика

• Чад

• Чили

• Китай

• Колумбия

• Коста-Рика

• Конго-Демократическая Республика0002 •Dominica

•Dominican Republic

•Ecuador

•El Salvador

•Eswatini

•Ethiopia

•Fiji

•The Gambia

•Georgia

•Ghana

•Guinea

•Guyana

• Haiti

• Honduras

• Индия

• Индонезия

• Иран

• Ирак

• Jamaica

• Jordan

• Kazakhstan

• Kenya

• KOS

• KOS

• KOS.