← Back to Awards
NSFDirectorate for Computer and Information Science and Engineering
Collaborative Research: CS2: DANUBE: Formal Methods for Scientific Computing Bridging the Data-Numerics Behavior Tug-of-War
Active
- Institution
- Department of Energy, DC
- Principal investigator
- Ignacio Laguna Peralta
- Funding
- $1
- Duration
- 2025–2029
Moonbase score
Still being scored
LOADING MOONBASE SCORE
Questions for Department of Energy
Answered by the team behind this research.
No questions yet. Sign in to ask the first one
Related grants
Same institution, same topic, scored first.
- NSF · Department of EnergyNot yet scored
Collaborative Research: CS2: A Comprehensive Pipeline for Formal Verification of Floating-Point Errors and Compilation for Scientific Computing
John T Sarracino · $1 · 2025–2029
- NSF · Christopher Newport University52
CC* Planning: Developing a Plan to Improve Research Computing at Christopher Newport University
William Phelps · $100K · 2023–2024
- NSF · Northeastern University51
FMitF Track I: Formal Methods in Software Support for Sound Experimentation
Emma Tosch · $661K · 2022–2026