Project Grant 2546787
Award Date 5/1/26
Completion Date 4/30/29
Dollars Obligated $266K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
New Brunswick, NJ 08901, USA
Similar Awards
- Federal Grant Award Summary 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...
- 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...
- This $798,712 federal Project Grant award was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to Rutgers, The State University of New Jersey. The goal of this 3-year project is to develop innovative computational methods that integrate classical and quantum algorithmic tools within the fields of statistics and operations research. The research aims to create quantum-enhanced algorithms for decision-making under...
- Rutgers, The State University was awarded a $492,576 Project Grant from the National Science Foundation under the Computer and Information Science and Engineering program (CFDA 47.070). The grant will fund research from August 2021 through July 2024 to tackle mapping and scheduling problems for quantum program compilation. The Computer and Information Science and Engineering program supports investigator-initiated research and education across computing, communications, and information science...
- Federal Grant Award Summary This collaborative research project grant of $314,460, awarded August 1, 2025, by the National Science Foundation (NSF) Division of Civil, Mechanical, and Manufacturing Innovation under the Engineering program (CFDA 47.041), supports theoretical and computational modeling research aimed at advancing the mechanics of quantum materials through deformation and coupled field interactions. The project, extending through July 31, 2028, is being conducted at Rutgers, The...
- Federal Project Grant Award Summary Rutgers, The State University received a $292,000 Project Grant from the National Science Foundation (NSF) under the Mathematical and Physical Sciences (CFDA 47.049) program, effective July 1, 2025, through June 30, 2029. The award supports theoretical and computational research on disorder, quasiperiodicity, and strong correlations in two-dimensional (2D) materials and topological interfaces. The research project addresses fundamental scientific questions...
- Federal Grant Award Summary Rutgers, The State University received a $899,109 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 on September 1, 2025, with completion targeted for August 31, 2028. This project, titled "Abstraction Refinement-Guided Program Synthesis for Verifiable Robot Learning," delivers research and algorithmic innovations at...
- 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...
- Federal Project Grant Award Summary Rutgers, The State University received a $395,821 Project Grant award 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 May 1, 2026 through April 30, 2031. This CAREER award supports research on structured learning and verification of control policies for linear temporal logic (LTL) objectives, with the primary objective of enhancing...
- Federal Grant Award Summary Rutgers, The State University received a $159,940 Project Grant award from the National Science Foundation's Mathematical and Physical Sciences program (CFDA 47.049) on August 15, 2025, with completion targeted for July 31, 2028. This collaborative research project develops the Predictability-Computability-Stability Inference (PCSI) framework for Veridical Data Science (VDS), a next-generation statistical methodology designed to improve the reliability and...