Dependent type theory for verified quantum software
Active Project Grant Awarded Last action
- Award ID
- FA95502110041
- Recipient
-
Dalhousie University UEI C1FXPHMHR966
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $850,000
Award facts
- Assistance listing
- 12.800 Air Force Defense Research Sciences Program
- Completion date 99% complete
- Originally
- Place of performance
- 2323 Riverside Dr., Ottawa, ON K1H 1A1, Canada
Award details come from USAspending.gov.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Amendment | $0 | |
| Amendment | $170,000 | |
| Amendment | $170,000 | |
| Amendment | $170,000 | |
| Amendment | $170,000 | |
| Original award | $170,000 |
Quick answers
Who received award FA95502110041?
FA95502110041 was awarded to Dalhousie University by Air Force Research Laboratory (Air Force Materiel Command) on November 15, 2020.
How much is award FA95502110041 worth?
$850,000 has been obligated on FA95502110041.
On GovTribe
See this award's full record
- Every transaction and subaward
- The recipient's other awards and teaming partners
- Similar grant awards
- Ask GovTribe AI about this award