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.

Faculty commended for outstanding teaching

A woman in a lab coat and safety goggles prepares to place a test tube into a machine for analysis. — As part of her research on lunar cement, Ph.D. student Sophia Bergen uses an optical emission spectrometer to measure the concentrations of different ions in a sample. Photo by Tori Repp/Fotobuddy

Innovation grants could help build a moon base, block food-borne illness, and map the brain

Graphic with text "Commendation for Outstanding Teaching".

Faculty commended for outstanding teaching

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

Gupta named ACM Fellow for outstanding accomplishments in computing

Computer Science

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

Aarti Gupta

Professor of Computer Science

Faculty commended for outstanding teaching

Innovation grants could help build a moon base, block food-borne illness, and map the brain

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

Computer Science

Engineering Newsletter Signup