Who We Are‎ > ‎

Cordell Green

Cordell Green, Ph.D. is a member of Nanopolymer Systems’ Business Advisory Board and Chairman and CEO of Kestrel Institute, which he founded in 1981. Cordell 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, question answering and planning systems. His Ph.D. dissertation in 1969 established a formal basis for Question Answering, based on extending resolution theorem provers to construct witnesses as answers to questions. Several of the research efforts in the Acquaint program base their approach on this foundation. He has made several contributions to the field of program synthesis, including a paper that provided the basis for the Refine language, and a paper providing the basis for automated synthesis of software visualization.

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. His recent interests have been in automated algorithm design, synthesis of visual representations of software, and the role of automated design in software engineering.

Cordell was presented the Grace Murray Hopper Award by the Association for Computing Machinery (ACM) in 1985 for establishing the theoretical basis for the field of logic programming. In 2002, he was named the recipient of the 8th International Stevens Award for contributions to methods for software and systems development.

Cordell has served on several NASA panels, reviewing research and studying future software and hardware architectures and practices for the Space Station. He served on earlier Space Station Study for the National Academy of Science.

He recently served on the Defense Science Board Task Force on Software, and was co-author of the "Report of the DSB Task Force on Software" November 2000.

He served on the Air Force Studies Board for 6 years and participated in 3 published software studies.

Cordell served at the ARPA Information Processing Techniques Office in '70-'71 as Research and Development Program Manager for artificial intelligence (where he also helped Larry Roberts who was inventing the Arpa Net). He planned the ARPA Speech Understanding Research Project and later served on the steering committee from '71-76.

He led the '73 KBSA (Knowledge-Based Software Assistant) study for Air Force Rome Labs.  The study planned a successful R&D project that resulted in new software tools for reliability and productivity, and helped initiate the Knowledge-Based Software Engineering Conference, which has now become the Automated Software Engineering Conference.

Cordell has served on the editorial board of the Journal of Automated Reasoning and the Journal of Systems Integration. He has worked in an editorial capacity for Cognitive Science and the Journal of the Association for Computing Machinery. From 1971-78, Cordell was Assistant Professor of Computer Science at Stanford University.  Prior to forming Kestrel Institute, he was Chief Scientist and Program Manager for Computer Science at Systems Control, Inc.  From 1966-69, he served as Research Mathematician in the Artificial Intelligence Group at Stanford Research Institute.  Cordell was founder and first Chairman of the Board of Reasoning Inc., a commercial company, supplying high-tech tools and services for software re-engineering and defect finding.

BA, Rice University, 1963
BS, Rice University, 1964
MS, Stanford University, 1965.
PhD, Electrical Engineering, Stanford University, 1969.