Project Grant 2534982
Award Date 6/1/26
Completion Date 5/31/29
Dollars Obligated $600K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Boulder, CO 80309, USA
Similar Awards
- Federal Project Grant Award Summary The University of New Mexico received a $105,454 Project Grant 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), effective December 1, 2025, with completion targeted for September 30, 2026. This award supports research and development of scalable formal verification algorithms and software tools for Artificial Neural Network...
- 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 of Southern California received a $1.2 million Project Grant from the National Science Foundation (NSF) under the Computer and Information Science and Engineering program (CFDA 47.070), effective August 1, 2025, through July 31, 2028. The award, titled "Latent Representation Learning for Verifiable Sensor-Rich Systems," will deliver advanced algorithmic frameworks and control design methodologies for cyber-physical systems (CPS) that operate...
- Federal Project Grant Award Summary The National Science Foundation (NSF) awarded $600,000 under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to University of California, Berkeley for research on provable enforcement of hard constraints in reinforcement learning (RL)-based controllers for safety-critical cyber-physical systems. The award, effective January 1, 2026, through December 31, 2028, supports the development of formal frameworks and techniques that...
- Federal Grant Award Summary The National Science Foundation (NSF) Division of Information and Intelligent Systems awarded $374,997 to the University of Colorado-Denver under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to develop comprehensive, hands-on virtual learning materials for teaching data science in cybersecurity contexts. The project, initiated August 1, 2025, and concluding July 31, 2028, addresses the critical shortage of qualified cybersecurity...
- 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 Project Grant Award Summary Massachusetts Institute of Technology received a $500,000 Project Grant from the National Science Foundation (NSF) Division of Computer and Network Systems under the Computer and Information Science and Engineering program (CFDA 47.070), awarded August 1, 2025, with completion targeted for July 31, 2028. This collaborative research initiative addresses safety and reliability challenges in air traffic control by developing an integrated cyber-physical systems...
- This $500,000 Project Grant was awarded on May 1, 2025 by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) to the Regents of the University of Michigan. The project, titled "CPS: SMALL: LIFTED HYBRIDIZATION: A NEW REPRESENTATION FOR EFFICIENT CONTROL AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS", seeks to develop new theories, algorithms, and tools to enable more effective and robust control of...
- Federal Grant Award Summary Colorado State University received a $225,000 Project Grant from the National Science Foundation's (NSF) Division of Computing and Communication Foundations under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), effective October 1, 2025, through September 30, 2028. This collaborative research initiative focuses on developing semantic-aware code generation techniques for Large Language Models (LLMs) to improve the quality and...
- Federal Grant Award Summary The National Science Foundation (NSF) Division of Information and Intelligent Systems awarded $249,999 to the University of Michigan-Dearborn under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) on January 15, 2026, for collaborative research through December 31, 2028. The project will develop a physics-informed probabilistic prognostics platform called Modular Analytics for Prognostics with Small Data (MAPS), designed to enable...