David H. D. Warren
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
| David H. D. Warren | |
|---|---|
| Institutions | SRI International Quintus Computer Systems University of Bristol |
| Alma mater | University of Edinburgh |
| Thesis | Applied Logic - Its Use and Implementation as Programming Tool (1977) |
| Doctoral advisor | Donald Michie Robert Kowalski |
| Known for | Warren Abstract Machine |
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. in artificial intelligence from the University of Edinburgh in 1977 under advisor Robert Kowalski, and (a second advisor) Donald Michie.[1]
Career
Warren worked for the Artificial Intelligence Center at SRI International in the 1980s.[2][3]
He founded the company Quintus Computer Systems in 1983 with William Kornfeld, Lawrence Byrd, Fernando Pereira and Cuthbert Hurd to commercialize the Prolog compiler.[4] Quintus was sold to Intergraph Corporation in 1989.[5]
He has also held an academic position at the University of Bristol Department of Computer Science.[6]
References
- ↑ David H. D. Warren at the Mathematics Genealogy Project -- (accessed August 10, 2014)
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |
