Рон Ривест

Рон Ривест
Рон Ривест
	Ривест в 2012 году
Рожденный	6 мая 1947 г. (77 лет) ; Скенектади, Нью-Йорк , США
Национальность	Американский
Альма-матер	Стэнфордский университет (доктор философии) ; Йельский университет
Известный	Открытый ключ ; RSA , RC2 , RC4 , RC5 , RC6 ; MD2 , MD4 , MD5 , MD6 , Кольцевая подпись
Награды	Премия Пэрис Канеллакис (1996) ; Премия Тьюринга (2002) ; Премия Маркони (2007) ; Награды Фонда BBVA «Границы знаний» (2017) ; Национальный зал славы изобретателей (2018) ;
	Научная карьера
Поля	Алгоритмы ; Криптография ; Машинное обучение ; Безопасность выборов ;
Учреждения	Массачусетский технологический институт
Диссертация	Анализ алгоритмов ассоциативного поиска (1974)
Докторантура	Роберт В. Флойд
Докторанты	Аврим Блюм ; Бенни Чор ; Салли Голдман ; Берт Калиш ; Андреа ЛаПо ; Анна Лысянская ; Рон Пинтер ; Роберт Шапир ; Алан Шерман ; Мона Сингх ;
Веб-сайт	люди .csail .с .edu / заклепка /

Рональд Линн Ривест ( / r ɪ ˈ v ɛ s t / ; ^[3]^[4]родился 6 мая 1947 года) — криптограф и ученый-компьютерщик, чья работа охватывала области алгоритмов и комбинаторики, криптографии, машинного обучения и честности выборов.Он является профессором ( Массачусетского технологического института MIT). ^[5]и член кафедры электротехники и информатики Массачусетского технологического института и его лаборатории компьютерных наук и искусственного интеллекта .

Наряду с Ади Шамиром и Леном Адлеманом Ривест является одним из изобретателей алгоритма RSA .Он также является изобретателем с симметричным ключом алгоритмов шифрования RC2 , RC4 и RC5 и соавтором RC6 . ( RC означает «Rivest Cipher».) Он также разработал MD2 , MD4 , MD5 и MD6 криптографические хэш-функции .

Образование [ править ]

Ривест получил степень бакалавра математики в Йельском университете в 1969 году и степень доктора философии. Степень в области компьютерных наук Стэнфордского университета в 1974 году за исследования под руководством Роберта В. Флойда . ^[1]

Карьера [ править ]

В Массачусетском технологическом институте Ривест является членом группы теории вычислений и основателем группы криптографии и информационной безопасности MIT CSAIL.

Ривест был основателем компаний RSA Data Security (теперь объединенной с Security Dynamics и образовавшей RSA Security ), Verisign и Peppercoin .

Среди его бывших докторантов Аврим Блюм , Бенни Чор , Салли Голдман , Берт Калиски , Анна Лысянская , Рон Пинтер , Роберт Шапир , Алан Шерман , ^[1]и Мона Сингх . ^[2]

Исследования [ править ]

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

Криптография [ править ]

Публикация криптосистемы RSA Ривестом, Ади Шамиром и Леонардом Адлеманом в 1978 году. ^[С1] произвел революцию в современной криптографии, предоставив первый пригодный для использования и публично описанный метод криптографии с открытым ключом . За эту работу три автора получили в 2002 году Премию Тьюринга , высшую награду в области компьютерных наук. В награде отмечен «их гениальный вклад в практическое применение криптографии с открытым ключом». ^[6] В той же статье, в которой была представлена эта криптосистема, также были представлены Алиса и Боб , вымышленные герои многих последующих криптографических протоколов . ^[7] В том же году Ривест, Адлеман и Майкл Дертузос впервые сформулировали гомоморфное шифрование и его применение в безопасных облачных вычислениях . ^[С2] идея, которая воплотилась в жизнь лишь более 40 лет спустя, когда были наконец разработаны безопасные алгоритмы гомоморфного шифрования. ^[8]

Ривест был одним из изобретателей схемы публичной подписи GMR , опубликованной совместно с Шафи Голдвассером и Сильвио Микали в 1988 году. ^[С3]^[9]и кольцевых подписей — анонимной формы групповых подписей, изобретенной Шамиром и Яэль Тауман Калаи в 2001 году. ^[С7] Он разработал MD4 и MD5 криптографические хэш-функции , опубликованные в 1990 и 1992 годах соответственно. ^[С4]^[С5] и последовательность с симметричными ключами блочных шифров , которые включают RC2 , RC4 , RC5 и RC6 . ^[С6]^[С8]

Другие вклады Ривеста в криптографию включают в себя растирание и отсеивание , протокол блокировки для аутентификации анонимного обмена ключами , криптографические капсулы времени , такие как LCS35, основанные на ожидаемом улучшении скорости вычислений благодаря закону Мура , отбеливание ключей и его применение через xor-encrypt-xor. ключевой режим в расширении стандарта шифрования данных до DES-X и систему Peppercoin для криптографических микроплатежей .

Алгоритмы [ править ]

В 1973 году Ривест и его соавторы опубликовали первый алгоритм отбора , который достигал линейного времени без использования рандомизации . ^[А1]^[10] Их алгоритм, метод медианы медиан , обычно преподается на курсах алгоритмов. ^[11] Ривест также является одним из двух тезок алгоритма Флойда-Ривеста , алгоритма рандомизированного выбора, который обеспечивает почти оптимальное количество сравнений. ^[А2]^[12]

Докторская диссертация Ривеста 1974 года касалась использования хэш-таблиц для быстрого сопоставления части слов в документах; Позже он опубликовал эту работу в журнальной статье. ^[А3] Его исследования того времени по самоорганизующимся спискам. ^[A4] стал одним из важных предшественников развития конкурентного анализа алгоритмов онлайн- . ^[13] двумерной В начале 1980-х он также опубликовал широко цитируемое исследование по проблемам упаковки контейнеров . ^[А5] и о маршрутизации каналов в конструкции СБИС . ^[А6]

Он является соавтором «Введение в алгоритмы» (также известного как CLRS стандартного учебника по алгоритмам ) вместе с Томасом Х. Корменом , Чарльзом Э. Лейзерсоном и Клиффордом Стейном . Впервые опубликованный в 1990 году, он выдержал четыре издания, последнее из которых вышло в 2022 году. ^[A7]

Обучение [ править ]

В задаче обучения дерева решений Ривест и Лоран Хьяфил доказали, что NP-полно найти дерево решений, которое идентифицирует каждый из набора объектов с помощью двоичных вопросов (как в салонной игре из двадцати вопросов ) и которое минимизирует ожидаемое количество вопросов, которые будут заданы. ^[Л1] Вместе с Авримом Блюмом Ривест также показал, что даже для очень простых нейронных сетей можно NP-полно обучать сеть путем нахождения весов, которые позволяют ей правильно решать заданную задачу классификации. ^[Л3] Несмотря на эти отрицательные результаты, он также нашел методы эффективного составления списков решений . ^[Л2] деревья решений, ^[Л4] и конечные автоматы . ^[Л5]

Выборы [ править ]

Важной темой недавних исследований Ривеста была безопасность выборов , основанная на принципе независимости программного обеспечения : безопасность выборов должна быть основана на физических записях, чтобы скрытые изменения в программном обеспечении, используемом в системах голосования, не могли привести к необнаружимым изменениям в выборах. результаты. Его исследования в этой области включают повышение надежности микс-сетей в этом приложении. ^[В1] изобретение в 2006 году ThreeBallot на основе бумажных бюллетеней системы сквозного проверяемого голосования (которую он опубликовал в общественном достоянии в интересах продвижения демократии), ^[В2]^[6] и разработка системы безопасности Scantegrity для систем голосования с оптическим сканированием . ^[В3]

Он был членом Комитета по разработке технических руководств Комиссии по содействию выборам . ^[14]

Почести и награды [ править ]

Ривест является членом Национальной инженерной академии , Национальной академии наук , а также членом Ассоциации вычислительной техники , Международной ассоциации криптологических исследований и Американской академии искусств и наук . Вместе с Ади Шамиром и Леном Адлеманом он был награжден премией IEEE Кодзи Кобаяши в области компьютеров и коммуникаций 2000 года и премией за выдающиеся достижения в области безопасных вычислений. Он также разделил с ними премию Тьюринга . Ривест получил почетную степень («laurea Honoris Causa») Римского университета Сапиенца . ^[15] В 2005 году он получил премию MITX за заслуги перед жанром. В 2007 году Ривест был назван стипендиатом Маркони, а 29 мая 2008 года он также прочитал лекцию Чесли в Карлтон-колледже . В июне 2015 года он был назначен профессором Массачусетского технологического института. ^[16]

Избранные публикации [ править ]

Публикации Ривеста включают:

Алгоритмы [ править ]

А1.

Блюм, Мануэль ; Флойд, Роберт В .; Пратт, Воган ; Ривест, Рональд Л .; Тарьян, Роберт Э. (1973). «Сроки выбора» (PDF) . Журнал компьютерных и системных наук . 7 (4): 448–461. дои : 10.1016/S0022-0000(73)80033-9 . МР 0329916 . Ранее было объявлено как «Линейные временные рамки для медианных вычислений», STOC 1972.

А2.

Флойд, Роберт В .; Ривест, Рональд Л. (март 1975 г.). «Ожидаемые сроки отбора» . Коммуникации АКМ . 18 (3): 165–172. дои : 10.1145/360680.360691 . S2CID 3064709 . См. также «Алгоритм 489: алгоритм SELECT — для поиска

i

самый маленький из

n

элементы», стр. 173, дои : 10.1145/360680.360694 .

А3.

Ривест, Рональд Л. (1976). «Алгоритмы поиска частичного совпадения». SIAM Journal по вычислительной технике . 5 (1): 19–50. дои : 10.1137/0205003 . МР 0395398 . Ранее было объявлено на 15-м ежегодном симпозиуме по теории коммутации и автоматов в 1974 году.

A4.

Ривест, Рональд (1976). «О самоорганизующейся эвристике последовательного поиска» . Коммуникации АКМ . 19 (2): 63–67. дои : 10.1145/359997.360000 . МР 0408303 . S2CID 498886 . Ранее было объявлено на 15-м ежегодном симпозиуме по теории коммутации и автоматов в 1974 году.

А5.

Бейкер, Бренда С .; Коффман, Э.Г. младший ; Ривест, Рональд Л. (1980). «Ортогональные упаковки в двух измерениях». SIAM Journal по вычислительной технике . 9 (4): 846–855. CiteSeerX 10.1.1.309.8883 . дои : 10.1137/0209064 . МР 0592771 .

А6.

Ривест, Рональд Л.; Фидучча, Чарльз М. (1982). «Жадный» маршрутизатор каналов». В Крэббе, Джеймс С.; Радке, Чарльз Э.; Офек, Гилель (ред.). Материалы 19-й конференции по автоматизации проектирования, DAC '82, Лас-Вегас, Невада, США, 14–16 июня 1982 г. АКМ и IEEE. стр. 418–424. дои : 10.1145/800263.809239 .

A7.

Кормен, Томас Х .; Лейзерсон, Чарльз Э .; Ривест, Рональд Л. (1990). Введение в алгоритмы (1-е изд.). MIT Press и McGraw-Hill. ISBN 0-262-03141-8 . 2-е издание, с Клиффордом Стейном , 2001 г. 3-е издание, 2009 г. 4-е издание, 2022 г.

Криптография [ править ]

С1.

Ривест, РЛ; Шамир, А. ; Адлеман, Л. (1978). «Способ получения цифровых подписей и криптосистем с открытым ключом» . Коммуникации АКМ . 21 (2): 120–126. дои : 10.1145/359340.359342 . hdl : 1721.1/148910 . МР 0700103 . S2CID 2873616 .

С2.

Ривест, Р.; Адлеман, Л .; Дертузос, М. (1978). «О банках данных и гомоморфизмах конфиденциальности». В Демилло, Ричард А. (ред.). Основы безопасных вычислений . Академическая пресса. стр. 169–177.

С3.

Гольдвассер, Шафи ; Микали, Сильвио ; Ривест, Рональд Л. (1988). «Схема цифровой подписи, защищенная от атак с использованием адаптивного выбранного сообщения». SIAM Journal по вычислительной технике . 17 (2): 281–308. дои : 10.1137/0217017 . МР 0935341 . S2CID 1715998 . Ранее объявленный как «парадоксальное» решение проблемы подписи», FOCS 1984 и CRYPTO 1984.

С4.

Ривест, Рональд Л. (октябрь 1990 г.). Алгоритм дайджеста сообщения MD4 . Сетевая рабочая группа. дои : 10.17487/RFC1186 . РФК 1186 .

С5.

Ривест, Рональд Л. (апрель 1992 г.). Алгоритм дайджеста сообщений MD5 . Сетевая рабочая группа. дои : 10.17487/RFC1321 . РФК 1321 .

С6.

Ривест, Рональд Л. (март 1998 г.). Описание алгоритма шифрования RC2(r) . Сетевая рабочая группа. дои : 10.17487/RFC2268 . РФК 2268 .

С7.

Ривест, Рональд Л.; Шамир, Ади ; Тауман, Яэль (2001). «Как раскрыть секрет». В Бойде, Колин (ред.). Достижения в криптологии – ASIACRYPT 2001, 7-я Международная конференция по теории и применению криптологии и информационной безопасности, Голд-Кост, Австралия, 9–13 декабря 2001 г., Материалы . Конспекты лекций по информатике. Том. 2248. Спрингер. стр. 552–565. дои : 10.1007/3-540-45682-1_32 .

С8.

Ривест, Рональд Л. (1994). «Алгоритм шифрования RC5». В Прениле, Барт (ред.). Быстрое программное шифрование: Второй международный семинар. Левен, Бельгия, 14–16 декабря 1994 г., Слушания . Конспекты лекций по информатике. Том. 1008. Спрингер. стр. 86–96. дои : 10.1007/3-540-60590-8_7 .

Обучение [ править ]

Л1.

Хиафил, Лоран; Ривест, Рональд Л. (май 1976 г.). «Построение оптимальных бинарных деревьев решений является NP-полным». Письма об обработке информации . 5 (1): 15–17. дои : 10.1016/0020-0190(76)90095-8 . МР 0413598 .

Л2.

Ривест, Рональд Л. (1987). «Списки учебных решений» . Машинное обучение . 2 (3): 229–246. дои : 10.1007/BF00058680 . S2CID 2840541 .

Л3.

Блюм, Аврим ; Ривест, Рональд Л. (1992). «Обучение трехузловой нейронной сети является NP-полным». Нейронные сети . 5 (1): 117–127. дои : 10.1016/S0893-6080(05)80010-3 . S2CID 8567973 . Ранее в NIPS 1988.

Л4.

Куинлан, Дж. Росс ; Ривест, Рональд Л. (1989). «Вывод деревьев решений с использованием принципа минимальной длины описания». Информация и вычисления . 80 (3): 227–248. дои : 10.1016/0890-5401(89)90010-2 . МР 0984483 .

Л5.

Ривест, Рональд Л.; Шапире, Роберт Э. (1993). «Вывод конечных автоматов с использованием установочных последовательностей» . Информация и вычисления . 103 (2): 299–347. дои : 10.1006/inco.1993.1021 . МР 1216458 . Ранее было объявлено на STOC 1989.

Выборы и голосование [ править ]

В1.

Якобссон, Маркус; Джулс, Ари; Ривест, Рональд Л. (2002). «Повышение устойчивости смешанных сетей для электронного голосования путем рандомизированной частичной проверки» . В Боне, Дэн (ред.). Материалы 11-го симпозиума по безопасности USENIX, Сан-Франциско, Калифорния, США, 5–9 августа 2002 г. Бостон, Массачусетс: Ассоциация USENIX. стр. 339–353.

В2.

Ривест, Рональд Л.; Смит, Уоррен Д. (август 2007 г.). «Три протокола голосования: ThreeBallot, VAV и Twin» (PDF) . 2007 Семинар по технологиям электронного голосования USENIX/ACCURATE (EVT 07) . Бостон, Массачусетс: Ассоциация USENIX.

В3.

Чаум, Дэвид ; Карбэк, Ричард; Кларк, Джереми; Эссекс, Александр; Поповенюк, Стефан; Ривест, Рональд Л.; Райан, Питер Ю.А.; Шен, Эмили; Шерман, Алан Т. (2008). «Scantegrity II: сквозная проверка избирательных систем с оптическим сканированием с использованием кодов подтверждения невидимыми чернилами» (PDF) . В Дилле, Дэвид Л.; Коно, Тадаёси (ред.). 2008 Семинар по электронному голосованию USENIX/ACCURATE, EVT 2008, 28-29 июля 2008 г., Сан-Хосе, Калифорния, США, Материалы . Бостон, Массачусетс: Ассоциация USENIX.

Личная жизнь [ править ]

Его сын — Крис Ривест , предприниматель и соучредитель компании. ^[17]

Ссылки [ править ]

^ Jump up to: ^а ^б ^с ^д ^и ^ж ^г ^час ^я ^дж ^к Рон Ривест в проекте «Математическая генеалогия»
^ Jump up to: ^а ^б Сингх, Мона (1996). Алгоритмы обучения с применением к навигации роботов и складыванию белков (кандидатская диссертация). Массачусетский технологический институт. hdl : 1721.1/40579 . OCLC 680493381 .
^ Архивировано в Ghostarchive и Wayback Machine : Конференция ЮАР (25 февраля 2014 г.). «Панель криптографов» – через YouTube.
^ Архивировано в Ghostarchive и Wayback Machine : «Онлайн-форум факультета: Рон Ривест» . Ютуб .
^ Дизикес, Питер (29 июня 2015 г.). «Чизхолм, Ривест и Томпсон назначены новыми профессорами института: биолог, ученый-компьютерщик и музыкант удостоены высшей профессорской награды Массачусетского технологического института» . Новости МТИ . Массачусетский технологический институт.
^ Jump up to: ^а ^б «Рональд (Рон) Линн Ривест» . Лауреаты премии ACM Тьюринга . Ассоциация вычислительной техники . Проверено 15 апреля 2023 г.
^ Хейс, Брайан (сентябрь – октябрь 2012 г.). «Алиса и Боб в зашифрованном пространстве». Вычислительная наука. Американский учёный . 100 (5). Сигма Си: 362. doi : 10.1511/2012.98.362 . JSTOR 43707638 .
^ Йи, Сюнь; Полет, Рассел; Бертино, Элиза (2014). Гомоморфное шифрование и его приложения . Springer Briefs по информатике. Международное издательство Спрингер. дои : 10.1007/978-3-319-12229-8 . ISBN 978-3-319-12228-1 . S2CID 11182158 . См. особенно п. 47: «Концепция FHE была введена Ривестом под названием гомоморфизмы приватности. Проблема построения схемы с этими свойствами оставалась нерешенной до 2009 года, когда Джентри представил свой прорывной результат».
^ Менезес, Альфред Дж .; ван Оршот, Пол С .; Ванстон, Скотт А. (1996). «11.6.4 Схема одноразовой подписи GMR» (PDF) . Справочник по прикладной криптографии . ЦРК Пресс. стр. 468–471. ISBN 0-8493-8523-7 .
^ Патерсон, Майк (1996). «Прогресс в выборе». Карлссон, Рольф Г.; Лингас, Анджей (ред.). Теория алгоритмов - SWAT '96, 5-й скандинавский семинар по теории алгоритмов, Рейкьявик, Исландия, 3–5 июля 1996 г., Труды . Конспекты лекций по информатике. Том. 1097. Спрингер. стр. 368–379. дои : 10.1007/3-540-61422-2_146 .
^ Гурвиц, Хая (1992). «Об обучении алгоритмам нахождения медианы». Транзакции IEEE по образованию . 35 (3): 230–232. Бибкод : 1992ITEdu..35..230G . дои : 10.1109/13.144650 .
^ Кунто, Уолтер; Манро, Дж. Ян (1989). «Средний выбор случая» . Журнал АКМ . 36 (2): 270–279. дои : 10.1145/62044.62047 . МР 1072421 . S2CID 10947879 .
^ Слитор, Дэниел Д .; Тарьян, Роберт Э. (1985). «Амортизированная эффективность обновлений списков и правил подкачки» . Коммуникации АКМ . 28 (2): 202–208. дои : 10.1145/2786.2793 . МР 0777385 . S2CID 2494305 .
^ «Члены TGDC» . Национальный институт стандартов и технологий . 6 мая 2009 г. Архивировано из оригинала 8 июня 2007 г.
^ Биография . Архивировано из оригинала 6 декабря 2011 г.
^ «Чизхолм, Ривест и Томпсон назначены новыми профессорами института» . Новости Массачусетского технологического института | Массачусетский технологический институт . 29 июня 2015 г.
^ См. Благодарности, стр.xxi, в Кормене, Ривесте и др., Введение в алгоритмы , MIT Press.

Внешние ссылки [ править ]

[mathgene-1] Jump up to: ^а ^б ^с ^д ^и ^ж ^г ^час ^я ^дж ^к Рон Ривест в проекте «Математическая генеалогия»

[monaphd-2] Jump up to: ^а ^б Сингх, Мона (1996). Алгоритмы обучения с применением к навигации роботов и складыванию белков (кандидатская диссертация). Массачусетский технологический институт. hdl : 1721.1/40579 . OCLC 680493381 .

[3] Архивировано в Ghostarchive и Wayback Machine : Конференция ЮАР (25 февраля 2014 г.). «Панель криптографов» – через YouTube.

[4] Архивировано в Ghostarchive и Wayback Machine : «Онлайн-форум факультета: Рон Ривест» . Ютуб .

[5] Дизикес, Питер (29 июня 2015 г.). «Чизхолм, Ривест и Томпсон назначены новыми профессорами института: биолог, ученый-компьютерщик и музыкант удостоены высшей профессорской награды Массачусетского технологического института» . Новости МТИ . Массачусетский технологический институт.

[turing-6] Jump up to: ^а ^б «Рональд (Рон) Линн Ривест» . Лауреаты премии ACM Тьюринга . Ассоциация вычислительной техники . Проверено 15 апреля 2023 г.

[7] Хейс, Брайан (сентябрь – октябрь 2012 г.). «Алиса и Боб в зашифрованном пространстве». Вычислительная наука. Американский учёный . 100 (5). Сигма Си: 362. doi : 10.1511/2012.98.362 . JSTOR 43707638 .

[8] Йи, Сюнь; Полет, Рассел; Бертино, Элиза (2014). Гомоморфное шифрование и его приложения . Springer Briefs по информатике. Международное издательство Спрингер. дои : 10.1007/978-3-319-12229-8 . ISBN 978-3-319-12228-1 . S2CID 11182158 . См. особенно п. 47: «Концепция FHE была введена Ривестом под названием гомоморфизмы приватности. Проблема построения схемы с этими свойствами оставалась нерешенной до 2009 года, когда Джентри представил свой прорывной результат».

[9] Менезес, Альфред Дж .; ван Оршот, Пол С .; Ванстон, Скотт А. (1996). «11.6.4 Схема одноразовой подписи GMR» (PDF) . Справочник по прикладной криптографии . ЦРК Пресс. стр. 468–471. ISBN 0-8493-8523-7 .

[10] Патерсон, Майк (1996). «Прогресс в выборе». Карлссон, Рольф Г.; Лингас, Анджей (ред.). Теория алгоритмов - SWAT '96, 5-й скандинавский семинар по теории алгоритмов, Рейкьявик, Исландия, 3–5 июля 1996 г., Труды . Конспекты лекций по информатике. Том. 1097. Спрингер. стр. 368–379. дои : 10.1007/3-540-61422-2_146 .

[11] Гурвиц, Хая (1992). «Об обучении алгоритмам нахождения медианы». Транзакции IEEE по образованию . 35 (3): 230–232. Бибкод : 1992ITEdu..35..230G . дои : 10.1109/13.144650 .

[12] Кунто, Уолтер; Манро, Дж. Ян (1989). «Средний выбор случая» . Журнал АКМ . 36 (2): 270–279. дои : 10.1145/62044.62047 . МР 1072421 . S2CID 10947879 .

[13] Слитор, Дэниел Д .; Тарьян, Роберт Э. (1985). «Амортизированная эффективность обновлений списков и правил подкачки» . Коммуникации АКМ . 28 (2): 202–208. дои : 10.1145/2786.2793 . МР 0777385 . S2CID 2494305 .

[NIST-14] «Члены TGDC» . Национальный институт стандартов и технологий . 6 мая 2009 г. Архивировано из оригинала 8 июня 2007 г.

[bio-15] Биография . Архивировано из оригинала 6 декабря 2011 г.

[16] «Чизхолм, Ривест и Томпсон назначены новыми профессорами института» . Новости Массачусетского технологического института | Массачусетский технологический институт . 29 июня 2015 г.

[17] См. Благодарности, стр.xxi, в Кормене, Ривесте и др., Введение в алгоритмы , MIT Press.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

v т и премии AM Тьюринга Лауреаты
1960-е годы	Алан Перлис (1966) Морис Винсент Уилкс (1967) Ричард Хэмминг (1968) Марвин Мински (1969)
1970-е годы	Джеймс Х. Уилкинсон (1970) Джон Маккарти (1971) Эдсгер В. Дейкстра (1972) Чарльз Бахман (1973) Дональд Кнут (1974) Аллен Ньюэлл ; Герберт А. Саймон (1975) Майкл О. Рабин ; Дана Скотт (1976) Джон Бэкус (1977) Роберт В. Флойд (1978) Кеннет Э. Айверсон (1979)
1980-е годы	Тони Хоар (1980) Эдгар Ф. Кодд (1981) Стивен Кук (1982) Кен Томпсон ; Деннис Ричи (1983) Никлаус Вирт (1984) Ричард Карп (1985) Джон Хопкрофт ; Роберт Тарьян (1986) Джон Кок (1987) Иван Сазерленд (1988) Уильям Кахан (1989)
1990-е годы	Фернандо Х. Корбато (1990) Робин Милнер (1991) Батлер Лэмпсон (1992) Юрис Хартманис ; Ричард Э. Стернс (1993) Эдвард Фейгенбаум ; Радж Редди (1994) Мануэль Блюм (1995) Амир Пнуэли (1996) Дуглас Энгельбарт (1997) Джим Грей (1998) Фред Брукс (1999)
2000-е	Эндрю Яо (2000) Оле-Йохан Даль ; Кристен Найгаард (2001) Рон Ривест ; Ади Шамир ; Леонард Адлеман (2002) Алан Кей (2003) Двадцать оленей ; Боб Кан (2004) Питер Наур (2005) Фрэнсис Аллен (2006) Эдмунд М. Кларк ; Э. Аллен Эмерсон ; Джозеф Сифакис (2007) Барбара Лисков (2008) Чарльз П. Такер (2009)
2010-е годы	Лесли Дж. Валиант (2010) Иудея Перл (2011) Шафи Гольдвассер ; Сильвио Микали (2012) Лесли Лэмпорт (2013) Майкл Стоунбрейкер (2014) Мартин Хеллман ; Уитфилд Диффи (2015) Тим Бернерс-Ли (2016) Джон Л. Хеннесси ; Дэвид Паттерсон (2017) Йошуа Бенджио ; Джеффри Хинтон ; Янн ЛеКун (2018) Эд Кэтмелл ; Пэт Ханрахан (2019)
2020-е годы	Альфред Ахо ; Джеффри Уллман (2020) Джек Донгарра (2021) Роберт Меткалф (2022) Ави Вигдерсон (2023)

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БНФ Каталония Германия Израиль Бельгия Соединенные Штаты Латвия Япония Чешская Республика Австралия Хорватия Нидерланды Польша
академики	Ассоциация вычислительной техники ДБЛП Google Академика MathSciNet Проект математической генеалогии zbMATH
Люди	Находка
Другой	ЗАКУСКА ИдРеф