Pegisus: proof engineering and integration with satisfiability modulo theories type of award: cooperative agreement the recipient

Active Cooperative Agreement Awarded Last action

Award ID
FA87502421001
Recipient
Awarding agency
Obligated
$4,512,469

Award facts

Assistance listing
12.910 Research and Technology Development
Completion date 68% complete
Funding agency
Defense Advanced Research Projects Agency Department of Defense
Place of performance
United States

Award details come from USAspending.gov.

Transactions

Action Obligated Date
Amendment $400,000
Amendment $1,179,677
Amendment $362,544
Amendment Name of effort: pegisus: proof engineering and integration with satisfiability modulo theories type of award: cooperative agreement the recipient $300,000
Amendment $868,713
Amendment $301,535
Original award $1,100,000

Subawards

Subrecipient Amount Awarded
The University Of Iowa The proposed work is fundamental research and will be carried out on four university campuses. The work will be highly collaborative, with multiple universities… $90,000
Bar Ilan University $114,747
Fundacao De Desenvolvimento DA Pesquisa "The proposed work is fundamental research and will be carried out on four university campuses. The work will be highly collaborative, with multiple… $126,207
The University Of Iowa The proposed work is fundamental research and will be carried out on four university campuses. The work will be highly collaborative, with multiple universities… $363,069
Fundacao De Desenvolvimento DA Pesquisa "The proposed work is fundamental research and will be carried out on four university campuses. The work will be highly collaborative, with multiple… $38,787
Bar Ilan University The proposed work is fundamental research and will be carried out on four university campuses. The work will be highly collaborative, with multiple universities… $35,265
The University Of Iowa $111,580
Fundacao De Desenvolvimento DA Pesquisa "The proposed work is fundamental research and will be carried out on four university campuses. The work will be highly collaborative, with multiple… $92,939
Bar Ilan University The proposed work is fundamental research and will be carried out on four university campuses. The work will be highly collaborative, with multiple universities… $84,499
The University Of Iowa $267,364
Fundacao De Desenvolvimento DA Pesquisa "The proposed work is fundamental research and will be carried out on four university campuses. The work will be highly collaborative, with multiple… $112,344
Bar Ilan University The proposed work is fundamental research and will be carried out on four university campuses. The work will be highly collaborative, with multiple universities… $102,150
The University Of Iowa $366,821
Show all 13

Quick answers

Who received award FA87502421001?

FA87502421001 was awarded to The Leland Stanford Junior University by Air Force Research Laboratory (Air Force Materiel Command) on March 29, 2024.

How much is award FA87502421001 worth?

$4,512,469 has been obligated on FA87502421001.

Which agency awarded FA87502421001?

Air Force Research Laboratory (Air Force Materiel Command) awarded FA87502421001, with funding from Defense Advanced Research Projects Agency (Department of Defense).

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