Ричард Стэтман

Ричард Стэтман
Рожденный	6 сентября 1946 г. ( 1946-09-06 ) ( 77 лет)
Альма-матер	Стэнфордский университет
Научная карьера
Поля	Информатика
Учреждения	Карнеги-Меллон
Докторантура	Джордж Крейзель

Ричард Стэтман (родился 6 сентября 1946 г.) — американский ученый-компьютерщик , основным исследовательским интересом которого является теория вычислений , особенно символьных вычислений. Его исследования включают лямбда-исчисление , теорию типов и комбинаторную алгебру .

Карьера

В 1974 году Статман получил докторскую степень. из Стэнфордского университета на степень доктора философии. диссертацию под руководством Георга Крайзеля на тему « Структурная сложность доказательств» . Его достижения включают доказательство того, что проблема обитания типов в просто типизированном лямбда-исчислении является PSPACE-полной .

Внешние ссылки

• Профиль Карнеги-Меллона