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 2020-profile
View general profile
View general profile