Donald W. Loveland
CS Department Image
Professor Emeritus of Computer Science
Faculty Group: Artificial Intelligence
Email dwl at cs.duke.edu
Web page http://www.cs.duke.edu/~dwl

Education

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.

Research

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