Write a Blog >>
LCTES 2020
Mon 15 - Fri 19 June 2020
co-located with PLDI 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
Research interests:Programming Languages, Formal Methods, Machine Learning

Contributions

Show activities from other conferences

PLDI 2020-profile
View general profile