Prof. Aarti Gupta — 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
프린스턴 대학교 컴퓨터과학과 소속 Aarti Gupta 교수의 등록된 연구 분야는 Programming Languages & Compilers입니다.
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: Formal Methods in Verification
Clark Barrett Lab
Stanford University · Computer Science
Closing the Loop: Branch-and-Bound for Scalable Verification of Nonlinear Neural Feedback SystemsPreprintarXiv (Cornell University) · Sep 14Inigo Incer Lab
University of Michigan · Electrical and Computer Engineering (Division of the Department of Electrical Engineering and Computer Science)
Computing GR(1) Assume-Guarantee ContractsPreprintarXiv (Cornell University) · Oct 27Aaron Ames Lab
California Institute of Technology · Computing + Mathematical Sciences
Backup Control Barrier Function Synthesis using Sum-of-Squares ReachabilityPreprintarXiv (Cornell University) · Aug 28
Other labs in this department
- 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
- Andrés Monroy-Hernández Lab
Human-Computer Interaction