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 acomputer scientist who worked primarily onlogic programming and in particular theprogramming languageProlog in the 1970s and 1980s. Warren wrote the firstcompiler for Prolog, and theWarren Abstract Machine execution environment for Prolog is named after him.
Warren received aPh.D.[1] inartificial intelligence from theUniversity of Edinburgh in 1977 under advisorRobert Kowalski, and (a second advisor)Donald Michie.[2]
Warren worked for theArtificial Intelligence Center atSRI International in the 1980s.[3][4]
He founded the company Quintus Computer Systems in 1983 with William Kornfeld, Lawrence Byrd, Fernando Pereira andCuthbert Hurd to commercialize the Prolog compiler,Quintus Prolog.[5] Quintus was sold toIntergraph Corporation in 1989.[6]
He has also held an academic position at theUniversity of Bristol Department of Computer Science.[7]
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
 | This biographical article relating to a computer specialist is astub. You can help Wikipedia byexpanding it. |
