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.