Claude Cordell Green
|Awards||Grace Murray Hopper Award (1985)|
|Thesis||The application of theorem proving to question-answering systems (1969)|
Green worked at the DARPA Information Processing Techniques Office, where he helped to plan the Speech Understanding Research Project and also served as an assistant to Lawrence Roberts while Roberts was creating ARPANET. At Stanford University, he worked in the Artificial Intelligence Group at the Stanford Research Institute (presently known as SRI International), and worked as a lecturer and assistant professor of computer science in the Stanford University Computer Science Department.
In 1985, Green was awarded the Grace Murray Hopper Award for establishing the theoretical basis for the field of logic programming. In 2002, Green was awarded the Stevens Award for "contributions to methods for software and systems development". He is a fellow of the ACM, the AAAI, and the ASE.
- "Cordell Green". www.nanopolymersystems.com. Nanopolymer Systems Inc. Retrieved 28 April 2019.
- "Dr. Cordell Green, Director at Kestrel Institute". www.kestrel.edu. Kestrel Institute.
- "Cordell Green". acm.org. Association for Computing Machinery.