Дэвид Х. Д. Уоррен - David H. D. Warren

О других людях по имени Дэвид Уоррен см. Дэвид Уоррен (значения).

Дэвид Х. Д. Уоррен
Альма-матерЭдинбургский университет
ИзвестенАбстрактная машина Уоррена
Научная карьера
УчрежденияSRI International
Quintus Computer Systems
Бристольский университет
ТезисПрикладная логика - ее использование и реализация как инструмент программирования  (1977)
ДокторантДональд Мичи
Роберт Ковальски

Дэвид Х. Д. Уоррен это специалист в области информатики кто работал в основном над логическое программирование и в частности язык программирования Пролог в 1970-1980-х гг. Уоррен написал первую компилятор для Prolog, а Абстрактная машина Уоррена Среда исполнения для Пролога названа в его честь.

ранняя жизнь и образование

Уоррен получил Кандидат наук.[1] в искусственный интеллект от Эдинбургский университет в 1977 г. под руководством советника Роберт Ковальски, и (второй советник) Дональд Мичи.[2]

Карьера

Уоррен работал в Центр Искусственного Интеллекта в SRI International в 1980-е гг.[3][4]

Он основал компанию Quintus Computer Systems в 1983 году вместе с Уильямом Корнфельдом, Лоуренсом Бердом, Фернандо Перейрой и Катберт Херд коммерциализировать компилятор Пролога.[5] Quintus был продан Интерграф Корпорация 1989 г.[6]

Он также занимал академическую должность в Бристольский университет Департамент компьютерных наук.[7]

Рекомендации

  1. ^ Уоррен, Дэвид Х. Д. (1978). «Прикладная логика: ее использование и реализация как инструмент программирования». HDL:1842/6648. Цитировать журнал требует | журнал = (помощь)
  2. ^ Дэвид Х. Д. Уоррен на Проект "Математическая генеалогия" - (по состоянию на 10 августа 2014 г.)
  3. ^ "Дэвид Х.Д. Уоррен". Выпускник Центра искусственного интеллекта. Центр Искусственного Интеллекта. Получено 26 мая 2010.
  4. ^ Нильс Дж. Нильссон (1984). «Введение в издание COMTEX Microfiche Edition Технических заметок SRI Центра искусственного интеллекта». Журнал AI. 5 (1). п. 49.
  5. ^ Отчет об искусственном интеллекте. Публикации по искусственному интеллекту. 1983 г.
  6. ^ Дэвид Э. Вайсберг (2008). «Интерграф» (PDF). Революция в инженерном дизайне: люди, компании и компьютерные системы, навсегда изменившие инженерную практику. Получено 26 мая 2010.
  7. ^ Raina, S .; Уоррен, D.H.D. (1992). «Шаблоны трафика в масштабируемом мультипроцессоре посредством транспьютерной эмуляции». Материалы двадцать пятой Гавайской международной конференции по системным наукам. IEEE. С. 267–276 т.1. Дои:10.1109 / HICSS.1992.183173. ISBN  0-8186-2420-5.