Aarti Gupta

Professor of Computer Science

Website | Email

Office: 220 Computer Science Building
Princeton, NJ 08544

Phone: 609-258-8017

Interdisciplinary Research Area: Data Science

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