Technology for analysis and synthesis of
high-assurance software applications

 

Kestrel Institute is a non-profit computer science research institute. Our mission is to make formal methods work in practice. We develop and apply technology for synthesis and automated analysis of mission-critical systems. Based on methods from logic, algebra and category theory, our advanced automated generators combine general algorithm and data-structure design principles with domain-specific application knowledge.

Located in Stanford Research Park, Palo Alto -- the birthplace of Silicon Valley -- Kestrel Institute is close to such places as Stanford University, PARC and SRI. Our researchers combine expertise in program synthesis, theorem proving, category theory, software environments and programming languages.   Kestrel's funding agencies include DARPA, AFRL, ONR and NASA.

Specware