Venus: formal verification for neural systems
Ended Definitive Contract Awarded Last action
- Contract number
- FA875018C0095
- Awardee
-
Imperial College Of Science, Technology And Medicine UEI T9F5NHX87N25
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $1,354,615
Award facts
- Opportunity
-
- HR001117S0045 Solicitation number
- Venus: formal verification for neural systems Award Notice · Posted Jul 9, 2018
- Assured Autonomy Award Notice · Posted Aug 18, 2017
- Contract value 100% obligated
- $1,354,615.00 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- 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 · 34 offers Basic Research
- Pricing
- Cost No Fee
- Place of performance
- Great Britain, United Kingdom
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Supplemental Agreement for work within scope | $151,537 | |
| Funding Only Action | $103,000 | |
| Funding Only Action | $96,637 | |
| Funding Only Action | $300,000 | |
| Funding Only Action | $371,078 | |
| Funding Only Action | $146,496 | |
| Original award | $185,867 |
About this award
This is a $1,354,615.00 definitive, cost-no-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Imperial College of Science, Technology and Medicine, doing business as Imperial College London. The contract, titled "VENUS: FORMAL VERIFICATION FOR NEURAL SYSTEMS", does not have a set-aside designation.
The contract aims to leverage Imperial College London's expertise in scientific research and development to support DARPA's objectives. As a world-renowned research university, Imperial College London has extensive experience collaborating with U.S. government agencies on a variety of high-level programs, including work for NASA, the Centers for Disease Control and Prevention, and the Department of Defense. This contract award demonstrates the institution's ability to deliver specialized scientific capabilities to the federal government through both prime and sub-awards.
Quick answers
Who was awarded contract FA875018C0095?
FA875018C0095 was awarded to Imperial College Of Science, Technology And Medicine by Air Force Research Laboratory (Air Force Materiel Command) on July 9, 2018.
How much is contract FA875018C0095 worth?
The government has obligated $1,354,615 on FA875018C0095.
Which agency awarded contract FA875018C0095?
Air Force Research Laboratory (Air Force Materiel Command) awarded FA875018C0095, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract FA875018C0095 competed?
The extent of competition for FA875018C0095 was full and open competition. The government received 34 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