Kestrel Institute
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.
7-day free trial · no credit card
Verified contacts
8
available on Kipplo
LinkedIn employees
11
11 to 50 range
Open roles
—
no listings
Distinct roles
6
indexed titles
Tech stack
1
tools in use
Monthly traffic
—
organic / mo
Sign up free to see all 8 verified contacts at Kestrel Institute
Free for 7 days · 50 credits · no card · only pay for verified records.
Decision-makers and verified team members
8 contacts with verified email or phone · masked until revealed.
- JM
James McDonald
Computer Scientist · Engineering
EmailPhone - RG
Ruben Gamboa
Consultant · Information Technology
EmailPhone - ES
Eric Smith
CEO · Other
EmailPhone - SW
Stephen Westfold
Associate Director · Information Technology
EmailPhone - GJ
Grant Jurgensen
Computer Scientist · Engineering
EmailPhone - CL
Carol Lei
Government Contract Management Professional · Other
EmailPhone
Showing 6 of 8 verified contacts
Top roles at Kestrel Institute
6 distinct titles indexed · top 6 shown.
- 3computer scientist
- 1associate director
- 1ceo
- 1consultant
- 1government contract management professional
- 1tech support
Sign up to unlock all 8 contacts at Kestrel Institute
Free for 7 days · 50 credits · no card · only pay for verified records.
Sign up to reveal 8 verified contacts at Kestrel Institute
7-day trial · no credit card · cancel anytime · only pay for verified records.
Trusted by sales, marketing, and GTM engineering teams.