Founder of the Kestrel Institute and known for his research in knowledge-based software engineering, Green has served as Director and Chief Scientist of Kestrel Institute, which he founded in 1981. He 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. Green was also named the recipient of the 8th International Stevens Award for contributions to methods for software and systems development.
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 made several seminal contributions to the field of program synthesis, including a paper that provided the basis for the Refine language.
