Donald Loveland
Professor Emeritus of Computer Science
- Faculty Area:
- 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
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
Research
Automated theorem proving, logic programming, knowledge evaluation, expert systems, and test-and-treatment problem.