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

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.