Project Grant 2551577
- Federal Grant Award Summary Iowa State University of Science and Technology received a $300,000 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070), awarded October 1, 2025, with a completion date of September 30, 2027. This EAGER (Early-concept Grants for Exploratory Research) award supports the development and dissemination of formal verification methods for...
- Federal Project Grant Award Summary North Carolina State University received a $267,000 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070), awarded May 1, 2026, with completion targeted for April 30, 2029. This collaborative research initiative delivers a scalable formal verification framework designed to ensure the correctness and reliability of optimized tensor...
- Federal Project Grant Award Summary Iowa State University of Science and Technology received a $425,000 Project Grant award from the National Science Foundation's Mathematical and Physical Sciences program (CFDA 47.049) effective October 1, 2025, through September 30, 2028. The award funds research on terahertz two-dimensional coherent spectroscopy (2DCS) to investigate ultrafast quantum dynamics in light-induced superconducting states. The primary deliverables include development of advanced...
- This federal Project Grant award, provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, aims to support the development of a verifiable quantum compiler that integrates formal methods to enable fault-tolerant quantum computing. The $500,000 award, with a period of performance from September 1, 2024 to August 31, 2028, will fund research to optimize the translation of quantum algorithms into fault-tolerant...
- Federal Grant Award Summary The National Science Foundation's Division of Information and Intelligent Systems awarded $600,000 through the Computer and Information Science and Engineering program (CFDA 47.070) to the University of California, Irvine for a three-year project (July 1, 2026–June 30, 2029) titled "Quantum Algorithms for Constructing Ground and Gibbs States." This project develops and analyzes quantum algorithms designed to prepare ground states and thermal (Gibbs) states...
- Federal Project Grant Award Summary Rutgers, The State University received a $599,878 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems under the Computer and Information Science and Engineering program (CFDA 47.070) effective June 1, 2026, through May 31, 2029. The award supports the development of a scalable, modular, open-source quantum compiler designed to optimize quantum circuits across logical and physical layers, hardware mapping,...
- Federal Grant Award Summary The University of Iowa received a $659,000 Project Grant from the Department of Energy Office of Science (CFDA 81.049) awarded July 1, 2026, with a completion date of June 30, 2027. The award supports research in quantum computing applications to lattice field theory for high energy physics. This project advances fundamental scientific research in quantum information systems, a key priority area within the Office of Science's broader portfolio that supports basic...
- Federal Project Grant Award Summary The National Science Foundation's Division of Computing and Communication Foundations awarded a $877,000 Project Grant to The University of Iowa, effective October 1, 2025, through September 30, 2029, under the Computer and Information Science and Engineering program (CFDA 47.070). This award funds the development of extensible LCF-style theorem proving with dependent rows, establishing new foundational techniques in machine-verified proof for programming...
- Federal Grant Award Summary Iowa State University of Science and Technology received a $281,836 Project Grant award from the National Science Foundation's Division of Mathematical Sciences (CFDA 47.049 - Mathematical and Physical Sciences) effective September 1, 2025, through August 31, 2028. This collaborative research project develops machine learning techniques to advance computational wave imaging applications across materials science, medicine, and geoscience. The primary deliverables...
- The National Science Foundation (NSF) awarded a $607,310 Project Grant on December 15, 2024 under the Mathematical and Physical Sciences (CFDA 47.049) federal grant program. The Q-BLUE project will support a three-pronged effort to advance quantum computing through: (1) analog quantum hardware development, (2) an optimized compilation process, and (3) research in quantum chemistry, condensed matter physics, and nuclear physics applications. The grant will fund research at Iowa State University...
Iowa State University of Science and Technology received an $850,000 Project Grant from the National Science Foundation's Division of Information and Intelligent Systems (CFDA 47.070: Computer and Information Science and Engineering) effective July 1, 2026, through June 30, 2030. Under this GOALI (Grant Opportunities for Academic Liaison with Industry) award, the university will develop AVQS (Automated Verification and Validation for Quantum Software), a comprehensive framework designed to improve the creation, testing, and reliability of quantum computer programs. The framework integrates high-level program specification capabilities with automated validation and formal verification techniques to enable programmers to describe quantum programs at higher abstraction levels while automatically verifying correctness before execution. The AVQS framework will deliver a unified validation infrastructure combining symbolic execution, property-based testing, and formal verification methodologies to systematically explore quantum program behaviors, identify errors, and provide end-to-end correctness guarantees derived from high-level specifications. By lowering barriers for non-experts to develop quantum programs and enabling more reliable quantum applications, this research aims to accelerate progress toward practical, trustworthy quantum computing systems and facilitate the broader adoption of quantum software development across industry and academic sectors.Federal Project Grant Award Summary
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $850.0k | 6/30/26 |