Prof. Zachary Kincaid — Research Profile
Princeton University · Computer Science
Graduate application deadlines
Computer Science
Ph.D. in Computer Science
Fall 2027Application deadline
Dec 15, 2026 23:59 EST
Source: gradschool.princeton.eduChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Zachary Kincaid at Princeton University Computer Science lists Programming Languages & Compilers as their registered research area.
Research keywords
Recent papers
- Kleene Algebra with Transitive Commutativity ConditionsPreprintarXiv (Cornell University) · Jul 10
- Network Analysis with Parametric NetKATPreprintarXiv (Cornell University) · Jul 10
- A Categorical Basis for Robust Program AnalysisProceedings of the ACM on Programming Languages · Jun 8
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Zachary Tatlock Lab
University of Washington · Paul G. Allen School of Computer Science & Engineering
egg: Fast and Extensible Equality SaturationCommunications of the ACM · Jul 29Clark Barrett Lab
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · Sep 1Inigo Incer Lab
University of Michigan · Electrical and Computer Engineering (Division of the Department of Electrical Engineering and Computer Science)
Computing GR(1) Assume-Guarantee ContractsNewPreprintarXiv (Cornell University) · Oct 27
Other labs in this department
- Aarti Gupta Lab
Programming Languages & Compilers
- Abhishek Bhattacharjee Lab
Computational Biology, Systems & Networking, Computer Architecture
- Adam Finkelstein Lab
Vision & Graphics, Human-Computer Interaction
- Adji Bousso Dieng Lab
Machine Learning, Computational Biology, Natural Language Processing
- Aleksandra Korolova Lab
Machine Learning, Theory, Security & Privacy, Economics & Computation, Law & Public Policy
- Alex Lombardi Lab
Theory, Quantum Computing