Gagandeep Singh

Gagandeep Singh
Gagandeep Singh
Assistant Professor

For more information


  • Ph.D. in Computer Science, ETH Zurich, Nov 2014 - Sep 2020, Thesis: Scalable Automated Reasoning for Programs and Deep Learning. Advisor: Prof. Martin Vechev
  • Masters in Computer Science, ETH Zurich, Sep 2012 - Sep 2014, Thesis: Fast Algorithms for Octagon Abstract Domain. ETH Medal for best Master’s thesis Advisor: Prof. Martin Vechev
  • Bachelors in Computer Science and Engineering, IIT Patna, Aug 2008 - May 2012, Thesis: Accurate Eye Center Estimation. President of India Gold Medal for highest GPA Advisors: Prof. Maheshkumar H. Kolekar & Prof. Samrat Mondal

Research Interests

  • Systems
  • Artificial Intelligence
  • Programming Languages


  • Institute Silver Medal, IIT Patna (2012)
  • President of India Gold Medal, IIT Patna (2012)
  • ETH Excellence Scholarship (2012)
  • ETH Medal for best Master thesis (2014)

Recent Courses Taught

  • CS 498 GSG (CS 498 GSU) - Special Topics
  • CS 598 GDS - Logic and AI