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.
 
 

Teaching:

CPS148: Logic and its Applications. Cotaught with Richard Hodel (Math) and Susan Sterrett (Philosophy). (Last taught in spring 2005.)


Spring 2009: Writing a textbook based on course CPS148, together with Richard Hodel and Susan Sterrett.
 
 

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