Pioneer
Cordell Green
Also Known As Claude Cordell Green · C. Cordell Green
Computing Methodologies
Claude Cordell Green (1941 to 2025) was an American computer scientist and director of the Kestrel Institute who earned his PhD at Stanford University in 1969 under John McCarthy. He received the ACM Grace Murray Hopper Award in 1985 for establishing the theoretical basis of the field of logic programming, and the Stevens Award in 2002 for his work on software and systems development methods. Earlier in his career he worked at DARPA's Information Processing Techniques Office on the Speech Understanding Research Project and with Lawrence Roberts on the development of ARPANET. He was a fellow of the Association for Computing Machinery and the Association for the Advancement of Artificial Intelligence.
Facts
AwardGrace Murray Hopper Award 1 FAQs
What was Cordell Green honored for with the ACM Grace Murray Hopper Award?
He was honored for key parts of the theoretical basis of logic programming.
The Association for Computing Machinery gave Cordell Green its Grace Murray Hopper Award for 1985. The citation credits him with establishing several key aspects of the theoretical basis for logic programming and with providing a resolution theorem prover that carries out a programming task by constructing the result the program is to compute. ACM adds that these contributions gave an early theoretical basis for Prolog and logic programming.
What did Cordell Green do at DARPA?
He managed artificial intelligence research and assisted Larry Roberts on the ARPANET.
At the Defense Advanced Research Projects Agency, Cordell Green worked in the Information Processing Techniques Office as research and development program manager for artificial intelligence. He planned the DARPA speech understanding research project and served on its steering committee. He also served as an assistant to Larry Roberts while Roberts was creating the ARPANET.
Connections
In Field
Source Cordell Green (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikidata: Cordell Green
Wikidata Q31271080, class allow-list match (w-wdresolver-0926)View the Source Cordell Green (Wikipedia)
In Field: Artificial Intelligence, LeadQuote, In Field: Artificial Intelligence, Lead
At Stanford, Green was a lecturer and assistant professor of computer science and was part of the Artificial Intelligence Group at the Stanford Research Institute (now known as SRI International).
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.