Douglas Smith

Dr. Douglas R. Smith is a Principal Scientist at Kestrel Institute, and Acting CEO of Kestrel Technology LLC. He is a Fellow of the American Association of Artificial Intelligence (AAAI) and an ASE Fellow (Automated Software Engineering). He taught an advanced graduate course on knowledge-based software development at Stanford University during 1986-2000. Dr. Smith was Chairman of IFIP Working Group 2.1 on Algorithmic Languages and Calculi from 1994-2000.

Dr. Smith’s research interests have centered on correct-by-construction program synthesis, formal specifications, algorithm and system design theories, planning/scheduling algorithms, the automatic enforcement of cross-cutting safety and security policies, and system code generation from formalized design patterns and software architectures. Recent projects have focused on generation of complex air operations plans (DARPA RSPACE), synthesis of OS kernel codes with proofs of their correctness (DARPA CRASH), synthesis of secure communication codes together with proofs (DARPA HACMS), planning tools for cyber missions (DARPA PlanX), synthesis of high-performance constraint solvers (DoD), and system design by model refinement (Sandia).