WikiDer > Ричард Статман - Википедия
Richard Statman - Wikipedia
 | Эта статья нужны дополнительные цитаты для проверка. (Июль 2008 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Ричард Статман | |
|---|---|
| Родившийся | 6 сентября 1946 г. (возраст74) |
| Альма-матер | Стэндфордский Университет |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Карнеги-Меллона |
| Докторант | Георг Крайзель |
Ричард Статман (родился 6 сентября 1946 г.) Американец специалист в области информатики чей основной исследовательский интерес теория вычислений, особенно символьное вычисление. Его исследования включают лямбда-исчисление, теория типов, и комбинаторная алгебра.
Карьера
В 1974 году Статман получил Кандидат наук. из Стэндфордский Университет для его докторской диссертации под руководством Георг Крайзель, озаглавленный Структурная сложность доказательств. Его достижения включают доказательство того, что тип обитания проблема в просто типизированное лямбда-исчисление является PSPACE-полный.
