Aarti Gupta is a computer scientist working in formal methods, Electronic Design Automation, and programming languages.

Educated in India and the US, she is currently a professor in the Department of Computer Science at Princeton University.

Aarti Gupta received her undergraduate degree from IIT Delhi, India and PhD in Computer Science from Carnegie Mellon University in 1994.

[1] She later worked at NEC Laboratories America developing tools for verifying correctness of large-scale industrial codebases written in C and C++ code.

[1] She joined the Department of Computer Science at Princeton University as a full professor in 2015.