Project Grant 2446223
Award Date
6/15/25
Completion Date
5/31/29
Dollars Obligated
$626K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Davis, CA, USA
Similar Awards
This Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program provides $750,000 in funding to the Regents of the University of Michigan to develop a scalable verification framework for ensuring the correctness of scientific computing applications. The key products and services to be delivered include: Mechanized functional models for scientific computing algorithms to rigorously analyze accuracy and...
This Project Grant award, provided by the National Science Foundation's (NSF) Mathematical and Physical Sciences program (CFDA 47.049), supports theoretical and computational research and education to enhance the accuracy and efficiency of first-principles quantum mechanical simulations for studying electronic structure and materials properties. The $232,250 award to The Research Foundation for The State University of New York, doing business as Stony Brook University, aims to develop innovative...
This Project Grant award from the National Science Foundation (CFDA 47.049 - Mathematical and Physical Sciences) provides $529,999 in funding to Purdue University from June 15, 2023 to May 31, 2026. The award supports the development of advanced theories and methods for computer simulation of electronic structure of molecules and materials, with the goal of enabling highly accurate prediction of properties and interpretation of experiments for these systems. The key products and services to be...
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...
This Project Grant award, funded by the National Science Foundation (NSF) Division of Chemistry under the Mathematical and Physical Sciences program (CFDA 47.049), aims to develop a software framework that will make it easier to implement advanced quantum chemistry methods on emerging hardware. The $300,000 award, granted to the University of Georgia Research Foundation, Inc., will involve a collaborative team of experts in quantum chemistry and computer science from Georgia Tech, the University...
The National Science Foundation (NSF) awarded a $400,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program to the University of Delaware. The 4-year project, titled "CS2: Modular Verification of Scientific Software Using Model Checking, Symbolic Execution, and Abstraction," aims to develop tools that help developers easily find and fix defects in scientific software code. Key products and services to be delivered include: New...
This Project Grant award of $119,159 was provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program. The goal of the project is to develop scalable formal verification methods for quantum software to ensure the correctness and reliability of safety-critical and security-critical quantum applications. The work aims to address the significant challenge of verifying quantum software, which is modeled in complex...
This Project Grant award from the National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $500,000 over 4 years to the University of California, Los Angeles (UCLA) to develop a verifiable quantum compiler that integrates formal methods with quantum computing. The project aims to advance fault-tolerant quantum computing by automating the generation of fault-tolerant quantum programs and ensuring their accuracy...
This Project Grant awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) is intended to improve the reliability and performance of parallelizing compilers used in modern scientific computing. The $640,000 award to Iowa State University of Science and Technology will fund research to develop automated verification tools that can check if translated parallel code maintains the same functionality as the original sequential...
This $366,160 federal Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) will support research at the University of Rochester. The goal is to develop practical formal methods for capturing the correctness expectations of numerical algorithm designers and formal models capable of bridging the behavioral differences between numerical algorithms and emerging non-standard computer hardware. The research...