Synthesis of High-Assurance Software

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

Our mission is to advance the art and practice of synthesizing provably correct code from high-level specifications, to increase assurance, security, safety, productivity, and performance.

Our researchers combine expertise in program synthesis, theorem proving, software environments, and programming languages.

Kestrel's research is supported by DoD, DARPA, IARPA, AFRL, AFOSR, ONR, NASA, NSF, GE, the Ethereum Foundation, and the Decentralization Foundation.