#1 Startup Dataset
Growth rates, revenue data, direct competitors and contact details.
Stephen Westfold Email
Associate Director . Kestrel Institute
,
LocationPrimary Email
How to contact Stephen Westfold
Join and see Stephen's contact info for free!Phone
Current Roles
Employees:
15Revenue:
$1.3MAbout
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 customers include DoD, DARPA, IARPA, AFRL, AFOSR, ONR, NASA, NSF, GE, the Ethereum Foundation, and the Decentralization Foundation.Kestrel Institute Address
null, null
United States