Prof. David Walker — 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. David Walker at Princeton University Computer Science lists Programming Languages & Compilers as their registered research area.
Research keywords
Recent papers
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 1Cyrus Omar Lab
University of Michigan · Computer Science and Engineering (Division of the Department of Electrical Engineering and Computer Science)
Bidirectional Type SlicingPreprintarXiv (Cornell University) · Jul 13
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