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
-
Finished
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
Appel, A. W. (PI)
NSF - National Science Foundation
12/15/15 → 11/30/22
Project: Research project
-
SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages
Appel, A. W. (PI)
NSF - National Science Foundation
7/1/14 → 6/30/18
Project: Research project
-
ARRA: TC:Large:Collaborative Research: Combining Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software
Appel, A. W. (PI)
NSF - National Science Foundation
7/1/09 → 6/30/13
Project: Research project