Норман Шапиро

• Образование и ранние исследования

  • Норман Залмон Шапиро получил степень бакалавра математики в Иллинойском университете в 1952 году. 
  • В 1954 году Шапиро работал в Bell Laboratories, где исследовал возможность генерации бесконечных последовательностей машиной Тьюринга с помощью машины-оракула. 

• Защита докторской диссертации и вклад в теорию вычислимости

  • В 1955 году Шапиро защитил докторскую диссертацию в Принстонском университете под руководством Алонсо Черча. 
  • Ввел термин «сильная сводимость» в теорию вычислимости, которая сейчас называется «многоодиновая редукция». 

• Карьера в RAND и другие разработки

  • С 1959 по 1999 год Шапиро был ведущим математиком и специалистом по информатике в RAND. 
  • В 1960-х и 1970-х годах он участвовал в разработке компьютерных картографических систем и системы обработки сообщений MH. 
  • В 1972 году Шапиро написал эссе об этикете электронной почты, которое считается первой содержательной статьей о сетевом этикете. 

• Вклад в компьютерные науки и моделирование

  • В 1980-х годах Шапиро разработал программное обеспечение для игрового моделирования, включая систему оценки стратегии RAND. 
  • Совместно с Х. Эдвардом Холлом он создал новый язык программирования Abel, который был более понятным для непрограммистов. 

• Другие научные интересы и публикации

  • Шапиро также писал о базах данных, конфиденциальности, влиянии автоматизации на судебную систему и других темах. 
  • Большинство его работ доступны в виде PDF-файлов от RAND Corporation.