I am a PhD student in the Department of Computer Science at ETH Zurich supervised by Prof. Martin Vechev and Prof. Markus Puschel since Nov 2014. The focus of my research is making numerical static analysis of large realistic programs scalable and efficient through algorithmic improvements and performance optimizations.