Aarti Gupta
Professor of Computer Science
Office: 220 Computer Science Building
Phone: 609-258-8017
Research Interests: Formal verification of systems, model checking, program analysis, and automatic decision procedures for logics. SAT/SMT solvers.