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

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

История

Премия была учреждена в 1966 году Ассоциацией вычислительной техники (ACM) и названа в честь британского математика и криптографа Алана Тьюринга (1912–1954), чьи работы заложили основы теории алгоритмов, искусственного интеллекта и вычислительной техники. Первым лауреатом стал Алан Перлис, американский учёный, внёсший вклад в развитие компиляторов и программирования.

Первоначально премия составляла 1000 долларов США, спонсировалась корпорацией Honeywell. В 1970-х годах размер награды был увеличен до 5000 долларов, а в 1980-х — до 25 000 долларов, при спонсорстве IBM, Intel и других компаний. С 2007 года, при поддержке корпорации Intel и Google, премия была увеличена до 250 000 долларов США. В 2014 году спонсорство перешло к Google, а с 2021 года — к IBM. На 2024 год размер премии составляет 1 миллион долларов США, предоставляемый компанией IBM.

Критерии и процедура присуждения

Премия присуждается ежегодно одному или нескольким (до трёх) учёным, работающим в области компьютерных наук. Критерии отбора включают:

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

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

Известные лауреаты и их вклад

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

1960–1970-е годы: Становление информатики

• Алан Перлис (1966) — за вклад в теорию компиляторов и программирование.
• Морис Уилкс (1967) — за создание первого компьютера с хранимой программой (EDSAC) и разработку микропрограммирования.
• Ричард Хэмминг (1968) — за разработку кодов Хэмминга для обнаружения и исправления ошибок в передаче данных.
• Марвин Минский (1969) — за фундаментальный вклад в область искусственного интеллекта, в частности, за разработку нейронных сетей и теории фреймов.
• Джон Маккарти (1971) — за создание языка программирования Lisp и вклад в теорию искусственного интеллекта.
• Эдсгер Дейкстра (1972) — за разработку алгоритмов (например, алгоритм Дейкстры для поиска кратчайших путей) и основ структурного программирования.
• Дональд Кнут (1974) — за фундаментальный труд «Искусство программирования» и разработку системы вёрстки TeX.
• Аллен Ньюэлл и Герберт Саймон (1975) — за работы в области искусственного интеллекта, в частности, за создание программы «Логик-теоретик» и теории человеческого познания.

1980–1990-е годы: Расцвет вычислительных систем

• Кеннет Томпсон и Деннис Ритчи (1983) — за разработку операционной системы Unix и языка программирования C.
• Никлаус Вирт (1984) — за создание языков программирования Pascal, Modula-2 и Oberon.
• Ричард Карп (1985) — за вклад в теорию сложности алгоритмов, в частности, за доказательство NP-полноты многих задач.
• Джон Хопкрофт (1986) — за разработку алгоритмов для работы с графами и теорию автоматов.
• Иван Сазерленд (1988) — за создание системы Sketchpad — первой графической программы с интерактивным интерфейсом.
• Уильям Кахан (1989) — за разработку стандарта IEEE 754 для арифметики с плавающей запятой.
• Фернандо Корбато (1990) — за создание первой многопользовательской операционной системы CTSS и системы Multics.
• Роберт Флойд (1991) — за вклад в теорию компиляторов, верификацию программ и алгоритмы.
• Стивен Кук (1992) — за доказательство NP-полноты задачи SAT (SAT-проблемы).
• Эндрю Таненбаум (1995) — за создание операционной системы MINIX и учебника «Современные операционные системы».
• Мануэль Блум (1995) — за вклад в теорию сложности, в частности, за разработку фильтра Блума.
• Джеймс Гослинг (1996) — за создание языка программирования Java.
• Тим Бернерс-Ли (1998) — за изобретение Всемирной паутины (World Wide Web), включая протокол HTTP, язык HTML и первый веб-браузер.
• Фредерик Брукс (1999) — за вклад в разработку операционной системы OS/360 и книгу «Мифический человеко-месяц».

2000–2010-е годы: Современные технологии

• Эндрю Яо (2000) — за вклад в теорию криптографии и коммуникационную сложность.
• Оле-Йохан Даль и Кристен Нюгор (2001) — за разработку языка программирования Simula, первого объектно-ориентированного языка.
• Лен Адлеман, Рон Ривест и Ади Шамир (2002) — за создание криптосистемы RSA.
• Винтон Серф и Роберт Кан (2004) — за разработку протоколов TCP/IP, лежащих в основе Интернета.
• Питер Наур (2005) — за вклад в разработку языка ALGOL и формальное описание его синтаксиса (форма Бэкуса-Наура).
• Фрэнсис Аллен (2006) — за вклад в теорию компиляторов и оптимизацию параллельных вычислений.
• Эдмунд Кларк, Эрнест Аллен Эмерсон и Жозеф Сифакис (2007) — за разработку метода проверки моделей (model checking) для верификации программ.
• Барбара Лисков (2008) — за вклад в теорию абстрактных типов данных и принцип подстановки Лисков.
• Чарльз Теккер (2009) — за разработку операционной системы Alto и графического интерфейса пользователя.
• Лесли Вэлиант (2010) — за вклад в теорию машинного обучения, в частности, за разработку модели PAC (Probably Approximately Correct) обучения.
• Джуджа Перл (2011) — за вклад в искусственный интеллект, в частности, за разработку байесовских сетей и причинно-следственного вывода.
• Сильвио Микали и Шафи Гольдвассер (2012) — за вклад в криптографию, в частности, за разработку доказательств с нулевым разглашением.
• Лесли Лэмпорт (2013) — за вклад в теорию распределённых систем, в частности, за разработку алгоритма Paxos и формальной спецификации TLA+.
• Майкл Стоунбрейкер (2014) — за вклад в развитие реляционных баз данных и объектно-реляционных СУБД.
• Уитфилд Диффи и Мартин Хеллман (2015) — за разработку криптографии с открытым ключом.
• Тим Бернерс-Ли (2016) — за изобретение Всемирной паутины (World Wide Web). (Примечание: в 2016 году премия была присуждена повторно, так как в 1998 году он получил её за создание WWW, а в 2016 — за развитие семантической паутины).
• Дэвид Паттерсон и Джон Хеннесси (2017) — за вклад в архитектуру компьютерных систем, в частности, за разработку RISC-архитектуры и учебника «Computer Architecture: A Quantitative Approach».
• Йошуа Бенжио, Джеффри Хинтон и Ян Лекун (2018) — за фундаментальный вклад в развитие глубоких нейронных сетей (глубокое обучение).
• Эдвин Кэтмулл и Пэт Ханрахан (2019) — за вклад в компьютерную графику, в частности, за разработку алгоритмов для создания трёхмерных изображений и анимации.

2020-е годы: Современные вызовы

• Альфред Ахо и Джеффри Ульман (2020) — за вклад в теорию компиляторов, алгоритмы и формальные языки.
• Джек Донгарра (2021) — за разработку библиотек для высокопроизводительных вычислений (BLAS, LAPACK), которые лежат в основе многих научных и инженерных приложений.
• Роберт Меткалф (2022) — за вклад в развитие сетевых технологий, в частности, за изобретение Ethernet.
• Ави Вигдерсон (2023) — за вклад в теорию сложности, в частности, за разработку методов рандомизации и дерандомизации алгоритмов.

Критика

Несмотря на высокий статус, премия подвергается критике по нескольким направлениям:

• Географическая и демографическая неравномерность. Долгое время лауреатами были преимущественно мужчины из США и Великобритании. Первой женщиной-лауреатом стала Фрэнсис Аллен (2006), а первым лауреатом из Азии — Эндрю Яо (2000). Критики отмечают, что премия не всегда адекватно отражает вклад учёных из других регионов, включая Россию, Индию и Китай.
• Недостаточное признание инженерного вклада. Премия ориентирована на фундаментальные научные достижения, что иногда оставляет без внимания выдающиеся инженерные разработки, которые имеют огромное практическое значение (например, создание операционной системы Linux, протокола HTTP, языка Python).
• Субъективность выбора. Как и любая престижная награда, премия Тьюринга зависит от мнения комитета, что может приводить к спорам о том, чей вклад является «самым важным» в конкретный период.

Значение

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

Источники

• ACM Turing Award. Официальный сайт Ассоциации вычислительной техники (ACM).
• «A History of the Turing Award». ACM Digital Library.
• «The Turing Award: Celebrating the Best in Computer Science». Communications of the ACM.
• «Computer Pioneers: The Turing Award Laureates». IEEE Annals of the History of Computing.
• «The Nobel Prize in Computing: The Story of the Turing Award». MIT Press.