| Duke University
Department of Computer Science People (rev. 1.10) |
Donald W. Loveland
PROFESSOR EMERITUS OF COMPUTER SCIENCE
Artificial Intelligence
A.B., Oberlin College, 1956 S.M., Massachusetts Institute of Technology, 1958 Ph.D., New York University, 1964
Research Focus: Automated theorem proving, logic programming, knowledge evaluation, expert systems, test-and-treatment problem.
Spring 2005 teaching:
CPS148: Logic and its Applications. Cotaught with Richard Hodel (Math) and Susan Sterrett (Philosophy).
A professional activity of general CS interest:
- Author of the report to NSF --- Automated Deduction: Some Achievements and Future Directions.(1997)
General CV: