Джон К. Рейнольдс

• Образование и карьера Джона Рейнольдса

  • Получил образование в Университете Пердью и Гарвардском университете 
  • С 1970 по 1986 год преподавал информатику в Сиракузском университете 
  • С 1986 года и до своей смерти был профессором компьютерных наук в Карнеги-Меллон 
  • Работал в различных университетах и исследовательских центрах, включая Microsoft Research 

• Научные достижения

  • Основной интерес к разработке языков программирования и их семантике 
  • Изобрел полиморфное лямбда-исчисление и сформулировал свойство семантической параметричности 
  • Разработал теорию категорий для семантики языков программирования 
  • Создал элегантную формулировку языка программирования ALGOL 
  • Внес вклад в методологию локальных эффектов в языках с вызовом по имени 

• Вклад в академическую деятельность

  • Был редактором журналов «Коммуникации ACM» и «Журнал ACM» 
  • В 2001 году стал членом Ассоциации вычислительной техники 
  • Получил награды ACM за достижения в области языка программирования и медаль Лавлейса 

• Избранные публикации

  • Опубликовал книги «Искусство программирования» и «Теории языков программирования» 
  • Опубликовал множество статей в научных журналах 

• Память и признание

  • О нем были написаны статьи и сборники в честь его 70-летия 
  • Его вклад в информатику был отмечен в научных публикациях и на конференциях