Projects per year
Search results
-
Active
Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods
NSF - National Science Foundation
10/1/22 → 9/30/25
Project: Research project
-
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
NSF - National Science Foundation
6/15/20 → 5/31/24
Project: Research project
-
Finished
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
NSF - National Science Foundation
12/15/15 → 11/30/22
Project: Research project
-
SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages
NSF - National Science Foundation
7/1/14 → 6/30/18
Project: Research project