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 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.

Selected Publications

More info available here

Follow us: Facebook Twitter Linkedin