Quick links

Zachary Kincaid

Photo of 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.
Follow us: Facebook Twitter Linkedin