Projects per year
Search results
-
Active
Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods
Appel, A. W. (PI)
NSF - National Science Foundation
10/1/22 → 9/30/25
Project: Research project
-
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
Appel, A. W. (PI)
NSF - National Science Foundation
6/15/20 → 5/31/25
Project: Research project