Davida HD Warrena

W przypadku innych osób o nazwisku David Warren patrz David Warren (ujednoznacznienie) .

Davida HD Warrena
Alma Mater	Uniwersytet w Edynburgu
Znany z	Maszyna abstrakcyjna Warrena
Kariera naukowa
Instytucje	SRI International Quintus Computer Systems University of Bristol
Praca dyplomowa	Logika stosowana - jej użycie i wdrożenie jako narzędzie programistyczne (1977)
Doradca doktorski	Donald Michie Robert Kowalski

David HD Warren jest informatykiem , który w latach 70. i 80. pracował głównie nad programowaniem logicznym , aw szczególności nad językiem programowania Prolog . Warren napisał pierwszy kompilator dla Prologu, a jego imieniem nazwano środowisko wykonawcze Warren Abstract Machine dla Prologu.

Wczesne życie i edukacja

Warren otrzymał tytuł doktora. w dziedzinie sztucznej inteligencji na Uniwersytecie w Edynburgu w 1977 pod kierunkiem doradcy Roberta Kowalskiego i (drugiego doradcy) Donalda Michiego .

Kariera

Warren pracował w Centrum Sztucznej Inteligencji w SRI International w latach 80.

Cuthbertem Hurdem założył firmę Quintus Computer Systems, aby skomercjalizować kompilator Prologu. Quintus został sprzedany firmie Intergraph Corporation w 1989 roku.

Pełnił również funkcję akademicką na Wydziale Informatyki Uniwersytetu w Bristolu .