Donald W. Loveland
CS Department Image
Professor Emeritus of Computer Science
Faculty Group: Artificial Intelligence
Email dwl at
Web page


Ph.D., New York University, 1964
S.M., Massachusetts Institute of Technology, 1958
A.B., Oberlin College, 1956

Honors & Awards

Fellow, American Association for the Advancement of Science, 2019
Herbrand Award for Distinguished Contributions to Automated Reasonings, 2001
Fellow, Association for Computing Machinery, 2000
Fellow, American Association for Artificial Intelligence, 1993


Automated theorem proving, logic programming, knowledge evaluation, expert systems, and test-and-treatment problem.