Projects per year
Search results
-
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