Введение

Американский учёный в области компьютерных наук (1935–2013)

Джон Чарльз Рейнольдс (1 июня 1935 – 28 апреля 2013) – американский учёный в области компьютерных наук.

Образование и принадлежность

Джон Рейнольдс учился в Университете Пердью, а затем получил степень доктора философии (Ph.D.) по теоретической физике в Гарвардском университете в 1961 году. С 1970 по 1986 год он был профессором информатики в Сиракузском университете. После этого и до самой смерти он преподавал как профессор компьютерных наук в Университете Карнеги — Меллона. Он также был приглашенным профессором в Орхусском университете (Дания), Университете Эдинбурга, Имперском колледже Лондона, Microsoft Research (Кембридж, Великобритания) и Лондонском университете королевы Марии.

Академическая работа

Основные исследовательские интересы Рейнольдса лежали в области проектирования языков программирования и связанных с ними языков спецификации, особенно в части формальной семантики. Он изобрел полиморфный лямбда-исчисление (Система F) и сформулировал свойство семантической параметричности; то же исчисление было независимо открыто Жаном Ивом Жираром. Он написал основополагающую работу об интерпретаторах определений, которая прояснила ранние работы по продолжениям и представила технику дефункционализации. Он применил теорию категорий к семантике языков программирования. Он разработал языки программирования Gedanken и Forsythe, известные своим использованием пересекающихся типов. Он работал над логикой разделения для описания и рассуждений об общих изменяемых структурах данных. Рейнольдс создал элегантную, идеализированную формулировку языка программирования ALGOL, демонстрирующую синтаксическую и семантическую чистоту ALGOL и используемую в исследованиях языков программирования. В этой работе также был представлен убедительный методологический аргумент в пользу пригодности локальных эффектов в контексте языков с передачей по имени, в отличие от глобальных эффектов, используемых языками с передачей по значению, такими как ML. Концептуальная целостность языка сделала его одним из основных объектов семантических исследований, наряду с Программированием вычислимых функций (PCF) и ML. Он был редактором таких журналов, как Communications of the ACM и Journal of the ACM. В 2001 году он был удостоен звания Fellow Ассоциации вычислительной техники (ACM). В 2003 году он получил награду ACM SIGPLAN за достижения в области языков программирования, а в 2010 году – медаль Лавлейса от Британского компьютерного общества.