Zachary Kincaid

Assistant Professor

Website | Email

Office: 219 Computer Science
Princeton, NJ 08544

Phone: 609-258-5330

Interdisciplinary Research Area: Computing and Network Systems

Research Area: 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.