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.

Related News

Graphic with text "Commendation for Outstanding Teaching".

Faculty commended for outstanding teaching

Portrait

Computer scientist thrives in supportive academic community

Photo of computer chips

Engineering faculty funded to develop next generation computer chips

Aarti Gupta

Gupta named ACM Fellow for outstanding accomplishments in computing

Old black and white postcard being held in a hand

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

Affiliations

Computer Science

Computer Science

Leading the field through foundational theory, applications, and societal impact