Project Grant 2541053
Award Date 5/1/26
Completion Date 4/30/31
Dollars Obligated $405K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Minneapolis, MN 55455, USA
Similar Awards
- 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 The University of Minnesota's Regents received a $393,606 CAREER (Careers) award from the National Science Foundation (NSF) Division of Computing and Communication Foundations under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). Funded from July 1, 2026, through June 30, 2031, this five-year project will develop novel artificial intelligence (AI) methods and tools to optimize adaptive experimental design across large, structured...
- 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...
- Federal Grant Award Summary Purdue University received a $391,123 CAREER award from the National Science Foundation (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070), effective September 1, 2026 through August 31, 2031. The project develops novel formal methods techniques and a trustworthy framework for software developers to rigorously explore, examine, and understand the behavior of potentially flawed...
- 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 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 This NSF CAREER award, totaling $560,000 and administered through the Engineering program (CFDA 47.041), funds a five-year project (April 1, 2026 – March 31, 2031) at Rochester Institute of Technology to develop adaptive machine learning systems capable of continuous learning without catastrophic forgetting. The primary deliverables include fundamental algorithms and theoretical frameworks for continual learning that leverage Bayesian uncertainty quantification,...
- This $600,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to enable developers to perform fine-grained software testing, thereby increasing software quality. The research project will: (1) develop a language and framework for expressing and using fine-grained tests; (2) automatically generate fine-grained tests from code or existing tests; (3) adapt fine-grained tests to software evolution and...
- 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 Grant Award Summary Purdue University received a $401,546 CAREER award from the National Science Foundation's Division of Information and Intelligent Systems (Computer and Information Science and Engineering program, CFDA 47.070) effective June 1, 2026 through May 31, 2031. The project, titled "PTM-SEER: Software Engineering Foundations for Re-Using Pre-Trained Neural Models," addresses the engineering challenges associated with discovering, evaluating, adapting, and...