Person. Swarat Chaudhuri University of Texas at Austin · cs.utexas.edu/~swarat PhD advisorRajeev Alur PostdocsAnders Miltner PhDUniversity of Pennsylvania UndergraduateIndian Institute of Technology Kharagpur