David HD Warren
David HD Warren is a British computer scientist .
He received his Ph.D. in 1977. Artificial Intelligence at the University of Edinburgh .
In the 1970s and 1980s he worked on logic programming , and in particular the Prolog programming language , for which he wrote the first compiler . The model of an ideal processor developed for this is named after him Warren's Abstract Machine .
Warren then worked at the Artificial Intelligence Center ( SRI International , San Francisco) in the 1980s .
With William Kornfeld, Lawrence Byrd, Fernando Perreira and Cuthbert Hurd , he founded the company Quintus Computer Systems in 1983 to market his Prolog compiler, the company was sold to the Intergraph Corporation in 1989 .
Web links
- "David + H. + D. + Warren" David HD Warren's works , Google Books
- David HD Warren's works , DBLP (en)
- David Warren , MathGenealogy
Individual evidence
- ^ David HD Warren. In: Alumnus of the Artificial Intelligence Center. SRI International, accessed May 26, 2010 .
- ^ Nils J. Nilsson: Introduction to the COMTEX Microfiche Edition of the SRI Artificial Intelligence Center Technical Notes . In: AI Magazine . tape 5 , no. 1 , 1984, p. 49 (English, web document ).
- ↑ Artificial Intelligence Publications (Ed.): The Artificial intelligence report . 1983.
- ^ David E. Weisberg: The Engineering Design Revolution: The People, Companies and Computer Systems That Changed Forever the Practice of Engineering . Intergraph ( The Engineering Design Revolution [accessed May 26, 2010]).
personal data | |
---|---|
SURNAME | Warren, David HD |
BRIEF DESCRIPTION | British computer scientist |
DATE OF BIRTH | 20th century |