Project Grant 2616466
Award Date 10/1/26
Completion Date 9/30/30
Dollars Obligated $400K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Gainesville, FL 32611, USA
Similar Awards
- The National Science Foundation Division of Information and Intelligent Systems awarded Clemson University $300,000 on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop technologies for identifying, monitoring, and verifying information flows among vehicular components in connected and autonomous vehicles. The project will establish a scientific foundation for information flow verification in complex vehicular systems through three...
- The National Science Foundation Division of Information and Intelligent Systems awarded Portland State University $300,000 on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop technologies for identifying, monitoring, and verifying information flows among vehicular computer systems and sensors. The project establishes scientific foundations for information flow verification in complex vehicular systems across three integrated research...
- The National Science Foundation Division of Computing and Communication Foundations awarded the University of Florida $341,006 on October 1, 2025, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop formal verification methods and toolchains for learning-enabled autonomous systems. The project addresses safety and robustness of deep neural networks in safety-critical autonomy applications by creating new formal method foundations for modeling,...
- The University of Florida was awarded a $305,000 project grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070) to develop tools and methods for information flow validation in system-on-chip designs. The three-year award running from October 1, 2022 to September 30, 2025 will support research to create a scientific foundation and comprehensive automated framework of integrated tools to systematically address challenges in...
- The National Science Foundation Division of Information and Intelligent Systems awarded the University of Florida $399,756 on October 1, 2025, to develop qualitative and quantitative safety assessment methodologies for learning-enabled autonomous systems operating in unfamiliar or unprecedented environments. The research targets foundational challenges in system-level safety verification for learning systems that interact with the physical world—such as autonomous vehicles, robotics, and...
- The National Science Foundation Division of Computing and Communication Foundations awarded the University of Florida Division of Sponsored Research $110,359 on October 1, 2025, under the Computer and Information Science and Engineering program (CFDA 47.070). The award funds development of STARV, a quantitative verification tool for learning-enabled cyber-physical systems. The project addresses the gap in formal methods for verifying temporal properties of machine learning-based applications...
- Federal Grant Award Summary The National Science Foundation's Division of Information and Intelligent Systems awarded the University of Florida a $258,882 Project Grant (CFDA 47.070: Computer and Information Science and Engineering) on August 15, 2025, to develop MELIOREM, an automated cyberinfrastructure tool designed to enhance the safety and dependability of autonomous vehicles. The primary deliverable is an integrated evaluation platform that leverages high-performance computing...
- The National Science Foundation Division of Computer and Network Systems awarded the University of Florida $659,317 on June 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop assured reinforcement learning methods that enable cyber-physical systems—including robotaxis, service robots, and autonomous drones—to adapt to individual human preferences from simple feedback while maintaining safety, privacy, and security. The project will develop...
- Federal Project Grant Award Summary The National Science Foundation (NSF) awarded $550,199 to the University of Florida under the Engineering program (CFDA 47.041) on October 1, 2025, for the VISUALS project (Verifiable Information-Theoretic Safety Under Augmented Latent Shifts). This three-year initiative, concluding September 30, 2028, develops methodologies to ensure the safety and reliability of vision-based autonomous systems when exposed to visual shifts—such as sun glares and seasonal...
- The National Science Foundation Division of Computer and Network Systems awarded $597,192 to the University of Texas at Dallas on July 15, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) for research on set-based verification and falsification methods for autonomous vehicle software stacks. The project develops zonotope-based mathematical representations to verify and falsify cyber-physical systems used in autonomous vehicles, agricultural robotics, and...