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:

• curriculum vitae

[BACK]