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.
View Top Employees from Kestrel Institute| Website | https://www.kestrel.edu/ |
| Employees | 13 (8 on RocketReach) |
| Founded | 1981 |
| Technologies | |
| Industry | Software Development |
| Web Rank | 16 Million |
| Keywords | Teepe Ban Logic Is Not Sound, Answering Question Ability |
Looking for a particular Kestrel Institute employee's phone or email?
Kestrel Institute Questions
8 people are employed at Kestrel Institute.
Top Kestrel Institute Employees
-
4
-
33
-
23
Related Companies
How It Works
Get a Free Account
Sign up for a free account. No credit card required. Up to 5
free lookups / month.
Search
Search over 700
million verified professionals across 35 million companies.
Get Contact Info
Get contact details including emails and phone numbers
(business & personal).
G2Crowd Trusted
300K+
Plugin Users
