Project Grant 2525287
Award Date 10/1/25
Completion Date 9/30/29
Dollars Obligated $905K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Urbana, IL 61801, USA
Similar Awards
- The National Science Foundation (NSF) awarded a $260,000 Project Grant under the Computer and Information Science and Engineering (CISE) program to the University of Illinois for the project "COLLABORATIVE RESEARCH: SLES: VERIFYING AND ENFORCING SAFETY CONSTRAINTS IN AI-BASED SEQUENTIAL GENERATION". This 3-year project aims to develop formal verification methods and constrained generation techniques to ensure the safety and reliability of AI models used for sequential data processing...
- This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...
- This $375,000 federal Project Grant was awarded on April 15, 2025 by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program. The award supports collaborative research by the University of Utah to develop practical formal methods for capturing the correctness expectations of numerical algorithm designers, formal models for non-standard hardware, and end-to-end correctness verification methods. The goal is to help advance the nation's...
- This $360,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to improve the reliability and performance of parallelizing compilers by automatically verifying that translated parallel code has the same functionality as the original sequential code. The project will involve precise modeling of sequential and parallel program behavior, developing a verification tool, and mathematically proving the...
- This $620,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports the development of an end-to-end toolchain for formally verifying the correctness of concurrent C programs. The goal is to create tools that can mathematically prove the behavior of high-performance C programs that use advanced concurrency features, in order to improve software reliability and reduce failures. The project builds on the Verified...
- The National Science Foundation (NSF) awarded a $366,160 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the University of Rochester. The award supports collaborative research to develop practical formal methods for capturing the correctness expectations of numerical algorithm designers as formal requirements, as well as formal models capable of representing non-standard hardware and bridging behavioral differences to present uniform higher-level...
- The University of Illinois was awarded a $1,200,000 project grant from the National Science Foundation Division of Information and Intelligent Systems. The grant is part of the NSF's Computer and Information Science and Engineering program (CFDA #47.070) and will support the creation of knowledge through all-novel-class computer vision research from September 2021 through August 2025. As part of the grant, the University will conduct investigator-initiated research and education in computer...
- This federal Project Grant awarded by the National Science Foundation (NSF) Computer and Information Science and Engineering (CFDA 47.070) program aims to develop a computer vision framework that learns and understands the physical world in a compositional manner. The $450,626 award to the University of Illinois, with a period of performance from July 1, 2025 to June 30, 2030, will support research to establish a unified framework for representing, parsing, and reasoning about the...
- The National Science Foundation (NSF) awarded a $300,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the Illinois Institute of Technology (IIT) Sponsored Research and Programs Division. The grant aims to address the growing need for formal reasoning about the safety, security, and reliability of complex software systems when heterogeneous analysis methods are applied. The key products and services to be delivered through this 3-year award...
- This $875,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports the development of "Performance Verification", an automated reasoning framework to evaluate the reliability and availability of complex networked systems. The project aims to create formal modeling and specification methods to represent the behavior of modern networked systems, along with automated techniques to generate...