Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Search by expertise, name or affiliation
Algebraic Program-Analysis Techniques for Invariant Synthesis
Kincaid, Zachary
(PI)
Computer Science
Project
:
Research project
Overview
Project Details
Status
Finished
Effective start/end date
4/15/19
→
4/14/22
Funding
Office of Naval Research - MA
View all
View less