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