VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Aarti Gupta

Registered user since Tue 5 Jan 2016

Name: Aarti Gupta

Bio: I have recently joined the CS department at Princeton. Before this, 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.

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.

Affiliation: Princeton University

Personal website: http://www.cs.princeton.edu/~aartig/

Contributions

PLMWAuthor of Academia or Industry? within the PLMW-track
VMCAICommittee Member in Program Committee
Session Chair of Dynamic and Static Verification (part of VMCAI)
Show activities from other conferences

POPL 2016-profile
View general profile