Department of Computer Science
People (rev. 1.10)
Donald W. Loveland
PROFESSOR EMERITUS OF COMPUTER SCIENCE
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.
CPS148: Logic and its Applications. Cotaught with Richard Hodel (Math) and Susan Sterrett (Philosophy). (Last taught in spring 2005.)
A professional activity of general CS interest:
- Book: Three Views of Logic: Mathematics, Philosophy, and Computer Science. With coauthors Richard E. Hodel and S. G. Sterrett.
Princeton University Press, 2014, xv+322 pp.
- Author of the report to NSF --- Automated Deduction: Some Achievements and Future Directions.(1997)