Project Grant 2525359
Award Date 1/1/26
Completion Date 12/31/28
Dollars Obligated $249K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Boise, ID 83725, USA
Similar Awards
- The University of Delaware was awarded a $400,000 Project Grant by the National Science Foundation's Computer and Information Science and Engineering (CISE) program. The grant, awarded on June 1, 2025, supports the development of tools to help researchers and developers easily identify and eliminate defects in scientific software used in critical domains such as nuclear fusion, quantum science, space exploration, cancer research, and biotechnology. The project is pursuing a modular approach to...
- This Project Grant award of $375,000 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support collaborative research at the University of Utah to develop practical formal methods for capturing the correctness expectations of numerical algorithm designers as formal requirements. The project will also develop formal models capable of capturing non-standard hardware behaviors and enable end-to-end correctness...
- This National Science Foundation (NSF) Project Grant award under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $485,773 to Boise State University to develop the Adaptable Realistic Benchmark Generator for Verification (ARG-V) infrastructure. The goal is to automate the process of locating, converting, and classifying benchmark programs from open-source repositories for use in software verification competitions. This will help strengthen the ability of...
- This Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $366,160 to the University of Rochester to develop practical formal methods for capturing the correctness expectations of numerical algorithm designers and formal models capable of bridging the behavioral differences between non-standard hardware and numerical algorithms. The goal is to enable end-to-end correctness verification to...
- 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 Project Grant award from the National Science Foundation (NSF) Office of Advanced Cyberinfrastructure, through the Computer and Information Science and Engineering (CFDA 47.070) program, provides $333,621.00 to Boise State University for a collaborative research project focused on training users, developers, and instructors at the chemistry/physics/materials science interface. The project aims to establish a robust community of materials modeling developers and enhance computational...
- This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Project Grant, with a total award of $406,143, supports research to develop composable semantic models and methodologies for formally verifying the correctness of weakly consistent distributed systems. The award, granted to Northeastern University, will focus on modeling and verifying the semantics of distributed systems rather than specific implementations, enabling reusable proofs and simplified...
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $420,000 in funding to the University of California, Davis to develop a workbench for scientists and engineers to address numerical issues in real-world applications. The goal is to build a set of standards, benchmarks, and user interfaces to make existing numerical software tools more interoperable and easier to use together. The project...
- This $256,710 National Science Foundation award under the Computer and Information Science and Engineering (CFDA 47.070) program supports a collaborative research project led by the University of Texas at Austin. The project investigates full-stack implementation methodologies for developing expressive programming systems that bridge the gap between high-level specifications and high-performance implementations of complex reasoning tasks at scale. Key focus areas include extending declarative...
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...