Aarti Gupta

Aarti Gupta is a Professor in the Computer Science Department at Princeton University. She joined the department as a full professor in 2015. Her research interests include formal verification of systems, program analysis, and automatic decision procedures for logics. Prior to Princeton, she worked at NEC Labs America, where she led a team in formal verification of software and hardware systems. She received NEC Technology Commercialization Awards in 2005, 2006, and 2012. Gupta earned her Ph.D. in computer science from Carnegie Mellon University in 1994. She has served as an Associate Editor for Formal Methods in System Design and for the ACM Transactions on Design Automation of Electronic Systems. She has also served as program chair and on the steering committees of the International Conference on Computer Aided Verification (CAV) and the International Conference on Formal Methods in Computer Aided Design (FMCAD).

Aarti Gupta is a researcher at Princeton University specializing in formal methods, system/software verification, program analysis, SAT/SMT solvers, and design automation. Her work focuses on developing tools and techniques for verifying software and hardware systems, including formal verification methods, SAT-based model checking, and static analysis for concurrent programs. Gupta has contributed to the design of verification platforms like F-Soft and has explored applications in network configuration verification, cyber-physical systems, and high-level bounded model checking. Her research emphasizes the integration of symbolic and computational methods to improve the efficiency and accuracy of verification processes.