Project Grant 2621137
- Federal Project Grant Award Summary The University of New Hampshire received a $462,473 Project Grant from the National Science Foundation's Division of Computer and Network Systems (CISE program, CFDA 47.070) effective October 1, 2025 through September 30, 2029. The award supports research on ensuring the security of safety-critical embedded systems through the development of novel automated techniques to discover vulnerabilities and triage firmware. The project focuses on automotive vehicle...
- Federal Grant Award Summary The National Science Foundation (NSF) Division of Information and Intelligent Systems awarded the Regents of the University of Michigan a $800,000 Project Grant (CFDA 47.070: Computer and Information Science and Engineering) beginning September 1, 2026, through August 31, 2030. The project develops a neuro-symbolic reasoning framework for hardware-software co-design that integrates artificial intelligence pattern-finding methods with mathematical proof techniques to...
- Federal Grant Award Summary The University of Alabama received a $364,155 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) for the period January 1, 2026 through December 31, 2028. The award funds research and development of uncertainty-aware monitoring techniques for autonomous cyber-physical systems, addressing critical safety assurance gaps in complex...
- Federal Grant Award Summary The University System of New Hampshire, through the University of New Hampshire, received a $245,862 Project Grant award from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) on June 15, 2025, with completion targeted for May 31, 2030. This CAREER award supports research in verifiable decision support systems utilizing pretrained generative language...
- Federal Grant Award Summary The National Science Foundation's Division of Engineering Education and Centers awarded $182,981 to the University of New Mexico (effective October 1, 2025 through September 30, 2027) under the Engineering program (CFDA 47.041) to develop educational tools and research instruments addressing the integration of Generative Artificial Intelligence (GenAI) in chemical engineering practice. The primary deliverables include qualitative research findings on how chemical...
- Federal Grant Award Summary The National Science Foundation's Division of Computer and Network Systems awarded the University of Nebraska at Omaha a $175,000 Computer and Information Science and Engineering (CFDA 47.070) project grant effective October 1, 2025, through September 30, 2027. This award funds research and development of the Multi-Modal Security Enhancement (MUSE) framework, an artificial intelligence-powered navigation and localization system designed to enable unmanned aerial...
- This Project Grant award from the National Science Foundation (NSF) Integrative Activities program (CFDA 47.083) provides $299,998 to the University of New Mexico (UNM) to develop new formal methods for verifying and improving the safety of learning-enabled cyber-physical systems. The research will focus on three core thrusts: 1) computing size-reduced formal abstractions for AI/ML system components to enable safety verification, 2) extending rigorous reachability analysis to verify safety in...
- Federal Grant Award Summary The National Science Foundation (NSF) Division of Electrical, Communications and Cyber Systems awarded $200,000 to the University of Massachusetts on June 15, 2025, under the Engineering program (CFDA 47.041) for a project titled "Closed-Loop Hybrid Intelligence with Optogenetic-Neuromorphic Co-Designed Cell Interfaces." The project, scheduled for completion by May 31, 2028, delivers advanced engineering tools and methods that integrate high-resolution...
- Federal Grant Award Summary The National Science Foundation's Division of Computing and Communication Foundations awarded $450,000 under the Computer and Information Science and Engineering (CFDA 47.070) program to the Regents of the University of California at Riverside for a three-year project (October 1, 2025 – September 30, 2028). The project develops research outputs focused on integrating Large Language Models (LLMs) with existing program analysis tools to improve software vulnerability...
- Federal Project Grant Award Summary The National Science Foundation (NSF), Division of Computer and Network Systems, awarded a $597,192 Project Grant to the University of Texas at Dallas on July 15, 2026, under the Computer and Information Science and Engineering (CFDA 47.070) program. The award funds research and development of set-based verification and falsification methods for autonomous cyber-physical systems (CPS), with completion scheduled for June 30, 2029. The project delivers...
The National Science Foundation's Division of Computing and Communication Foundations awarded the University of New Mexico a $105,454 Project Grant (CFDA 47.070, Computer and Information Science and Engineering) effective December 1, 2025, through September 30, 2026. The award supports the development of novel algorithms and software tools for formal verification of Artificial Neural Network (ANN)-controlled Cyber-Physical Systems (CPS), with applications to safety-critical systems such as autonomous vehicles. The research leverages interval neural networks combined with formal methods techniques, including counter-example guided abstraction refinement and approximate bisimulation, to address scalability challenges in verifying large neural networks with complex physical dynamics. No sub-awards are planned for this project. In addition to core research deliverables, the award supports educational and workforce development activities, including course development, mentorship of undergraduate and graduate students, and K-12 outreach initiatives designed to build capacity in formal analysis of cyber-physical systems. The project is performed at the University of New Mexico's Albuquerque campus and reflects NSF's commitment to advancing rigorous analytical methods that enhance the reliability of safety-critical ANN-CPS applications across civilian domains.Federal Grant Award Summary
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $105.5k | 5/15/26 |