Aarti_Gupta_(computer_scientist)
Aarti Gupta (computer scientist)
American computer scientist
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.