Smellcps: symbolic math expressions from low-level logic in cyber-physical systems
Ended Other Transaction Agreement Awarded Last action
- Contract number
- HR00112190020
- Awardee
-
University Of Southern California UEI G88KLJR3KYT5
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $989,774
Award facts
- Contract value 100% obligated
- $989,774.00 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- NAICS code
- Not on record
- Set-aside
- No set-aside
- Competition
- Competed Program Solicitation
- Pricing
- Other
- Place of performance
- Dockweiler, CA 90007, USA
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Other Administrative Action | $0 | |
| Other Administrative Action | $0 | |
| Exercise an Option | $494,181 | |
| Funding Only Action | $295,593 | |
| Other Administrative Action | $0 | |
| Original award | $200,000 |
About this award
The University of Southern California Department of Contracts and Grants Division, doing business as USC, has been awarded a $989,774 Other Transaction Agreement by the Defense Advanced Research Projects Agency to perform work on the project "Symbolic Math Expressions from Low-Level Logic in Cyber-Physical Systems." The prime contractor, USC, will develop techniques to automatically generate symbolic mathematical expressions from low-level logic specifications of cyber-physical systems for the agency through August 31, 2022. Work will be conducted in Dockweiler, California. DARPA seeks to advance the state of the art in formal methods and modeling to enhance the security and trustworthiness of emerging technologies integrating computing and physical processes. This contract was awarded without any set-aside designation by DARPA in support of its technical goals.
Quick answers
Who was awarded contract HR00112190020?
HR00112190020 was awarded to University Of Southern California by Defense Advanced Research Projects Agency (Department of Defense) on November 17, 2020.
How much is contract HR00112190020 worth?
The government has obligated $989,774 on HR00112190020.
Was contract HR00112190020 competed?
The extent of competition for HR00112190020 was competed.
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