Douglas R. Smith
Douglas R. Smith studies how programs can be constructed from formal descriptions of a problem. His work connects AI reasoning, algorithm design, and software correctness. Smith earned a Duke computer science doctorate in 1979. His later research focused on automatic program synthesis. Smith taught an advanced graduate course on knowledge-based software development at Stanford from 1986 to 2000.
Timeline
-
1979
Doctoral training
Smith earned a Duke computer science doctorate in 1979. His later research focused on automatic program synthesis.
-
1986–2000
Knowledge-based software education
Smith taught an advanced graduate course on knowledge-based software development at Stanford from 1986 to 2000.
-
1990
The KIDS system
Smith published a 1990 paper on KIDS, a semi-automatic program development system. It connects formal specifications with the development of executable software.
-
1995
Research recognition
AAAI elected Douglas R. Smith as a Fellow in 1995.
-
2012
Shared algorithm synthesis
Smith worked with Srinivas Nedunuri and William Cook in 2012 on synthesizing breadth-first search and families of graph algorithms.
Sources and credits
Photo: www.kestrel.edu; Douglas R. Smith profile photograph; creator not stated. License: Not stated by source. Source: kestrel.edu. Cropped to a square and resized. Ask us to remove or replace this photo.