I am a PhD student in the Software Reliability Lab supervised by Prof. Martin Vechev and Prof. Markus Puschel since Nov 2014. I was born in Raebareli, India. I work on optimizing numerical domains used in abstract interpretation for performance. I completed Masters from ETH Zurich and Bachelors from IIT Patna.