Project Grant 2543611
- Federal Grant Award Summary The National Science Foundation (NSF) Division of Computer and Network Systems awarded the University of Maryland, College Park a Project Grant of $331,428 (CFDA 47.070 – Computer and Information Science and Engineering) commencing October 1, 2025, with a completion date of September 30, 2030. This CAREER award supports research focused on secure code generation with large language models (Code LLMs), addressing critical security vulnerabilities in AI-driven...
- Federal Project Grant Award Summary The National Science Foundation's Division of Information and Intelligent Systems awarded a $358,200 Computer and Information Science and Engineering (CFDA 47.070) Project Grant to the University of Maryland, College Park, effective June 1, 2026 through May 31, 2031. This CAREER award funds the development of an approximation-first telemetry architecture for hyperscale networked systems that addresses the critical challenge of monitoring large-scale...
- Federal Grant Award Summary The National Science Foundation's Division of Information and Intelligent Systems awarded the University of Michigan a Project Grant totaling $424,806 (award date: May 1, 2026; completion date: April 30, 2031) under the Computer and Information Science and Engineering program (CFDA 47.070). This CAREER award supports the development of formal verification methodologies and tools for parsing components and type checkers. The project will deliver domain-specific...
- Federal Grant Award Summary The University of Maryland, College Park received a $348,145 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), effective May 1, 2025 through April 30, 2030. This CAREER award supports the development of computational infrastructure and methods for retrophylogenomics—an emerging field that leverages retrotransposon data to...
- Federal Grant Award Summary The National Science Foundation's Division of Computer and Network Systems awarded the University of Massachusetts a $600,000 Project Grant (CFDA 47.070 – Computer and Information Science and Engineering) effective August 1, 2025, through July 31, 2028. The project develops models, algorithms, hardware platforms, and foundational methods for repurposing discarded smartphones as battery-free, long-lived remote sensing platforms for environmental monitoring...
- Federal Grant Award Summary The National Science Foundation (NSF) Division of Information and Intelligent Systems awarded a CAREER grant totaling $315,154 to the Regents of the University of California at Riverside on July 1, 2026, under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The project, "Redefining Testing Foundations for Heterogeneity-Aware AI Compilation," will operate through June 30, 2031, and develops a cross-layer testing framework to...
- Federal Grant Award Summary Carnegie Mellon University received a $899,996 Project Grant award from the National Science Foundation's Division of Computing and Communication Foundations (CFDA 47.070) effective October 1, 2025, through September 30, 2029. The grant funds the development of probabilistic modeling and analysis tools designed to simplify software development for intermittent systems—computing devices that operate without batteries by harvesting energy from environmental sources such...
- Federal Grant Award Summary The University of Florida Division of Sponsored Research received a $341,006 Project Grant award effective October 1, 2025, through the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), administered by the Division of Computing and Communication Foundations. This CAREER award funds research on formal verification methodologies and toolchains to enable trustworthy complex learning-enabled autonomy systems....
- Federal Grant Award Summary The National Science Foundation's Division of Computer and Network Systems awarded a CAREER grant totaling $427,891 to The University of Kentucky Research Foundation on July 15, 2025, under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award supports foundational research through June 30, 2030, focused on developing RESONET (Resilient and Secure Operation of Networked Real-Time Systems), an innovative architecture designed to...
- Federal Project Grant Award Summary The National Science Foundation (NSF) Division of Information and Intelligent Systems awarded a five-year CAREER grant of $381,641 to the University of Wisconsin–Madison, effective September 1, 2026 through August 31, 2031, under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). This project will develop formal verification specifications and proof techniques for ensuring software update correctness, addressing a critical gap...
The National Science Foundation's Division of Information and Intelligent Systems awarded the University of Maryland, College Park a $399,522 Project Grant under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) effective June 1, 2026, through May 31, 2031. This CAREER award supports the development of formally verified operating systems and software verification tools for batteryless, energy-harvesting intermittent computing platforms. The project delivers theoretical frameworks, programming languages, and verification methodologies designed to ensure that applications running on energy-harvesting devices execute correctly and securely despite frequent power failures—a critical capability for deploying advanced computing systems in safety-critical applications such as biomedical implants, disaster zone monitoring, and satellite systems. The award produces practical tools and integrated verification frameworks that enable developers to write and verify intermittent system software directly or through artificial intelligence-based code generation workflows. Key deliverables include the first formal model of an intermittence-safe operating system, new programming languages for intermittent systems, and verification frameworks that integrate with AI-based code generation tools. Through these outputs, the project advances the trustworthiness of energy-harvesting computing platforms while establishing developer resources and educational pathways for creating provably correct system software, thereby reducing costly bugs and cybersecurity vulnerabilities in critical applications.Federal Grant Award Summary
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $399.5k | 4/24/26 |