“Gagandeep Gagandeep Singh


Email: gsingh@inf.ethz.ch

Office: CAB H66

About me

I am a PhD student in the Software Reliability Lab supervised by Prof. Martin Vechev and Prof. Markus Püschel since Nov 2014. I was born in Raebareli, India. The focus of my research is making numerical static analysis of large realistic programs scalable and efficient through algorithmic improvements and performance optimizations.

Publications:

Fast Polyhedra Abstract Domain
Gagandeep Singh, Markus Püschel, Martin Vechev
ACM POPL 2017
PDF PDFSlides

Making Numerical Program Analysis Fast
Gagandeep Singh, Markus Püschel, Martin Vechev
ACM PLDI 2015
PDF PDFSlides

Education:

  • ETH Zurich , Sep 2012 - April 2014
    M.Sc. in Computer Science
  • IIT Patna , Aug 2008 - May 2012
    B.Tech in Computer Science and Engineering

Internships:

  • University of Houston, USA , 2010
    Developed software for accurate eye center detection
  • University of New South Wales, Australia , 2011
    Worked on Predictive Model for forecasting conflicts between nations

Teaching:

  • How to Write Fast Numerical Code
    Spring 2015
  • How to Write Fast Numerical Code
    Spring 2016

Awards:

  • 2014: ETH Medal for Best Master Thesis
  • 2012: ETH Excellence Scholarship
  • 2012: President of India Gold Medal, IIT Patna