imported>OpalYosutebito: Adding local short description: "British computer scientist", overriding Wikidata description "artificial intelligence researcher"

2025-08-22T00:20:55Z

Adding local short description: "British computer scientist", overriding Wikidata description "artificial intelligence researcher"

New page

{{Short description|British computer scientist}}
{{other people|David Warren}}
{{Use dmy dates|date=March 2018}}
{{Use British English|date=March 2018}}
{{Infobox scientist
| name = David H. D. Warren
| image =
| image_size =
| alt =
| caption =
| birth_date = 
| birth_place =
| death_date = 
| death_place =
| residence =
| citizenship =
| nationality = 
| ethnicity =
| fields =
| workplaces = [[SRI International]]<br/>Quintus Computer Systems<br/>[[University of Bristol]]
| alma_mater = [[University of Edinburgh]]
| doctoral_advisor = [[Donald Michie]]<br />[[Robert Kowalski]]
| academic_advisors =
| doctoral_students =
| notable_students =
| thesis_title = Applied Logic - Its Use and Implementation as Programming Tool
| thesis_year = 1977
| thesis_url = https://web.archive.org/web/20101214142244/http://www.ai.sri.com/pubs/files/656.pdf
| known_for = [[Warren Abstract Machine]]
| author_abbrev_bot =
| author_abbrev_zoo =
| influences =
| influenced =
| awards =
| footnotes =
}}
'''David H. D. Warren''' is a [[computer scientist]] who worked primarily on [[logic programming]] and in particular the [[programming language]] [[Prolog]] in the 1970s and 1980s. Warren wrote the first [[compiler]] for Prolog, and the [[Warren Abstract Machine]] execution environment for Prolog is named after him.

==Early life and education==
Warren received a [[Doctor of Philosophy|Ph.D.]]<ref>{{Cite thesis|degree=PhD|date=1978|title=Applied logic : its use and implementation as a programming tool|language=en|hdl=1842/6648|last1=Warren|first1=David H. D.}}</ref> in [[artificial intelligence]] from the [[University of Edinburgh]] in 1977 under advisor [[Robert Kowalski]], and (a second advisor) [[Donald Michie]].<ref>{{MathGenealogy|id=127986}} -- (accessed 10 August 2014)</ref>

==Career==
Warren worked for the [[Artificial Intelligence Center]] at [[SRI International]] in the 1980s.<ref>{{cite web |title= David H.D. Warren |work= Alumnus of the Artificial Intelligence Center |publisher= [[Artificial Intelligence Center]] |url= http://www.ai.sri.com/people/warren |access-date=2010-05-26}}</ref><ref>{{cite news |author= Nils J. Nilsson |author-link= Nils J. Nilsson|title= Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center Technical Notes |url= http://www.aaai.org/ojs/index.php/aimagazine/article/download/424/360 |page= 49 |work= AI Magazine |volume= 5 |number= 1 |year= 1984 }}</ref>

He founded the company Quintus Computer Systems in 1983 with William Kornfeld, Lawrence Byrd, Fernando Pereira and [[Cuthbert Hurd]] to commercialize the Prolog compiler, [[Quintus Prolog]].<ref>{{cite book |title=The Artificial intelligence report |url=https://books.google.com/books?id=xILpAAAAMAAJ |year=1983 |publisher=Artificial Intelligence Publications}}</ref> Quintus was sold to [[Intergraph Corporation]] in 1989.<ref>{{cite book |title= The Engineering Design Revolution:The People, Companies and Computer Systems That Changed Forever the Practice of Engineering |author= David E. Weisberg |chapter= Intergraph |chapter-url= http://www.cadhistory.net/chapters/14_Intergraph.pdf |year= 2008 |access-date= 26 May 2010 |archive-date= 7 July 2010 |archive-url= https://web.archive.org/web/20100707074339/http://www.cadhistory.net/chapters/14_Intergraph.pdf |url-status= dead }}</ref>

He has also held an academic position at the [[University of Bristol]] Department of Computer Science.<ref>{{cite book|chapter=Traffic patterns in a scalable multiprocessor through transputer emulation|publisher=[[IEEE]]|doi=10.1109/HICSS.1992.183173|title=Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences|pages=267–276 vol.1|year=1992|last1=Raina|first1=S.|last2=Warren|first2=D.H.D.|isbn=0-8186-2420-5|s2cid=62278813}}</ref>

==References==
{{Reflist}}

{{Authority control}}

{{DEFAULTSORT:Warren, David H.D.}}
[[Category:Living people]]
[[Category:Alumni of the University of Edinburgh]]
[[Category:British computer scientists]]
[[Category:SRI International people]]
[[Category:Logic programming researchers]]
[[Category:Academics of the University of Bristol]]
[[Category:Year of birth missing (living people)]]

{{compu-bio-stub}}

David H. D. Warren - Revision history

imported>OpalYosutebito: Adding local short description: "British computer scientist", overriding Wikidata description "artificial intelligence researcher"