Data / Research funding / Correct SciComp Systems (CS2)
NSF program Correct SciComp Systems (CS2) (307Y00): 15 awards, $6M to 14 organizations
15 NSF awards ($6M) under the program element Correct SciComp Systems (CS2) (307Y00) to 14 organizations, fiscal years 2022 to 2026, read 2026-11-03.
SpecStream is the live web data engine for teams and agents. It reads the NIH and NSF award files each time the agencies update them, and this page is that reading, joined to the open federal funding opportunities on Grants.gov. Ask for the awards you track by topic, organization or state and new awards arrive in your sheet, CRM, Slack or agent as the agencies publish them.
- Program element code
- 307Y00
- Directorate
- Directorate for Computer and Information Science and Engineering
- Division
- Software & Systems Foundations
Awards
15 awards in the window.
| Award | Agency | Institute or division | Fiscal year | Amount in window | Start | End | Principal investigator | Source |
|---|---|---|---|---|---|---|---|---|
| Collaborative Research: CS2: A Formal Foundation and System Support for Correctly Detecting Silent Computation Errors in Scientific HPC Applications | NSF | Software & Systems Foundations | 2026 | $800,000 | May 1, 2026 | April 30, 2030 | Konstantinos Kallas | nsf.gov |
| Collaborative Research: CS2: A Comprehensive Pipeline for Formal Verification of Floating-Point Errors and Compilation for Scientific Computing | NSF | Software & Systems Foundations | 2025 | $750,000 | June 15, 2025 | May 31, 2029 | Jean-Baptiste Jeannin | nsf.gov |
| CS2: Provably Correct Implementations of Density Functional Approximations | NSF | Software & Systems Foundations | 2025 | $625,840 | June 15, 2025 | May 31, 2029 | Aditya V Thakur | nsf.gov |
| CS2: Verified Meshing | NSF | Software & Systems Foundations | 2026 | $601,001 | May 1, 2026 | April 30, 2030 | Gilbert L Bernstein | nsf.gov |
| CS2: Modular Verification of Scientific Software using Model Checking, Symbolic Execution, and Abstraction | NSF | Software & Systems Foundations | 2025 | $400,000 | June 1, 2025 | May 31, 2029 | Stephen F Siegel | nsf.gov |
| Collaborative Research: CS2: Deriving Correct Programs for Performant Computational Chemistry | NSF | Software & Systems Foundations | 2025 | $389,000 | July 1, 2025 | June 30, 2028 | Tze Meng Low | nsf.gov |
| Collaborative Research: CS2: On-Demand Semantic Analysis via Program Synthesis | NSF | Software & Systems Foundations | 2026 | $384,964 | May 1, 2026 | April 30, 2029 | Ben Greenman | nsf.gov |
| Collaborative Research: CS2: DANUBE: Formal Methods for Scientific Computing Bridging the Data-Numerics Behavior Tug-of-War | NSF | Software & Systems Foundations | 2025 | $375,000 | April 15, 2025 | March 31, 2029 | Ganesh L Gopalakrishnan | nsf.gov |
| Collaborative Research: CS2: DANUBE: Formal Methods for Scientific Computing Bridging the Data-Numerics Behavior Tug-of-War | NSF | Software & Systems Foundations | 2025 | $366,160 | April 15, 2025 | March 31, 2029 | Sreepathi Pai | nsf.gov |
| Collaborative Research: CS2: Formally Verified and Performance-Optimized Tensor Contraction Sequences in Quantum Many-Body Computations | NSF | Software & Systems Foundations | 2026 | $267,000 | May 1, 2026 | April 30, 2029 | Jiajia Li | nsf.gov |
| Collaborative Research: CS2: Formally Verified and Performance-Optimized Tensor Contraction Sequences in Quantum Many-Body Computations | NSF | Software & Systems Foundations | 2026 | $266,000 | May 1, 2026 | April 30, 2029 | Cunxi Yu | nsf.gov |
| Collaborative Research: CS2: Formally Verified and Performance-Optimized Tensor Contraction Sequences in Quantum Many-Body Computations | NSF | Software & Systems Foundations | 2026 | $266,000 | May 1, 2026 | April 30, 2029 | Bo Yuan | nsf.gov |
| Collaborative Research: CS2: On-Demand Semantic Analysis via Program Synthesis | NSF | Software & Systems Foundations | 2026 | $215,035 | May 1, 2026 | April 30, 2029 | Loris DAntoni | nsf.gov |
| CS2: Automatically Extracting High-Level Specifications from Large Scientific Codebases to Enhance Understandability and Correctness | NSF | Software & Systems Foundations | 2026 | $200,000 | May 1, 2026 | April 30, 2030 | Andrew Crotty | nsf.gov |
| Collaborative Research: CS2: Deriving Correct Programs for Performant Computational Chemistry | NSF | Software & Systems Foundations | 2025 | $93,999 | July 1, 2025 | June 30, 2028 | Robert A van de Geijn | nsf.gov |
Organizations
| Organization | Place | NIH awards | NIH amount | NSF awards | NSF amount |
|---|---|---|---|---|---|
| University of California Los Angeles | Los Angeles, CA | 0 | $0 | 1 | $800,000 |
| University of Utah | Salt Lake City, UT | 0 | $0 | 2 | $759,964 |
| University of Michigan at Ann Arbor | Ann Arbor, MI | 0 | $0 | 1 | $750,000 |
| University of California at Davis | Davis, CA | 0 | $0 | 1 | $625,840 |
| University of Washington | Seattle, WA | 0 | $0 | 1 | $601,001 |
| University of Delaware | Newark, DE | 0 | $0 | 1 | $400,000 |
| Carnegie Mellon University | Pittsburgh, PA | 0 | $0 | 1 | $389,000 |
| University of Rochester | Rochester, NY | 0 | $0 | 1 | $366,160 |
| North Carolina State University | Raleigh, NC | 0 | $0 | 1 | $267,000 |
| University of Maryland, College Park | College Park, MD | 0 | $0 | 1 | $266,000 |
| Rutgers University New Brunswick | New Brunswick, NJ | 0 | $0 | 1 | $266,000 |
| University of California, San Diego | La Jolla, CA | 0 | $0 | 1 | $215,035 |
| Northwestern University at Chicago | Chicago, IL | 0 | $0 | 1 | $200,000 |
| University of Texas at Austin | Austin, TX | 0 | $0 | 1 | $93,999 |
Funding by fiscal year
| Fiscal year | NIH awards | NIH amount | NSF awards | NSF amount |
|---|---|---|---|---|
| 2026 | 0 | $0 | 8 | $3,000,000 |
| 2025 | 0 | $0 | 7 | $2,999,999 |
Open federal funding opportunities
From Grants.gov: notices that funded awards in this table, and open notices on the same agency and assistance listing.
| Open opportunity | Number | Agency | Listing | Closes | Award ceiling | Why it matches |
|---|---|---|---|---|---|---|
| National Science Foundation Translation to Practice (NSF TTP) | 25-540 | NSF | 47.070 | November 17, 2026 | $2 million | Same assistance listing 47.070 as 15 awards here |
| EPSCoR Research Infrastructure Improvement Program: Focused EPSCoR Collaborations (FEC) | 24-573 | NSF | 47.070 | January 26, 2027 | $1.5 million | Same assistance listing 47.070 as 15 awards here |
| Mid-scale Research Infrastructure-1 | 24-598 | NSF | 47.070 | February 8, 2027 | $20 million | Same assistance listing 47.070 as 15 awards here |
| NSF Dynamic Language Infrastructure - NEH Documenting Endangered Languages (DLI-DEL) | 22-615 | NSF | 47.070 | February 16, 2027 | Not listed | Same assistance listing 47.070 as 15 awards here |
| Expeditions in Computing | 20-544 | NSF | 47.070 | March 31, 2027 | Not listed | Same assistance listing 47.070 as 15 awards here |
| EPSCoR Research Infrastructure Improvement (RII): EPSCoR Research Fellows | 24-528 | NSF | 47.070 | April 13, 2027 | Not listed | Same assistance listing 47.070 as 15 awards here |
| Findable Accessible Interoperable Reusable Open Science (FAIROS) | 25-533 | NSF | 47.070 | April 14, 2027 | Not listed | Same assistance listing 47.070 as 15 awards here |
| Faculty Early Career Development Program (CAREER) | 22-586 | NSF | 47.070 | July 28, 2027 | Not listed | Same assistance listing 47.070 as 15 awards here |
| Research Experiences for Undergraduates (REU) | 23-601 | NSF | 47.070 | August 18, 2027 | $500,000 | Same assistance listing 47.070 as 15 awards here |
| Historically Black Colleges and Universities - Excellence in Research (HBCU - EiR) | 23-598 | NSF | 47.070 | October 19, 2027 | Not listed | Same assistance listing 47.070 as 15 awards here |
| National Science Foundation National Innovation Corps Teams (NSF National I-CorpsTM Teams) Program | 25-549 | NSF | 47.070 | October 6, 2076 | Not listed | Same assistance listing 47.070 as 15 awards here |
| Facilitating Research at Primarily Undergraduate Institutions: (RUI and ROA-PUI) | 14-579 | NSF | 47.070 | October 14, 2076 | Not listed | Same assistance listing 47.070 as 15 awards here |
| Established Program to Stimulate Competitive Research (EPSCoR): Workshop Opportunities | 24-540 | NSF | 47.070 | $200,000 | Same assistance listing 47.070 as 15 awards here | |
| Foundational Research in Robotics | PD-20-144Y | NSF | 47.070 | Not listed | Same assistance listing 47.070 as 15 awards here | |
| Cyberinfrastructure for Public Access and Open Science | PD-24-7414 | NSF | 47.070 | $600,000 | Same assistance listing 47.070 as 15 awards here |
Updated November 3, 2026. Read from NIH RePORTER ExPORTER and NSF Award Search. Published by NIH and NSF as U.S. government data. NIH awards are fiscal years 2021 to 2025 (NIH files published to 2026-07-09); NSF awards are fiscal years 2022 to 2026 (NSF files published to 2026-11-02). NIH amounts are the total cost of each fiscal year in the window; NSF amounts are the funds obligated in the window. Organizations are matched on the UEI. Open opportunities come from Grants.gov and match on agency and assistance listing number, and on the notice number NIH prints on an award. Free to reuse with credit to SpecStream under CC BY 4.0. Spot a wrong value? Write to [email protected] with the link to this page.