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

David Warren adlı diğer kişiler için bkz. David Warren (belirsizliği giderme).

David H. D. Warren
gidilen okulEdinburgh Üniversitesi
BilinenWarren Soyut Makinesi
Bilimsel kariyer
KurumlarSRI Uluslararası
Quintus Bilgisayar Sistemleri
Bristol Üniversitesi
TezUygulamalı Mantık - Programlama Aracı Olarak Kullanımı ve Uygulaması  (1977)
Doktora danışmanıDonald Michie
Robert Kowalski

David H. D. Warren bir bilgisayar uzmanı öncelikle kim çalıştı mantık programlama ve özellikle Programlama dili Prolog 1970'lerde ve 1980'lerde. Warren ilkini yazdı derleyici Prolog için ve Warren Soyut Makinesi Prolog için yürütme ortamı onun adını almıştır.

Hayatın erken dönemi ve eğitim

Warren bir Doktora[1] içinde yapay zeka -den Edinburgh Üniversitesi 1977'de danışman altında Robert Kowalski ve (ikinci bir danışman) Donald Michie.[2]

Kariyer

Warren, Yapay Zeka Merkezi -de SRI Uluslararası 1980'lerde.[3][4]

Quintus Computer Systems şirketini 1983 yılında William Kornfeld, Lawrence Byrd, Fernando Pereira ve Cuthbert Hurd Prolog derleyicisini ticarileştirmek için.[5] Quintus satıldı Intergraph Corporation, 1989.[6]

Ayrıca akademik bir pozisyonda bulunmuştur. Bristol Üniversitesi Bilgisayar Bilimleri Bölümü.[7]

Referanslar

  1. ^ Warren, David H.D. (1978). "Uygulamalı mantık: bir programlama aracı olarak kullanımı ve uygulaması". hdl:1842/6648. Alıntı dergisi gerektirir | günlük = (Yardım)
  2. ^ David H. D. Warren -de Matematik Şecere Projesi - (10 Ağustos 2014'te erişildi)
  3. ^ "David H.D. Warren". Yapay Zeka Merkezi Mezunu. Yapay Zeka Merkezi. Alındı 26 Mayıs 2010.
  4. ^ Nils J. Nilsson (1984). "SRI Yapay Zeka Merkezi Teknik Notlarının COMTEX Microfiche Sürümüne Giriş". AI Dergisi. 5 (1). s. 49.
  5. ^ Yapay zeka raporu. Yapay Zeka Yayınları. 1983.
  6. ^ David E. Weisberg (2008). "Intergraph" (PDF). Mühendislik Tasarım Devrimi: Mühendislik Uygulamasını Sonsuza Kadar Değiştiren İnsanlar, Şirketler ve Bilgisayar Sistemleri. Alındı 26 Mayıs 2010.
  7. ^ Raina, S .; Warren, D.H.D. (1992). "Transputer emülasyonu yoluyla ölçeklenebilir çok işlemcili trafik desenleri". Yirmi Beşinci Hawaii Uluslararası Sistem Bilimleri Konferansı Bildirileri. IEEE. s. 267–276 cilt.1. doi:10.1109 / HICSS.1992.183173. ISBN  0-8186-2420-5.