Zachary Kincaid

Associate Professor of Computer Science

Website: http://www.cs.princeton.edu/~zkincaid/

Office: Computer Science, 219

Phone: 609-258-5330

Research interests: Programming languages, formal methods, concurrency, compilers, logic. Developing automated reasoning techniques to facilitate the construction of high-performance, dependable software. Static analysis and program verification, with an emphasis on multi-threaded programs. Theorem proving and program synthesis.

News

  • Graphic image with words Junior Faculty Awards 2020

    Junior faculty awards recognize outstanding teaching and research

Research

  • Computing and Network Systems

Affiliations

  • Computer Science

    Computer Science