Kestrel Institute is a non-profit computer science research center, located in the Stanford Research Park in Palo Alto, California.

Our research spans formal methods, program synthesis and refinement, program analysis and verification, formal modeling and validation, theorem proving, and planning.

Kestrel’s sponsors and customers include DoD, DARPA, IARPA, AFRL, AFOSR, ONR, NASA, NSF, GE, the Ethereum Foundation, the Decentralization Foundation, the Tezos Foundation, and NRI Secure. Kestrel’s collaborators include Stanford University, Vanderbilt University, UT Austin, MIT, University of Michigan, University of Virginia, Sandia National Laboratories, CACI / Next Century, and Collins Aerospace.