Aarti Gupta

Professor of Computer Science

Office: 220 Computer Science Building
Princeton, NJ 08544

Email: aartig@princeton.edu

Phone: 609-258-8017

Interdisciplinary Research Area: Data Science

Research Specializations: Formal verification of systems, model checking, program analysis, and automatic decision procedures for logics. SAT/SMT solvers.