Over 1.8 million nonprofits and charities for donors, volunteers and funders
150 Pageviews Read Stories
Mission: 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.
Programs: 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).
planx acs:----------plan x is a foundational program to research and develop platforms to plan for, conduct, and assess cyber defense. Towards this end the program will bridge cyber communities of interest from academe, to the defense industrial base, to the commercial tech industry, to user-experience experts.
scharp (darpa/rspace program):------------------------------rspace seeks to create a revolutionary distributed planning capability to provide resilient command and control (c2) and to manage complex military operations even when communications are limited and unreliable. Rspace is developing human-centered software decision aids that, based on the commander's intent, will help operators throughout the c2 enterprise control daily operations in a complex battlespace composing mission packages (coordinating across the network as needed), responding to emerging opportunities, and assessing progress towards achieving the commander's intent. Rspace is focused on the operational level of the air operations domain.
all other programs