Donald W. Loveland (original) (raw)

Donald W. Loveland (born December 26, 1934 in Rochester, New York) is a professor emeritus of computer science at Duke University who specializes in artificial intelligence. He is well known for the Davis–Putnam–Logemann–Loveland algorithm. He received the Herbrand Award for Distinguished Contributions to Automated Reasoning in 2001. He is a Fellow of the Association for Computing Machinery (2000), a Fellow of the Association of Artificial Intelligence (1993), and a Fellow of the American Association for the Advancement of Science (2019).