Dr. 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.