Aarti Gupta
Professor of Computer Science
Office: 220 Computer Science Building
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.
