Zachary Kincaid
Title/Position
Associate Professor
Degree
Ph.D., University of Toronto, 2016
zkincaid (@cs.princeton.edu)
(609) 258-5330
230 194 Nassau Street (Interoffice Address: Computer Science Bldg)
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.
