I am a PhD student at University of Pennsylvania since Fall 2013.
My advisors are Prof. Rajeev Alur
and Prof. Joe Devietti
Prior to joining Penn, I was a software engineer at IBM Research, India.
There, I worked on symbolic bug detection and automated web testing.
I completed B.Tech in Computer Science and Engineering from IIT Kanpur in 2010.