Site Overlay


Aarti Gupta, Princeton University, US

Aarti Gupta is a Professor in the Department of Computer Science at Princeton University. She received a PhD in Computer Science from Carnegie Mellon University. Her research interests are in the areas of formal verification of programs and systems, automatic decision procedures, and electronic design automation. She has served on the technical program committees of many leading conferences in these areas, and is currently serving on the Steering Committee of the CAV (Computer Aided Verification) Conference. She is an ACM Fellow.

Personal Webpage:

Georg Gottlob, TU Wien, Austria