Professor Emeritus of Computer Science
- Faculty Area:
- Artificial Intelligence
- dwl at cs.duke.edu
- Web page:
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.
Automated theorem proving, logic programming, knowledge evaluation, expert systems, and test-and-treatment problem.