David H. D. Warren facts for kids
Quick facts for kids
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 famous computer scientist. He is best known for his work with logic programming. This is a special way to tell computers how to solve problems using rules.
He worked a lot on a programming language called Prolog in the 1970s and 1980s. David Warren created the very first compiler for Prolog. A compiler turns the code you write into something the computer can understand. The important Warren Abstract Machine (WAM) for Prolog is named after him. The WAM helps Prolog programs run faster and more efficiently.
Learning and Early Life
David Warren earned a special degree called a Ph.D. in 1977. He studied artificial intelligence at the University of Edinburgh in Scotland. Artificial intelligence (AI) is about making computers smart, so they can think and learn like humans. His main teachers for this degree were Robert Kowalski and Donald Michie.
His Work and Career
In the 1980s, David Warren worked at the Artificial Intelligence Center. This center is part of SRI International, which is a big research organization.
In 1983, he started a company called Quintus Computer Systems. He started it with William Kornfeld, Lawrence Byrd, Fernando Pereira, and Cuthbert Hurd. Their goal was to sell his special Prolog compiler to other companies. This compiler was known as Quintus Prolog. Quintus Computer Systems was later sold to another company, Intergraph Corporation, in 1989.
Besides his work in companies, David Warren also taught at a university. He was a professor in the Computer Science Department at the University of Bristol.
