Kestrel Institute
942750021
EIN
1981
Founded
Palo Alto, CA 94304 United States
Address
kestrel.edu
Web
1802734
Traffic
More from Palo Alto
Addison Elementary School PTA |
|
INSTITUTE FOR SECURITY AND ANALYSIS |
|
McDorobush Family Foundation |
|
BRUCE AND DIANE PARKER FOUNDATION |
|
MUDZIORG |
80 - 100
Employee
4.5
Reviews
Palo Alto
Place
About the organization
- W30 -
Kestrel Institute Kestrel Institute is a nonprofit computer science research centerlocated in the Stanford Research Park in Palo Alto California. Our research spansformal methodsprogram synthesis and refinementprogram analysis and verificationformal modeling and validationtheorem provingand planning. Kestrels sponsors and customers includeDoDDARPAIARPAAFRLAFOSRONRNASANSFGEthe Ethereum Foundationthe Decentralization Foundationthe Tezos Foundationand NRI Secure. Kestrels collaborators includeStanford UniversityVanderbilt UniversityUT AustinMITUniversity of MichiganUniversity of VirginiaSandia National LaboratoriesCACI Next Centuryand Collins Aerospace.
Military/Veterans' Organizations
23 Vacancy
More Detail
