Skip to main navigation
Skip to search
Skip to main content
New Jersey Research Community Home
Help & FAQ
Home
Profiles
Research Units
Core Facilities
Grants/Projects
Research output
Prizes
Search by expertise, name or affiliation
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
Appel, Andrew Wilson
(PI)
Computer Science
Princeton University
Overview
Project Details
Status
Active
Effective start/end date
6/15/20
→
5/31/23
Funding
NSF - National Science Foundation:
$499,999.00
View all
View less