← Back to Awards
Directorate for Computer and Information Science and EngineeringNSF · NSFNSF
Collaborative Research: CS2: DANUBE: Formal Methods for Scientific Computing Bridging the Data-Numerics Behavior Tug-of-War
Ignacio Laguna Peralta·Department of Energy, DC·2025–2029·ACTIVE
INSTITUTION
Department of Energy, DC
PRINCIPAL INVESTIGATOR
Ignacio Laguna Peralta
FUNDING
$1
YEAR
2025
MOONBASE SCORE
Still being scored
LOADING MOONBASE SCORE
Are you the primary organization running this research?
The two tools below are built for the principal investigator & host institution behind this project.