Neuro-symbolic analysis of source code to identify and prioritize security vulnerability alarms - develop a semi-automated software assurance toolchain that will identify and prioritize bugs and…
Active Cooperative Agreement Awarded
- Award ID
- FA8750262B004
- Recipient
-
The Trustees Of The University Of Pennsylvania UEI GM1XX56LEP58
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $400,000
Award facts
- Assistance listing
- 12.800 Air Force Defense Research Sciences Program
- Completion date 18% complete
- Funding agency
- USAF DFAS Air Force, Department of Defense
- Place of performance
- Pennsylvania, USA
Award details come from USAspending.gov.
About this award
The Department of the Air Force Defense Finance and Accounting Service awarded the University of Pennsylvania a $400,000 cooperative agreement on April 15, 2026, to develop a semi-automated software assurance toolchain that identifies and prioritizes bugs and vulnerabilities in source code using neuro-symbolic analysis methods. The award funds research under the Air Force Defense Research Sciences Program (CFDA 12.800).
The University of Pennsylvania will perform the work in Pennsylvania through April 13, 2029. The toolchain will employ neuro-symbolic analysis to identify and prioritize security vulnerability alarms, reducing manual effort in software assurance workflows. This research supports the Air Force's mission to maintain technological superiority in scientific areas relevant to defense needs and prevent technological surprise.
Description
Neuro-symbolic analysis of source code to identify and prioritize security vulnerability alarms - develop a semi-automated software assurance toolchain that will identify and prioritize bugs and vulnerabilities
Quick answers
Who received award FA8750262B004?
FA8750262B004 was awarded to The Trustees Of The University Of Pennsylvania by Air Force Research Laboratory (Air Force Materiel Command) on April 15, 2026.
How much is award FA8750262B004 worth?
$400,000 has been obligated on FA8750262B004.
Which agency awarded FA8750262B004?
Air Force Research Laboratory (Air Force Materiel Command) awarded FA8750262B004, with funding from USAF DFAS (Air Force).
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