I am a Ph.D. student at ETH Zurich supervised by Prof. Martin Vechev and Prof. Markus Püschel since Nov 2014. I was born in Raebareli, India. I am broadly interested in balancing the precision/performance tradeoff of numerical problems. Examples include numerical domains used in abstract interpretation and robustness analysis of neural networks