Skip to main content

# Zachary Kincaid

Title/Position
Associate Professor
Degree
Ph.D., University of Toronto, 2016
zkincaid (@cs.princeton.edu) (609) 258-5330 219 Computer Science
Homepage
https://www.cs.princeton.edu/~zkincaid

## Research

Interests: programming languages, program analysis, program verification, automated reasoning

Research Areas:

- Programming Languages & Compilers

## 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: