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

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

Research

Automated theorem proving, logic programming, knowledge evaluation, expert systems, and test-and-treatment problem.