Kestrel Institute
Kestrel Institute
Want to make a donation using Daffy?
Lower your income taxes with a charitable deduction this year when you donate to this non-profit via Daffy.
Do you work for Kestrel Institute? Learn more here.
By donating on this page you are making an irrevocable contribution to Daffy Charitable Fund, a 501(c)(3) public charity, and a subsequent donation recommendation to the charity listed above, subject to our Member Agreement. Contributions are generally eligible for a charitable tax-deduction and a yearly consolidated receipt will be provided by Daffy. Processing fees may be applied and will reduce the value available to send to the end charity. The recipient organizations have not provided permission for this listing and have not reviewed the content.
Donations to organizations are distributed as soon as the donation is approved and the funds are available. In the rare event that Daffy is unable to fulfill the donation request to this charity, you will be notified and given the opportunity to choose another charity. This may occur if the charity is unresponsive or if the charity is no longer in good standing with regulatory authorities.
About this organization
Mission
Scientific research and development on methods for software assurance.
About
DARPA MUSE: The goal of Kestrel's Muse Project, Derivationminer, is to reconstruct (i.e. mine) formal stepwise refinement derivations from large corpora of programs, specifications, refinements, proofs, and related artifacts. Our approach combines big data analysis, static analysis based on abstract interpretation, verified lifting of programs to logic, and automated transformations for refinement-based synthesis. Mining derivations enables existing code to be re-used, with formally proved assurance, in the context of correct-by-construction developments. Derivationminer explores analysis-by-synthesis, where traditional program analysis is combined with synthesis technology to reconstruct derivations by alternating top-down steps (synthesis) and bottom-up steps (analysis).
Interesting data from their 2019 990 filing
The mission of the non-profit, as stated in the filing, is “Kestrel institute performs research on methods and tools for software assurance - using mathematical models and properties of algorithms and data structures to ensure that software performs predictably and reliably. our research is communicated to the wider academic community through journals, conferences and technical meetings. our tools are used by u.s. and international universities. we occasionally host students for brief periods to work on projects aligned with our research interests.”.
When referring to its tasks, they were described as: “Scientific research and development on methods for software assurance.”.
- The non-profit is operating legally in the state of CA.
- The non-profit's address for the year 2019 is listed as 3260 HILLVIEW AVENUE 2ND FLOOR, PALO ALTO, CA, 943041220 in the filing.
- The form submitted by the non-profit organization for 2019 reports 17 employees.
- Is not a private foundation.
- Expenses are greater than $1,000,000.
- Revenue is greater than $1,000,000.
- Revenue less expenses is -$355,806.
- The organization has 3 independent voting members.
- The organization was formed in 1981.
- The organization pays $2,547,369 in salary, compensation, and benefits to its employees.
- The organization pays $0 in fundraising expenses.