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)
- Other NAICS codes in SAM.gov
- Corporate family
-
-
- Kestrel Development Corporation · Palo Alto, CA DZEXGRYMKM29
-
- 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 .
Contract obligations by fiscal year
| Fiscal year | Obligated |
|---|---|
| FY2027 To date | $0 |
| FY2026 | $0 |
| FY2025 | $311,938 |
| FY2024 | $2,754,962 |
| FY2023 | $3,035,249 |
Contract awards
Latest 5 listed here. See the rest on GovTribe.
Contract subawards
| Prime contractor | Prime award | Amount | Awarded |
|---|---|---|---|
| The Charles Stark Draper Laboratory, Inc. | HR0011259E006 | $792,807 | |
| RTX BBN Technologies, Inc. | FA875025CB064 | $931,395 | |
| RTX BBN Technologies, Inc. | FA875022C1532 | $2,509,054 | |
| RTX BBN Technologies, Inc. | FA875024CB031 | $205,000 |
Grant awards
| Award | Agency | Obligated | Awarded |
|---|---|---|---|
| Sger: effective theories of system design | National Science Foundation | $152,180 | |
| A generative approach of aspect-oriented programming | Department of the Navy | $400,000 |
Similar vendors
| Vendor | Location | Primary NAICS |
|---|---|---|
| Topos Institute | Berkeley, CA | — |
| Caci Inc - Federal | Florham Park, NJ | 541512 Computer Systems Design Services |
| Sift | Minneapolis, MN | 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) |
| Michigan Research Institute | Ann Arbor, MI | 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) |
| Cybernet Systems Corporation | Ann Arbor, MI | 541330 Engineering Services |
About the company
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
Is Kestrel Institute registered in SAM.gov?
Yes. Kestrel Institute's SAM.gov registration is active through October 5, 2027.
How much has Kestrel Institute received in federal contracts?
Federal contracts obligated $311,938 to Kestrel Institute in fiscal year 2025 and $6,102,149 in fiscal years 2023 through 2027.
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 (AFMC), 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