Aarti Gupta (computer scientist)

Aarti Gupta
Aarti Gupta at FLoC 2006
Occupation	Computer scientist
Academic background
Education	IIT Delhi Carnegie Mellon University (Ph.D., 1994)
Academic work
Institutions	Princeton University

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.