David H. D. Warren
David H. D. Warren | |
---|---|
Alma mater | University of Edinburgh |
Known for | Warren Abstract Machine |
Scientific career | |
Institutions | SRI International Quintus Computer Systems University of Bristol |
Thesis | Applied Logic - Its Use and Implementation as Programming Tool (1977) |
Doctoral advisor | Donald Michie Robert Kowalski |
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 Ph.D.[1] in artificial intelligence from the University of Edinburgh in 1977 under advisor Robert Kowalski, and (a second advisor) Donald Michie.[2]
Career
Warren worked for the Artificial Intelligence Center at SRI International in the 1980s.[3][4]
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.[5] Quintus was sold to Intergraph Corporation in 1989.[6]
He has also held an academic position at the University of Bristol Department of Computer Science.[7]
References
- ^ Warren, David H. D. (1978). "Applied logic : its use and implementation as a programming tool". hdl:1842/6648.
{{cite journal}}
: Cite journal requires|journal=
(help) - ^ David H. D. Warren at the Mathematics Genealogy Project -- (accessed 10 August 2014)
- ^ "David H.D. Warren". Alumnus of the Artificial Intelligence Center. Artificial Intelligence Center. Retrieved 26 May 2010.
- ^ Nils J. Nilsson (1984). "Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center Technical Notes". AI Magazine. Vol. 5, no. 1. p. 49.
- ^ The Artificial intelligence report. Artificial Intelligence Publications. 1983.
- ^ David E. Weisberg (2008). "Intergraph" (PDF). The Engineering Design Revolution:The People, Companies and Computer Systems That Changed Forever the Practice of Engineering. Archived from the original (PDF) on 7 July 2010. Retrieved 26 May 2010.
- ^ Raina, S.; Warren, D.H.D. (1992). "Traffic patterns in a scalable multiprocessor through transputer emulation". Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences. IEEE. pp. 267–276 vol.1. doi:10.1109/HICSS.1992.183173. ISBN 0-8186-2420-5. S2CID 62278813.
- CS1 errors: missing periodical
- Use dmy dates from March 2018
- Use British English from March 2018
- Articles with hCards
- Articles with FAST identifiers
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NTA identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- Living people
- Alumni of the University of Edinburgh
- British computer scientists
- SRI International people
- Logic programming researchers
- Academics of the University of Bristol
- Year of birth missing (living people)
- All stub articles
- Computer specialist stubs