| Kestrel Institute | |
| Type: | Think tank |
| Registration Id: | 94-2750021 |
| Status: | Nonprofit |
| Purpose: | R&D on methods for software assurance[1] |
| Location: | Palo Alto, California |
| Fields: | Computer science |
| Owners: | --> |
| Leader Title: | Director |
| Leader Name: | Cordell Green |
| Revenue: | $4.9 million |
| Revenue Year: | 2015 |
The Kestrel Institute is a nonprofit computer science research center located in Palo Alto's Stanford Research Park. Cordell Green, who founded Kestrel in 1981, is its Director and Chief Scientist.[2] [1] Its mission is to make it easier to write good, high-quality software and employs computer scientists like Lambert Meertens.[3]
In the 1980s, Kestrel described its research focus as "knowledge-based software environments" to make it easier to write software ("normalize and mechanize the programming process").[4] In addition, a 2002 MIT Technology Review article described one of Kestrel's projects as a way to "almost force coders to write reliable programs".[5] A 2005 Newsweek article discussed one Kestrel technology that developed software to help the U.S. military schedule cargo deployment by "translating a description of a problem into guidelines a computer can understand".[6]
Nearly all of Kestrel's funding comes from government grants, from organizations such as the U.S. Department of Defense, DARPA, Intelligence Advanced Research Projects Activity (IARPA), Air Force Research Laboratory (AFRL), AFOSR, Office of Naval Research (ONR), NASA, and the National Science Foundation (NSF).[7] [8] In 2015, it received $4.9 million in grants and contributions, down from the previous year's $6.6 million.[1]