Kestrel Institute
Palo Alto, CA
- UEI
- YJ1MX6KTQYN6
- CAGE
- 5T703
- Primary NAICS
- 541511 Custom Computer Programming Services
- SAM.gov registration
- Active through
Company facts
- Self-certified in SAM.gov
- Entity structure
- Corporate Entity (Tax Exempt)
- NAICS codes registered in SAM.gov
- SAM.gov registration date
- Physical address
- 3260 Hillview Ave, Palo Alto, CA 94304, USA
- Website
- kestrel.edu
- Founded
- 1981
- Employees
- 11-50
- Estimated annual revenue
- $1M-$10M
- Industry
-
- Consumer Discretionary
- Diversified Consumer Services
- Education Services
- Education
- SIC code
- 82 Educational Services
- Profiles
Registration and certifications come from SAM.gov and the SBA; company details from public web sources. Updated .
Recent federal awards
| Award | Agency | Obligated | Awarded |
|---|---|---|---|
| Shift c scharp in fight tonight | Air Force Research Laboratory | $6,444,832 | |
| ML proof assistant for ACL2 | Defense Advanced Research Projects Agency | $998,706 | |
| Protogen | Office of Naval Research | $5,466,375 | |
| -- SOW titled, "flex: a more scalable, explainable, and trustable formal inference engine" | Naval Information Warfare Systems Command | $967,520 | |
| A formal toolchain for trusted and resilient software | Air Force Research Laboratory | $995,052 |
About Kestrel Institute
Kestrel Institute is a non-profit computer science research center that provides research and development services to the federal government, primarily in the areas of formal methods, program synthesis and refinement, program analysis and verification, and formal modeling.
Through prime and subcontract awards, Kestrel Institute has provided artificial intelligence software and tools to support combat planning for the Air Force, as well as research and prototyping of an ML proof assistant system for the Defense Advanced Research Projects Agency. As a subcontractor, Kestrel Institute has provided engineering services to integrate software and update concepts of operations and tactics, techniques, and procedures to incorporate new functionality.
Through a subaward under a National Science Foundation grant to the University of Michigan, Kestrel Institute has conducted research on computational techniques for the trusted and resilient operation of autonomous cyberphysical systems, focusing on allowing autonomous vehicles to withstand cyberattacks and defects to complete missions.
Quick answers
What is Kestrel Institute's UEI?
Kestrel Institute's Unique Entity ID (UEI) in SAM.gov is YJ1MX6KTQYN6.
What is Kestrel Institute's CAGE code?
Kestrel Institute's CAGE code is 5T703.
What is Kestrel Institute's primary NAICS code?
Kestrel Institute's primary NAICS code is 541511 (Custom Computer Programming Services).
Where is Kestrel Institute located?
Kestrel Institute's physical address in SAM.gov is 3260 Hillview Ave, Palo Alto, CA 94304, USA.
Is Kestrel Institute registered in SAM.gov?
Yes. Kestrel Institute's SAM.gov registration is active through October 6, 2026.
What is Kestrel Institute's most recent federal award?
Kestrel Institute's most recent federal contract award is Shift c scharp in fight tonight (FA875022C1530), from Air Force Research Laboratory, on August 8, 2022.
On GovTribe
See Kestrel Institute's full federal record
- Federal contract awards
- IDV awards
- Federal grant awards
- Subcontracting relationships
- Funding analysis by agency, NAICS and set-aside
- Similar vendors