Cordell Green

Dr. Green is Director and Chief Scientist of Kestrel Institute, which he founded in 1981. Dr. Green was presented the Grace Murray Hopper Award by the Association for Computing Machinery (ACM) for establishing the theoretical basis for the field of logic programming. Dr. Green was named the recipient of the 8th International Stevens Award for contributions to methods for software and systems development. Dr. Green developed the foundation theory for Logic Programming, which also formed the foundation for the Deductive Data Base field, as well as many formal, inference-based AI systems. He has made several seminal contributions to the field of program synthesis, including a paper that provided the basis for the Refine language.

Dr. Green’s research interests center in the area of knowledge-based tools for software engineering. He has worked on systems that help to automate acquisition, analysis, and synthesis of software, as well as in the area of foundations of logic programming. His recent interests have been in automated algorithm design, synthesis of visual representations of software, self generation of software, and software that is correct by construction

Dr. Green has served at the Darpa Information Processing Techniques Office as Research and Development Program Manager for artificial intelligence, planning the DARPA Speech Understanding Research Project and serving on the steering committee. At Darpa, he also served as an assistant to Dr. Larry Roberts while he was creating the Arpanet. Dr. Green was Chief Scientist and Program Manager for Computer Science at Systems Control Inc. He served as Research Mathematician in the Artificial Intelligence Group at Stanford Research Institute. He has served as Lecturer and Assistant Professor of Computer Science at Stanford University. Dr. Green has served on the editorial board of the Journal of Automated Reasoning and the Journal of Systems Integration. He served as Associate Editor of the Journal of the Association for Computing Machinery, and also edited the Cognitive Science journal. He serves on the board of five corporations. He is a fellow of the ACM, AAAI, and ASE. Dr. Green received his BA and BS from Rice University. Dr. Green received his MS and PhD from Stanford University.