Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Gagandeep Singh

Registered user since Fri 17 Oct 2014

Name:Gagandeep Singh

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

Affiliation:ETH Zurich, Switzerland
Research interests:Programming Languages, Formal Methods, Machine Learning


Show activities from other conferences

PLDI 2020-profile
View general profile