Projects per year
Search results
-
Active
CAREER: Foundations for Usable Program Analysis
Kincaid, Z. (PI)
NSF - National Science Foundation
6/1/20 → 5/31/25
Project: Research project
-
Finished
Algebraic Program-Analysis Techniques for Invariant Synthesis
Kincaid, Z. (PI)
4/15/19 → 4/14/22
Project: Research project