Back to advisors
AG

Aarti Gupta

Professor · Institute of Technology in New Delhi

Princeton University · United States
Programming Languages & Compilers

About

Aarti Gupta joined the Computer Science Department as a full professor in 2015. Her research interests are in formal verification of systems, program analysis, and automatic decision procedures for logics.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.