Zachary Kincaid

Zachary Kincaid is an Associate Professor at Princeton University, specializing in Programming Languages and Formal Methods. His work bridges Program Analysis, Static Analysis, and Concurrency, with a focus on compositional and robust methods.

• Email: zkincaid@cs.princeton.edu
• Office: 194 Nassau St, Room 230 (Second floor), Princeton, NJ 08540

His research in Algebraic Program Analysis and Robust Program Analysis explores scalable, predictable verification techniques. Recent work includes leveraging Vector Addition Systems for procedure summarization, Nonlinear Ranking Functions for termination, and Quantified Linear Arithmetic for satisfiability.

Selected Trends:

• Compositional Analysis via Algebraic Structures
• Termination & Invariant Synthesis
• Concurrency Verification
• Network Relational Analysis

Scientific Awards:

• NSF CAREER award 1942537

Students:

• Jake Silverman
• Nicolas Koh
• Nikhil Pimpalkhare