Zachary Kincaid
Assistant Professor
Office:
315
Computer Science
Princeton,
NJ
08544
Email: zkincaid@cs.princeton.edu
Phone: 609-258-5330
Interdisciplinary Research Area: Computing and Network Systems
Research Specializations: 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.
Primary affiliation
Computer Science
Princeton has been at the forefront of computing since Alan Turing, Alonzo Church, and John von Neumann were among its residents. The department, now in a period of major growth, has strong groups in artificial intelligence and machine learning, theory, programming languages, graphics and vision, systems and networking, computer architecture, computational biology and neuroscience, security, privacy, and information technology policy.
