Ричард Уолдингер
-
Ранняя жизнь и образование
- Ричард Джей Уолдингер родился в 1941 году.
- В 1969 году защитил диссертацию в Университете Карнеги-Меллона.
-
Карьера
- Начал работать в SRI International в 1969 году.
- С 1970 года подает кофе и печенье в свой кабинет.
-
QA4
- Сотрудничал с Корделлом Грином и другими над QA4.
- QA4 ввел понятие контекста и ассоциативно-коммутативного объединения.
- Использовал QA4 для верификации программ и получения автоматических подтверждений.
-
Синтез программы
- Перешел от синтеза прикладных программ к синтезу императивных программ.
- Ввел понятие регрессии целей для решения проблемы одновременного достижения целей.
- Разработал некаузальное разрешение с Зоаром Маной.
-
ЯЗВИТЕЛЬНЫЙ
- Идеи доказательства теорем Манны и Уолдингера включены в SNARK.
- SNARK использовался НАСА для создания программ для анализа данных миссий.
- SNARK внедрен в среду разработки Specware для проверки аксиоматизации DAML и OWL.
-
Членство и награды
- В 1991 году избран членом Ассоциации содействия развитию искусственного интеллекта.
-
Личная жизнь
- Изучает айкидо, йогу и медитацию.
- Публиковал статьи о кулинарии и эротическую литературу.
- Женат, имеет двоих детей и троих внуков.