Aarti Gupta
Professor of Computer Science
Website: https://www.cs.princeton.edu/people/profile/aartig
Email: aartig@princeton.edu
Office: Computer Science Building, 220
Phone: 609-258-8017
Research interests: Formal verification of systems, model checking, program analysis, and automatic decision procedures for logics. SAT/SMT solvers.
