Aarti Gupta received a Ph. D. in Computer Science from Carnegie Mellon University. She is currently a Department Head at NEC Labs America, where she leads research in systems analysis and verification. Her research interests include formal verification, model checking, automatic decision procedures, program analysis and verification, and electronic design automation. She has published numerous papers, and has served on the program committees of many leading conferences in these areas.
NOTE: Aarti will be glad to meet with interested graduate students, and describe exciting summer internship and job opportunities at NEC Labs.
Appointments: dcm@cs.cmu.edu