Title/Position
Assistant Professor

Degree
Ph.D., University of Toronto, 2016

zkincaid(@cs.princeton.edu) (609) 258-5330 219 Computer Science

Homepage
https://www.cs.princeton.edu/~zkincaid

Research

Interests: programming languages, program analysis, program verification, automated reasoning
Research Areas: Programming Languages / Compilers

Short Bio

Zachary Kincaid joined the department as an assistant professor in 2016. He received his doctoral and master's degrees in computer science from the University of Toronto, and his bachelor's degree from Western University. He is interested in programming languages, logic, and algorithms. His research focuses on algorithms for reasoning about the behavior of software.

Selected Publications

"Linear Arithmetic Satisfiability via Strategy Improvement." Azadeh Farzan and Zachary Kincaid. International Joint Conference on Aritificial Intelligence2016.
"Compositional Recurrence Analysis." Azadeh Farzan and Zachary Kincaid. Formal Methods in Computer-Aided Design 2015.
"Proof Spaces for Unbounded Parallelism." Azadeh Farzan, Zachary Kincaid, and Andreas Podelski. Principles of Programming Languages2015.
"Inductive Data Flow Graphs." Azadeh Farzan, Zachary Kincaid, and Andreas Podelski. Principles of Programming Languages2013.