David H. D. Warren - David H. D. Warren

Pro ostatní lidi jménem David Warren viz David Warren (disambiguation).

David H. D. Warren
Alma materUniversity of Edinburgh
Známý jakoWarrenův abstraktní stroj
Vědecká kariéra
InstituceSRI International
Počítačové systémy Quintus
University of Bristol
TezeAplikovaná logika - její použití a implementace jako programovacího nástroje  (1977)
Doktorský poradceDonald Michie
Robert Kowalski

David H. D. Warren je počítačový vědec kteří pracovali především na logické programování a zejména programovací jazyk Prolog v 70. a 80. letech. Warren napsal první překladač pro Prolog a Warrenův abstraktní stroj po něm je pojmenováno prováděcí prostředí pro Prolog.

raný život a vzdělávání

Warren obdržel a Ph.D.[1] v umělá inteligence z University of Edinburgh v roce 1977 pod vedením poradce Robert Kowalski, a (druhý poradce) Donald Michie.[2]

Kariéra

Warren pracoval pro Centrum umělé inteligence na SRI International v 80. letech.[3][4]

Společnost Quintus Computer Systems založil v roce 1983 s Williamem Kornfeldem, Lawrencem Byrdem, Fernandem Pereirou a Cuthbert Hurd komercializovat překladač Prolog.[5] Quintus byl prodán Intergraph Corporation v roce 1989.[6]

Zastával také akademickou pozici na VŠE University of Bristol Ústav výpočetní techniky.[7]

Reference

  1. ^ Warren, David H. D. (1978). "Aplikovaná logika: její použití a implementace jako programovacího nástroje". hdl:1842/6648. Citovat deník vyžaduje | deník = (Pomoc)
  2. ^ David H. D. Warren na Matematický genealogický projekt - (zpřístupněno 10. srpna 2014)
  3. ^ „David H.D. Warren“. Absolvent Střediska umělé inteligence. Centrum umělé inteligence. Citováno 26. května 2010.
  4. ^ Nils J. Nilsson (1984). „Úvod do vydání COMTEX Microfiche vydání Střediska umělé inteligence SRI Technické poznámky“. AI Magazine. 5 (1). str. 49.
  5. ^ Zpráva o umělé inteligenci. Publikace umělé inteligence. 1983.
  6. ^ David E. Weisberg (2008). "Intergraph" (PDF). Revoluce inženýrského designu: Lidé, společnosti a počítačové systémy, které se navždy změnily v technické praxi. Citováno 26. května 2010.
  7. ^ Raina, S .; Warren, D.H.D. (1992). Msgstr "Dopravní vzorce ve škálovatelném multiprocesoru prostřednictvím emulace transportéru". Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences. IEEE. 267–276 obj. 1. doi:10.1109 / HICSS.1992.183173. ISBN  0-8186-2420-5.