CS Faculty Photo

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

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.