• Jan 1, 1900
    (b.) - ?

Bio/Description

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.
  • Date of Birth:

    Jan 1, 1900
  • Gender:

    Male
  • Noted For:

    Founder of the Kestrel Institute and known for his research in knowledge based software engineering
  • Category of Achievement:

  • More Info: