Kestrel Institute
Computer Software - , ,
Kestrel Institute Employees
Kestrel Institute Details
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.
Website:
kestrel.edu
Employees:
11 - 50
HQ:
Location:
, ,
Revenue:
Kestrel Institute Technologies
Load Balancers
Ubuntu
SSL Certificates
OpenSSL
Other
Mobile Friendly