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.
I completed B.Tech in Computer Science and Engineering from IIT Kanpur in 2010.
I am broadly interested in the field of program analysis and compilers. I like
building practical tools that make life of programmers easier. I have explored
various sub-themes including static analysis, automated testing, program synthesis,
and compiler transformations.