CS Faculty Photo

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

Fellow, American Association for the Advancement of Science, 2019
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.