Kestrel Institute

Synthesis of High-Assurance Software

Current job opportunities

Portions of this site are currently under construction (April, 2012).
Please bear with us; there are new and exciting changes afoot.

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, productivity and performance.

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

Kestrel's research is supported by NSF, GE, DoD, DARPA, IARPA, AFRL, ONR, OSR, and NASA.

Specware

Specware^® is Kestrel Institute's leading-edge system for advanced software development.