SOW titled, "flex: a more scalable, explainable, and trustable formal inference engine"
Ended Definitive Contract Awarded Last action
- Contract number
- N6600118C4010
- Awardee
-
Kestrel Institute UEI YJ1MX6KTQYN6
- Awarding agency
-
Naval Information Warfare Systems Command
Department of the Navy, Department of Defense
- Obligated
- $967,520
Award facts
- Opportunity
-
- HR001117S0033 Solicitation number
- Cyber Assured Systems Engineering (CASE) Award Notice · Posted May 12, 2017
- Contract value 33% obligated
-
- $967,520.00 Current, with exercised options
- $2,894,306.00 Potential, with all options
- Completion date 100% complete
-
- Current, with exercised options
- Potential, with all options
- Contracting staff
- Funding agency
- Defense Advanced Research Projects Agency Department of Defense
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition · 62 offers Negotiated Proposal / Quote
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- Palo Alto, CA 94304, USA
- Legislative mandates
-
- Economy Act FAR subpart 17.5
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Funding Only Action | $835,184 | |
| Original award | $132,336 |
About this award
This is a $2,894,306 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to the Kestrel Institute, a non-profit computer science research center. The contract is for the development of "FLEX: A More Scalable, Explainable, and Trustable Formal Inference Engine," which aligns with DARPA's work on formal methods, program analysis and verification, and artificial intelligence. The contract has a period of performance through February 14, 2022 and does not have a set-aside designation. Kestrel Institute has previously provided AI software and tools to support combat planning for the Air Force, as well as research and prototyping of an ML proof assistant system for DARPA.
Quick answers
Who was awarded contract N6600118C4010?
N6600118C4010 was awarded to Kestrel Institute by Naval Information Warfare Systems Command (Department of the Navy) on February 15, 2018.
How much is contract N6600118C4010 worth?
The government has obligated $967,520 on N6600118C4010. Its potential value, with all options, is $2,894,306.
Which agency awarded contract N6600118C4010?
Naval Information Warfare Systems Command (Department of the Navy) awarded N6600118C4010, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract N6600118C4010 competed?
The extent of competition for N6600118C4010 was full and open competition. The government received 62 offers.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award