Aarti
Gupta
Professor of Computer Science
Research interests:
Formal verification of systems, model checking, program analysis, and automatic decision procedures for logics. SAT/SMT solvers.