Project Grant 2544846
Award Date 10/1/25
Completion Date 9/30/27
Dollars Obligated $300K
Funding Federal Agency
Awarding Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Ames, IA 50011, USA
Similar Awards
- 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...
- This Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...
- The National Science Foundation (NSF) awarded a 4-year, $400,000 Project Grant under the Computer and Information Science and Engineering (CISE) program to the University of Delaware for the development of "Modular Verification of Scientific Software Using Model Checking, Symbolic Execution, and Abstraction." This project aims to create tools to help developers easily identify and eliminate defects in scientific software used across disciplines such as nuclear fusion, quantum...
- 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...
- The National Science Foundation (NSF) awarded a $234,236 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program to The University of Iowa. The grant funds a project that develops new foundations for machine-verified proof in programming languages and mathematics. The project's core contribution is a new impredicative dependent row type theory that enables increased proof modularity and reuse across different theorem proving systems and...
- 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...
- This federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program provides $904,686 to the University of Illinois from October 1, 2025 to September 30, 2029 to advance the application of formal methods, the mathematical techniques used to prove computer system behavior, to visual computing systems. The project aims to develop mathematical frameworks that can provide rigorous quality assurance for technologies used in...
- The National Science Foundation awarded a $597,785 Project Grant to Purdue University to develop new techniques for automated verification and synthesis of input generators in property-based testing frameworks. This grant, funded through NSF's Computer and Information Science and Engineering program (CFDA 47.070), aims to enable precise reasoning about the soundness and completeness of software testing generators. The project will focus on developing new specification frameworks, type systems,...
- This federal Project Grant award, totaling $300,000.00, was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program. The grant supports a collaborative research project that aims to develop new semantic metrics to measure code complexity and guide software developers in writing more comprehensible code. The key objectives are to: (1) validate the correlation between code verifiability and human comprehension, (2)...
- This Project Grant award, provided by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to address scalability and usability challenges in hardware formal verification. The $550,000 award, with a performance period from Oct 1, 2024 to Sep 30, 2027, will be conducted by the Trustees of Princeton University. The key products and services to be delivered under this grant include: 1) developing architecture-driven...