Aarti

Gupta

Professor of Computer Science

Website

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

Graphic with text "Commendation for Outstanding Teaching".

Faculty commended for outstanding teaching

Portrait

Computer scientist thrives in supportive academic community

Photo of computer chips — Princeton engineering faculty members have received funding from the federal government to develop the next generation of computer chips. One group led by Associate Professor of Electrical Engineering David Wentzlaff and his colleagues will create flexible and open-source design solutions for computer hardware. Photo by David Wentzlaff

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

Computer Science

Computer Science

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