Registered user since Fri 17 Oct 2014
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.
|POPL 2017||Fast Polyhedra Abstract Domain|
|Show activities from other conferences|
View general profile