Definitive Contract FA875016C0271
Award Date 8/18/16
Potential Completion Date 10/18/18
Potential Value $995K
Federal Agency
Awardee
Ultimate Awardee
Not listed NAICS Category
Federal Contract Vehicle
- Not listed
Set-Aside Type
No Set-Aside Used
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
2
Legislative Mandate
Not listed National Interest Action
Not listed Research Type
Not listed Primary Consortia Member
Not listed Similar Awards
- This is a Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Institute, a non-profit computer science research center, for the DERIVATION MINER project. The $5,866,192.00 contract has an ultimate completion date of October 8, 2018. Kestrel Institute, which conducts research in formal methods, program synthesis and refinement, program analysis and verification, and formal modeling, has provided artificial intelligence software and tools to...
- 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...
- The Department of the Air Force Materiel Command Research Laboratory awarded a firm-fixed-price Definitive Contract to Kestrel Technology LLC, a for-profit limited liability company, for an SMT-Based Unit Testing research project under the SBIR Program Phase I. The $149,908.00 contract has a completion date of April 30, 2020 and is set aside for total small businesses. Kestrel Technology specializes in software safety through static analysis and has received multiple SBIR and STTR 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...
- 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 $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...
- 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 $749,384 Firm Fixed Price contract awarded by the Air Force Research Laboratory (AFRL) to Cmsoft, Inc., a self-certified small disadvantaged business located in Palo Alto, California. The contract is a Small Business Technology Transfer (STTR) Phase II award with a period of performance through December 31, 2024. The contract is for extending the capabilities of Cmsoft's Kestrel software to support parachute deployment and aircraft braking applications. Kestrel is an advanced...
- The Department of the Air Force Materiel Command Research Laboratory awarded a Firm Fixed Price, Definitive Contract to Kestrel Technology LLC, a small business, for a SERVICE-BASED MULTI-DOMAIN PLANNING (SBMD) research effort. The $156,283.00 STTR Phase I contract, which was set aside for total small business, supports Kestrel's work on software assurance, testing, and planning technologies for military and defense applications. Kestrel, a limited liability company, has previously received SBIR...
- This is a Small Business Technology Transfer (STTR) Phase II contract awarded by the Air Force Research Laboratory (AFRL) to Kestrel Technology LLC, a small business, for $999,156.00. The contract is for "EFFECTS DRIVEN MULTI DOMAIN PLANNING" research and development. Kestrel Technology specializes in software analysis and assurance tools, and has received prior SBIR and STTR awards from agencies like DARPA and the Army. This STTR Phase II contract will fund Kestrel's continued work on...