Zachary Kincaid
Title/Position
Associate Professor
Degree
Ph.D., University of Toronto, 2016
zkincaid (@cs.princeton.edu)
(609) 258-5330
219 Computer Science
Research
Interests: programming languages, program analysis, program verification, automated reasoning
Research Areas:
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 Intelligence 2016.
- "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 Languages 2015.
- "Inductive Data Flow Graphs." Azadeh Farzan, Zachary Kincaid, and Andreas Podelski. Principles of Programming Languages 2013.
