Skip to the ledger

GrantClerk

NSF award 2621137 · University of New Mexico

SHF: Small: Scalable Formal Verification of ANN controlled Cyber-Physical Systems

Final report due

28 January 2027

in 102 days · The award ends on 30 September 2026.

GrantClerk is a private service. We are not NSF or any government agency.

Dates this award owes

NSF emails you about this too.

  • Final report due28 Jan 2027in 102 days

    award ending 2026-09-30 · Research.gov

  • Project outcomes report due28 Jan 2027in 102 days

    award ending 2026-09-30 · Research.gov

  • Award is closed out28 Jan 2027in 102 days

    award ending 2026-09-30 · Research.gov

Annual report dates come from the budget period on your award notice. That date is not public, so it is not shown here.

How we got this date

  1. NSF lists this award's end date as 30 September 2026.
  2. NSF rules say the final report is due no later than 120 days after that.
  3. So the final report is due by 28 January 2027.

Read the rule on Research.gov

Get a note before each report date

Add this award to your desk. We email you before each date and keep the dates in one place.

Renews each year until you cancel. Cancel any time from your account.

Already a member? Sign in

Award card

Award number
2621137
Period of support
1 Dec 2025 – 30 Sep 2026
Amount
$450,000
Awardee
University of New Mexico, Albuquerque, NM
Program
Special Projects - CCF, Software & Hardware Foundation, CPS-Cyber-Physical Systems
Directorate
CSE

Abstract

Artificial Neural Networks (ANN) are increasingly being employed to monitor and control Cyber-Physical Systems (CPS), as in autonomous ground and aerial vehicles. With increasing complexity and safety criticality of these systems, formal-verification techniques that provide rigorous guarantees are urgently needed. The broad goal of the research is to develop novel algorithms and software tools for formal…

Is this right?

We copy this from the public NSF award record. Your award notice and NSF always win. If a date looks wrong, check Research.gov.

More awards at University of New Mexico