Aarti Gupta

Department of Computer Science
Princeton University
35 Olden Street, Princeton, NJ 08540-5233

Office: 220 Computer Science
Phone: +1 609-258-8017
Fax: +1 609-258-1771
Email: aartig (at) cs (dot) princeton (dot) edu

My research interests are in formal verification of systems, program analysis, and automatic decision procedures for logics. I am currently serving on the Steering Committee of the International Conference on Computer Aided Verification (CAV). I received a PhD in Computer Science from Carnegie Mellon University.

Before joining the CS department at Princeton, I was at NEC Labs America where I led research in systems analysis and verification. At NEC, my group and I designed techniques for verifying programs, and helped in their successful deployment on large industrial software projects.

Research Interests

Note for PhD Program Applicants:

I encourage you to also consider a new faculty member, Mae Milano, who will join Princeton in Spring 2024 and is looking for students.

Recent Awards

Recent Invited Talks

Projects and Related Publications