Aarti Gupta

Professor of Computer Science

Website: https://www.cs.princeton.edu/people/profile/aartig

Office: Computer Science Building, 220

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

Faculty commended for outstanding teaching
Computer scientist thrives in supportive academic community
Engineering faculty funded to develop next generation computer chips
Gupta named ACM Fellow for outstanding accomplishments in computing
Engineering projects in art, security, energy selected for innovation fund

Data Science

Computer Science

Princeton University

Princeton Engineering

Aarti Gupta

Professor of Computer Science

News

Faculty commended for outstanding teaching

Computer scientist thrives in supportive academic community

Engineering faculty funded to develop next generation computer chips

Gupta named ACM Fellow for outstanding accomplishments in computing

Engineering projects in art, security, energy selected for innovation fund

Research

Data Science

Affiliations

Computer Science