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

Registered user since Fri 17 Oct 2014

Name: Gagandeep Singh

Bio: 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

Country: India

Affiliation: ETH Zurich, Switzerland

Personal website: https://www.sri.inf.ethz.ch/people/gagandeep

Research interests: Programming Languages, Formal Methods, Machine Learning

Contributions

PLDI 2020Author of Learning Fast and Precise Numerical Analysis within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2020-profile
View general profile