Constructive model of homotopy type theory in higher groupoids
Active Project Grant Awarded Last action
- Award ID
- FA95502410302
- Recipient
-
Chalmers Tekniska Hogskola Aktiebolag UEI H3JTLWKLGJY4
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $509,997
Award facts
- Assistance listing
- 12.800 Air Force Defense Research Sciences Program
- Completion date 69% complete
- Place of performance
- Sweden
Award details come from USAspending.gov.
About this award
The U.S. Air Force Research Laboratory awarded a $509,997 Project Grant under the Air Force Defense Research Sciences Program (CFDA 12.800) to Chalmers Tekniska Hogskola Aktiebolag, a private university and non-profit educational institution located in Gothenburg, Sweden. The grant, which runs from October 1, 2024 to September 30, 2027, will support research on "Constructive Model of Homotopy Type Theory in Higher Groupoids." This specialized scientific research aims to maintain technological superiority for the U.S. Air Force and Space Force by advancing fundamental knowledge in areas critical to national defense capabilities. Chalmers Tekniska Hogskola Aktiebolag has a track record of delivering high-quality research and technical solutions to U.S. government agencies through both contract and grant awards.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Amendment | $0 | |
| Original award | $509,997 |
Quick answers
Who received award FA95502410302?
FA95502410302 was awarded to Chalmers Tekniska Hogskola Aktiebolag by Air Force Research Laboratory (Air Force Materiel Command) on October 1, 2024.
How much is award FA95502410302 worth?
$509,997 has been obligated on FA95502410302.
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