'information operations & cybersecurity. Univalent type theories: models, equalities, and coherence, dated 20 FEB 2017'

Ended Project Grant Awarded Last action

Award ID
FA95501710290
Recipient
Awarding agency
Obligated
$433,794

Award facts

Assistance listing
12.800 Air Force Defense Research Sciences Program
Completion date
Originally
Place of performance
Great Britain, United Kingdom

Award details come from USAspending.gov.

Transactions

Action Obligated Date
Amendment Covid-19 "univalent type theories: models, equalities, and coherence" $0
Amendment Additional funding: traditional 12 months foreign $71,000
Amendment Increment: traditional 12 months foreign $78,390
Amendment $121,295
Original award 'univalent type theorems: models, equalities, and coherence' $163,109

Quick answers

Who received award FA95501710290?

FA95501710290 was awarded to University Of Leeds by Air Force Research Laboratory (Air Force Materiel Command) on September 1, 2017.

How much is award FA95501710290 worth?

$433,794 has been obligated on FA95501710290.

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