Премия Тьюринга
-
История премии Тьюринга
- Премия Тьюринга присуждается Ассоциацией вычислительной техники (ACM) за значительный технический вклад в компьютерные науки.
- Премия названа в честь Алана Тьюринга, британского математика и основоположника теоретической информатики и искусственного интеллекта.
-
Финансовая поддержка и размер премии
- С 2007 по 2013 год премия сопровождалась премией в 250 000 долларов США при поддержке Intel и Google.
- С 2014 года премия сопровождается премией в 1 миллион долларов США при поддержке Google.
-
Лауреаты премии
- Первым лауреатом в 1966 году стал Алан Перлис.
- Самым молодым лауреатом стал Дональд Кнут в 1974 году в возрасте 36 лет.
- Самым старым лауреатом стал Альфред Ахо в 2020 году в возрасте 79 лет.
- Только три женщины были удостоены премии: Фрэнсис Аллен в 2006 году, Барбара Лисков в 2008 году и Шафи Голдвассер в 2012 году.
- По состоянию на 2024 год премии были удостоены 77 человек, последним лауреатом в 2023 году стал Ави Вигдерсон.
-
Основные достижения лауреатов
- LCF, механизация логики вычислимых функций Скотта, вероятно, является первым теоретически обоснованным инструментом для машинного построения доказательств.
- ML, первый язык с полиморфным выводом типов и типобезопасным механизмом обработки исключений.
- CCS, общая теория параллелизма, сформулировал и продвинул полную абстракцию и изучение взаимосвязи между операционной и денотационной семантикой.
-
Дополнительная информация
- Премия Тьюринга считается высшей наградой в области компьютерных наук и часто упоминается как «Нобелевская премия в области вычислительной техники».
- Премия названа в честь Алана Тьюринга, британского математика, преподававшего математику в Манчестерском университете.
- Тьюринга часто считают основоположником теоретической информатики и искусственного интеллекта и одним из ключевых авторов криптоанализа шифра «Энигма».