Person. Rajeev Alur University of Pennsylvania · cis.upenn.edu/~alur PhD studentsSwarat Chaudhuri PostdocsKonstantinos Mamouras