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.