Project Grant 2628818
- The National Science Foundation Division of Information and Intelligent Systems awarded Iowa State University of Science and Technology $850,000 on July 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop AVQS (Automated Verification and Validation for Quantum Software), a framework enabling programmers to describe quantum programs at higher levels of abstraction, automatically verify their behavior, and ensure correctness before execution. The...
- The National Science Foundation Division of Information and Intelligent Systems awarded Kansas State University $149,995 on June 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop quantum machine intelligence approaches for modeling human brain activity using functional magnetic resonance imaging data. The project, titled "Collaborative Research: EAGER: Human Brain Modeling via Quantum Machine Intelligence," runs through May 31, 2028,...
- Wichita State University received a $175,000 Project Grant award from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The two-year award, issued on June 1, 2021 and set to conclude on May 31, 2023, will support the development of efficient representation, transpilations, and uncertainty quantification techniques for quantum Bayesian network simulations....
- 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...
- 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...
- The National Science Foundation Division of Information and Intelligent Systems awarded Rutgers, The State University $599,878 on June 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop a scalable, modular, open-source quantum compiler that performs co-optimization across logical circuits, physical circuits, hardware mapping, resource management, and error mitigation. The project, titled "Toward Scalable Quantum Circuit Optimization with...
- The National Science Foundation Division of Information and Intelligent Systems awarded University of California, San Diego $600,000 on July 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop a heterogeneous system approach toward early fault-tolerant quantum computing. The project addresses quantum error correction, the central obstacle to building practical quantum computers. Current protection strategies apply uniform error correction across...
- This $270,000 Project Grant award from the National Science Foundation (NSF) Office of Advanced Cyberinfrastructure (CFDA 47.070 - Computer and Information Science and Engineering) to Kent State University aims to enable temporal-reliable quantum learning on NISQ-era devices. The key products and services to be delivered include: Developing a novel compression-based error adaptor to adjust the parameters and structure of variational quantum circuits (VQCs) based on fluctuating quantum noise,...
- This $119,999 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program supports research to improve techniques for "circuit cutting" - breaking down large quantum computing tasks into smaller, more manageable pieces. The project aims to explore advanced methods for accurately recombining the solutions to these smaller tasks, enabling more reliable and effective quantum computing capabilities. Key research focus...
- The National Science Foundation Division of Computer and Network Systems awarded $300,000 to the University of California, Merced on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop an end-to-end framework for securing quantum computing workflows. The project investigates confidentiality and integrity assurance across quantum computing compilation and execution stages. At the compilation stage, the research examines how untrusted...
The National Science Foundation Division of Information and Intelligent Systems awarded Kansas State University $400,000 on January 1, 2027, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop a framework that automatically analyzes code to identify errors in quantum circuit translation and compilation. The project, titled "From Theory to Practice of Quantum Circuit Decidability," integrates weighted model counting with a theory propagator that detects Pauli-transfer inconsistencies and commutativity constraints during conflict-driven search to provide better understanding of error propagation across multiple compilation stages: high-level code translation into gate-level circuits, gate count and depth optimization, circuit routing onto quantum hardware, and problem-space embedding into error-correcting codes. The work organizes into four thrusts: formal theory specification and mathematical property assessment; development of a custom satisfiability modulo theories user-propagator within the conflict-driven clause learning loop to generate dynamic conflict explanations and commutativity lemmas; integration of this propagator with a weighted model counting pipeline; and comprehensive benchmarking to validate reductions in decision branches and execution runtime. The recipient will make the entire toolchain and benchmarks fully open source. Performance occurs in Manhattan, Kansas, with performance period from January 1, 2027, through December 31, 2028. The assistance type is Project Grant.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $400.0k | 8/7/26 |