Дэвид HD Уоррен | |
---|---|
Alma mater | Эдинбургский университет |
Известен благодаря | абстрактной машине Уоррена |
Научная карьера | |
Учреждения | SRI International. Quintus Computer Systems. Бристольский университет |
Диссертация | Прикладная логика - ее использование и Внедрение как инструмент программирования (1977) |
Советник по докторантуре | Дональд Мичи. Роберт Ковальски |
Дэвид Х.Д. Уоррен - ученый-компьютерщик, который в основном работал над логическое программирование и, в частности, язык программирования Prolog в 1970-х и 1980-х годах. Уоррен написал первый компилятор для Prolog, и среда выполнения Warren Abstract Machine для Prolog названа в его честь.
Уоррен получил докторскую степень в искусственном интеллекте в Эдинбургском университете в 1977 г. под руководством советника Роберта Ковальски и (второго советника) Дональд Мичи.
Уоррен работал в Центре искусственного интеллекта в SRI International в 1980-х.
Он основал компанию Quintus Computer Systems в 1983 году вместе с Уильямом Корнфельдом, Лоуренсом Бердом, Фернандо Перейрой и Катбертом Хёрдом с целью коммерциализации компилятора Пролога. Quintus был продан Intergraph Corporation в 1989 году.
Он также занимал академическую должность в Университете Бристоля на факультете компьютерных наук.
.