Interests: programming languages, program analysis, program verification, automated reasoning
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.
- "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.