Dr. Aarti Gupta

Biography

Aarti Gupta joined the Computer Science Department as a full professor in 2015. Her research interests focus on formal verification systems, program analysis, and automatic decision procedures in logics. Prior to joining the department, she worked at NEC Labs America, where she led a team investigating new techniques for formal verification in software and hardware systems, contributing to the foundations of successful industrial deployment. The impact of her work has been recognized with NEC Technology Commercialization Awards in 2005, 2006, and 2012. Professor Gupta received her Ph.D. in computer science from Carnegie Mellon University in 1994, and she holds a master’s degree in computer engineering from Rensselaer Polytechnic Institute and a bachelor’s degree in electrical engineering from the Indian Institute of Technology in New Delhi. She has served as an Associate Editor for Formal Methods in System Design since 2005 and for ACM Transactions on Design Automation of Electronic Systems from 2008 to 2012. Additionally, she has been involved as a program chair and on steering committees for the International Conference on Computer Aided Verification (CAV) and the International Conference on Formal Methods in Computer Aided Design (FMCAD).

Research Interests