Definitive Contract FA875015C0007
Award Date 10/8/14
Potential Completion Date 10/8/18
Potential Value $5.9M
Funding Federal Agency
Contracting Federal Agency
Awardee
Ultimate Awardee
Not listed NAICS Category
Set-Aside Type
No Set-Aside Used
Federal Contract Vehicle
- Not listed
Extent Competed
Full and Open Competition
Major Defense Program
Not listed Pricing Type
Cost Plus Fixed Fee
Place of Performance
Palo Alto, CA 94304, USA
Solicitation Procedures
Basic Research
Number Of Offers Received
51
Legislative Mandate
Not listed National Interest Action
Not listed Research Type
Not listed Primary Consortia Member
Not listed Similar Awards
- 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...
- This is a $5,997,613.00 federal contract awarded by the Department of the Navy Office of Naval Research to the non-profit Kestrel Institute. The contract, which does not have a set-aside designation, is for the PROTOGEN program and is a definitive contract with a cost-plus-fixed-fee pricing type. The completion date is September 30, 2023. Kestrel Institute is a computer science research center that provides R&D services to the federal government, including work on formal methods, program...
- This is a $6,444,832.00 cost plus fixed fee contract awarded by the Air Force Research Laboratory (AFRL) to the Kestrel Institute, a non-profit computer science research organization. The contract supports the AFRL's "Fight Tonight" program, which aims to revolutionize air operations planning through an AI-enabled interactive game engine for developing, rehearsing, and assessing combat plans. The contract was awarded on August 8, 2022 with a completion date of February 7, 2025. It...
- Kestrel Institute was awarded a $995,052 cost-plus-fixed-fee definitive contract by the Department of the Air Force Materiel Command Research Laboratory to deliver a formal toolchain for trusted and resilient software. Performance will occur in Palo Alto, California through October 2018. The Research Laboratory supports the Air Force's efforts to ensure mission assurance through analyzable, trustworthy systems, and this contract responds to those needs by providing a framework for developing...
- This is a $1,157,899.83 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Technology LLC, a small business, under the Small Business Innovation Research (SBIR) program. The contract is for the RCLAIM: CORPUS- AND LOGIC-BASED AUTOMATED IDENTIFICATION OF MALWARE research and development effort, which aims to develop software tools and technologies for improving the analysis and detection of malware. Kestrel Technology LLC specializes in...
- This is a $1,436,205.00 Small Business Innovation Research (SBIR) Phase II contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Technology LLC, a small business located in Palo Alto, California. The contract is for an effort entitled "Binary Assurance Through Proofs of Properties" and will run through July 13, 2026. Kestrel Technology specializes in developing software tools and technologies to improve software safety and security, with a focus on...
- The Defense Advanced Research Projects Agency (DOD) awarded a $998,706 Other Transaction Agreement to Kestrel Institute of Palo Alto, California to provide an ML Proof Assistant for the ACL2 system. The contract will run from January 31, 2022 through September 30, 2023 in Palo Alto. Kestrel Institute will develop an ML Proof Assistant to support formal verification of software and hardware designs using the ACL2 theorem prover under an other pricing structure. No subcontractors were identified.
- This contract was awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Technology LLC, a small business, to conduct research and development on verified network stack synthesis for the seL4 microkernel. The $229,812.80 firm fixed-price contract was awarded under DARPA's Small Business Innovation Research (SBIR) program and is focused on developing technologies to make software safer through static analysis, binary assurance proofs, and test generation. Kestrel Technology...
- This is a $224,160.00 DARPA SBIR Phase I contract awarded to Kestrel Technology LLC, a small business based in Palo Alto, CA. The contract is for a research effort titled "Binary Assurance Through Proofs of Properties" and was set aside for total small businesses. Kestrel Technology specializes in software safety and security, providing binary analysis tools for malware detection and reverse engineering. This SBIR contract supports Kestrel's research and development of technologies...
- This is a $13,270,639.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to SRI International, a large non-profit research and development institute. The contract supports a DARPA research project and does not have a small business set-aside designation. As a prime contractor, SRI International has subcontracted work to two organizations: Kestrel Institute, a non-profit computer science research center, and Siege Technologies, LLC, a...