Zachary Kincaid
Assistant Professor
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.
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.
