Дэвид Х.Д. Уоррен
Дэвид Х.Д. Уоррен | |
|---|---|
| Альма-матер | Эдинбургский университет |
| Известный | Абстрактная машина Уоррена |
| Научная карьера | |
| Учреждения | НИИ Международный Квинтус Компьютерные Системы Бристольский университет |
| Диссертация | Прикладная логика - ее использование и реализация в качестве инструмента программирования (1977) |
| Докторантура | Дональд Мичи Роберт Ковальски |
Дэвид Х.Д. Уоррен — учёный-компьютерщик работал в основном над логическим программированием и, в частности, над языком программирования Пролог , который в 1970-х и 1980-х годах . Уоррен написал первый компилятор для Пролога, и Абстрактной машины Уоррена в его честь названа среда выполнения для Пролога.
Ранняя жизнь и образование
[ редактировать ]Уоррен получил докторскую степень. [ 1 ] в области искусственного интеллекта в Эдинбургском университете в 1977 году под руководством Роберта Ковальски и (второго советника) Дональда Мичи . [ 2 ]
Карьера
[ редактировать ]Уоррен работал в искусственного интеллекта Центре SRI International в 1980-х годах. [ 3 ] [ 4 ]
Он основал компанию Quintus Computer Systems в 1983 году вместе с Уильямом Корнфельдом, Лоуренсом Бердом, Фернандо Перейрой и Катбертом Хердом для коммерциализации компилятора Пролога Quintus Prolog . [ 5 ] Quintus был продан Intergraph Corporation в 1989 году. [ 6 ]
Он также занимал академическую должность на Бристольского университета . факультете компьютерных наук [ 7 ]
Ссылки
[ редактировать ]- ^ Уоррен, Дэвид HD (1978). «Прикладная логика: ее использование и реализация в качестве инструмента программирования». hdl : 1842/6648 .
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ↑ Дэвид Х.Д. Уоррен в проекте «Математическая генеалогия» — (по состоянию на 10 августа 2014 г.)
- ^ «Дэвид Х.Д. Уоррен» . Выпускник Центра искусственного интеллекта . Центр искусственного интеллекта . Проверено 26 мая 2010 г.
- ^ Нильс Дж. Нильссон (1984). «Введение в издание COMTEX на микрофишах Технических заметок НИИ Центра искусственного интеллекта» . Журнал ИИ . Том. 5, нет. 1. п. 49.
- ^ Отчет об искусственном интеллекте . Публикации по искусственному интеллекту. 1983.
- ^ Дэвид Э. Вайсберг (2008). «Интерграф» (PDF) . Революция инженерного дизайна: люди, компании и компьютерные системы, которые навсегда изменили практику инженерии . Архивировано из оригинала (PDF) 7 июля 2010 года . Проверено 26 мая 2010 г.
- ^ Райна, С.; Уоррен, DHD (1992). «Шаблоны трафика в масштабируемом мультипроцессоре посредством транспьютерной эмуляции». Материалы двадцать пятой Гавайской международной конференции по системным наукам . ИИЭЭ . С. 267–276 т.1. дои : 10.1109/HICSS.1992.183173 . ISBN 0-8186-2420-5 . S2CID 62278813 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта биографическая статья о компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |