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

Recent Awards

Recent Invited Talks