Project Grant 2546785
- This $119,159 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, awarded on February 15, 2025, aims to develop scalable formal verification methods for quantum software. The goal is to ensure the correctness and reliability of safety-critical and security-critical quantum applications, where errors or vulnerabilities could lead to catastrophic outcomes. The project, to be completed by January 31, 2027, will...
- Grant Summary Rutgers, The State University received a $266,000 Project Grant awarded May 1, 2026, through the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070), Division of Information and Intelligent Systems. The three-year collaborative research project, scheduled for completion by April 30, 2029, develops a scalable formal verification framework for optimized tensor contraction sequences used in quantum chemistry, quantum physics, and...
- Federal Project Grant Award Summary The University of Maryland, College Park received a $266,000 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 a collaborative research initiative titled "Formally Verified and Performance-Optimized Tensor Contraction Sequences in Quantum Many-Body Computations." Awarded on May 1, 2026, with a completion...
- Federal Grant Award Summary North Carolina State University received a $450,000 Project Grant from the National Science Foundation's Division of Electrical, Communications and Cyber Systems under the Engineering program (CFDA 47.041), effective October 1, 2025 through September 30, 2028. The primary deliverable is a compact, nanophotonic-based magneto-optical trap (MOT) platform that miniaturizes conventional cold-atom systems by replacing traditional free-space optics with chip-scale components...
- Federal Grant Award Summary North Carolina State University received a $162,826 Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering program (CFDA 47.070) on June 15, 2025, with completion targeted for May 31, 2028. The award supports a collaborative research initiative to develop DLToolkit, a novel performance profiling and analysis infrastructure designed to enable domain scientists to optimize deep learning (DL) applications...
- Federal Project Grant Award Summary North Carolina State University received a $307,266 Project Grant from the National Science Foundation (NSF) under the Mathematical and Physical Sciences (CFDA 47.049) program, effective September 1, 2025 through August 31, 2028. The award funds research to develop effective computational methods for training neural networks through an innovative Exploration-Exploitation-Determination (EED) framework that combines local and nonlocal information to overcome...
- Federal Grant Award Summary The University of California, Davis received a $625,840 Project Grant from the National Science Foundation's Division of Computing and Communication Foundations (CFDA 47.070: Computer and Information Science and Engineering) awarded June 15, 2025, with completion targeted for May 31, 2029. The project develops formal verification methods to ensure provably correct implementations of Density Functional Approximations (DFAs) used in Density Functional Theory (DFT)...
- Federal Project Grant Award Summary Duke University's Office of Research Administration received a $450,000 project grant from the National Science Foundation (NSF) Division of Physics under the Mathematical and Physical Sciences program (CFDA 47.049), awarded September 1, 2025, with completion targeted for August 31, 2028. The award supports fundamental research on fault-tolerant quantum error correction methodologies that advance beyond current foliation-based approaches. The research...
- Federal Grant Award Summary North Carolina State University received a $920,000 Project Grant from the National Science Foundation's Division of Materials Research under the Mathematical and Physical Sciences program (CFDA 47.049), awarded October 1, 2025, with completion targeted for September 30, 2029. This collaborative research project delivers accelerated discovery of lead-free perovskite nanocrystals through the development and operation of distributed self-driving laboratories (SDLs) that...
- Federal Grant Award Summary North Carolina State University received a $350,000 Project Grant from the National Science Foundation's Division of Mathematical Sciences (CFDA 47.049) effective July 1, 2025, through June 30, 2028. The award supports the development of a geometric framework for stochastic algorithms designed to solve large-scale mathematical models in feasibility and inclusion problems. The research deliverables include foundational principles and methodologies for incorporating...
North Carolina State University received a $267,000 Project Grant from the National Science Foundation's (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070), effective May 1, 2026 through April 30, 2029. This collaborative research initiative will develop a scalable formal verification framework for optimized tensor contraction sequences used in quantum chemistry, quantum physics, and materials science computations. The project addresses the challenge of detecting and preventing numerical errors introduced by performance optimization techniques—including mixed-precision arithmetic, operation reordering, and kernel fusion—which are critical for reducing runtime and memory costs in large-scale quantum many-body computations. The deliverables include automated modeling and property-checking methods utilizing domain-specific Satisfiability Modulo Theories (SMT) encodings in quantifier-free floating point logic, counterexample-guided abstraction refinement techniques, and incremental SMT solving with equality-saturation methods to preserve numerical bounds. Additionally, the project will produce open-source tooling for the high-performance computing and formal methods communities, alongside integrated verification capabilities for multi-objective design space exploration. This research aims to enhance the reliability and reproducibility of scientific computing while providing interdisciplinary training that bridges formal verification, numerical analysis, and high-performance computing disciplines.Federal Grant Award Summary
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $267.0k | 4/20/26 |