This $119,159 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) will fund the development of scalable formal verification methods for quantum software at North Dakota State University (NDSU). The project aims to create abstractions that can reduce the complexity of verifying quantum programs, which is critical for ensuring the correctness and reliability of safety-critical and security-critical quantum applications. The key goals are to generalize existing abstraction techniques, develop a unified abstraction framework, and create algorithms and tools to automatically apply these abstractions to a range of quantum algorithms with real-world potential. This award reflects NSF's mission to advance scientific knowledge and technological innovation in computing and information science, and the project will also benefit students in the geographically underrepresented state of North Dakota. The award period is from February 15, 2025, to January 31, 2027.
Mod # | Description | Reason For Modification | Federal Obligation (Click to sort descending) | Date (Click to sort ascending) |
|---|---|---|---|---|
| Not listed | $119.2k | 12/26/24 |