ANNOUNCEMENT

NOBEL PRIZE 2026

This year's laureates, their fields, and the discoveries that earned them the prize.Live nowSee the winners
Moonbase
← Back to Awards
NSFDirectorate for Computer and Information Science and Engineering

Collaborative Research: CS2: A Comprehensive Pipeline for Formal Verification of Floating-Point Errors and Compilation for Scientific Computing

Active
Institution
Department of Energy, DC
Principal investigator
John T Sarracino
Funding
$1
Duration
2025–2029
Open portfolio

Moonbase score

Still being scored

LOADING MOONBASE SCORE

Directorate for Computer and Information Science and EngineeringSoftware & Hardware Foundationverificationformalpipelinescientific computingformal verificationcomputingcompilationerrors

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.