The University of Michigan was awarded a $1.5 million Project Grant from the National Science Foundation's Computer and Information Science and Engineering program (CFDA 47.070) to develop foundational approaches for end-to-end formal verification of computational physics numerical solutions. Over a four-year period ending September 2026, the University will mechanically check computer-implemented proofs to rigorously quantify errors and uncertainties in numerical methods used for scientific computations. The project aims to enable computational physicists to formally verify their programs meet user-specified error thresholds, increasing confidence in simulation-informed analysis and design. It also seeks to advance formal methods libraries for real arithmetic and limits handling, transforming the field of computational physics.
Generated 1/6/24, 2:06 PM