(muri) "synthetic and constructive mathematics of higher structures in homotopy type theory"

Active Project Grant Awarded Last action

Award ID
FA95502110009
Recipient
Awarding agency
Obligated
$7,491,196

Award facts

Completion date 96% complete
Originally
Place of performance
California, USA

Award details come from USAspending.gov.

Transactions

Action Obligated Date
Amendment $0
Amendment $1,498,901
Amendment Modification to exercise option 1 and provide partial funding. (muri-FY20). Synthetic and constructive mathematics of higher structures in homotopy type theory. $1,495,371
Amendment Modification to provide incremental funding and update a report title. (muri-FY20). Synthetic and constructive mathematics of higher structures in homotopy type… $1,499,322
Amendment Incremental funding and terms and conditions update modification. Muri-FY20. Synthetic and constructive mathematics of higher structures in homotopy type… $1,498,147
Original award $1,499,455

Subawards

Subrecipient Amount Awarded
Regents Of The University Of Minnesota "The University of San Diego (The Prime Contractor) is submitting a project titled “Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type… $0
Carnegie-Mellon University Professor Awodey is an expert on homotopy type theory, category theory, and formal logic. He has been an active researcher and developer of the homotopy type… $0
Carnegie-Mellon University "The focus of investigator Harper's interest in the project is on the computational content of higher type theory and its application to program development and… $0
The Johns Hopkins University "The PI has past and ongoing projects in directed type theory (joint with Shulman, and joint with Sattler) and cubical type theory (joint with Awodey,… $0
Wesleyan University Licata will collaborate with the other MURI team members, their students and postdocs, and his own students and postdocs on the topics of the proposal. The… $0
The Johns Hopkins University "The PI has past and ongoing projects in directed type theory (joint with Shulman, and joint with Sattler) and cubical type theory (joint with Awodey,… $128,842
Carnegie-Mellon University "The focus of investigator Harper's interest in the project is on the computational content of higher type theory and its application to program development and… $214,855
Carnegie-Mellon University Professor Awodey is an expert on homotopy type theory, category theory, and formal logic. He has been an active researcher and developer of the homotopy type… $542,945
Regents Of The University Of Minnesota "The University of San Diego (The Prime Contractor) is submitting a project titled “Synthetic and Constructive Mathematics of Higher Structures in… $254,580
Wesleyan University Licata will collaborate with the other MURI team members, their students and postdocs, and his own students and postdocs on the topics of the proposal. The… $175,602
Carnegie-Mellon University "The focus of investigator Harper's interest in the project is on the computational content of higher type theory and its application to program development and… $215,871
The Johns Hopkins University "The PI has past and ongoing projects in directed type theory (joint with Shulman, and joint with Sattler) and cubical type theory (joint with Awodey,… $128,706
Carnegie-Mellon University Professor Awodey is an expert on homotopy type theory, category theory, and formal logic. He has been an active researcher and developer of the homotopy type… $494,359
Regents Of The University Of Minnesota "The University of San Diego (The Prime Contractor) is submitting a project titled “Synthetic and Constructive Mathematics of Higher Structures in… $196,667
Wesleyan University Licata will collaborate with the other MURI team members, their students and postdocs, and his own students and postdocs on the topics of the proposal. The… $237,460
Show all 15

Quick answers

Who received award FA95502110009?

FA95502110009 was awarded to University Of San Diego by Air Force Research Laboratory (Air Force Materiel Command) on January 15, 2021.

How much is award FA95502110009 worth?

$7,491,196 has been obligated on FA95502110009.

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
Try for free Login