Gagandeep Singh

Gagandeep Singh
Gagandeep Singh
Assistant Professor

For More Information

Education

  • Ph.D. in Computer Science, ETH Zurich, Nov 2014 - Sep 2020.
  • Masters in Computer Science, ETH Zurich, Sep 2012 - Sep 2014.
  • Bachelors in Computer Science and Engineering, IIT Patna, Aug 2008 - May 2012.

Resident Instruction

  • CS 598: Logic and Artificial Intelligence, Fall 2021

Research Interests

  • Systems
  • Artificial Intelligence
  • Programming Languages

Conferences Organized or Chaired

  • Static Analysis Symposium (SAS) 2022

Honors

  • ACM SIGPLAN John C. Reynolds Doctoral Dissertation (2021 )
  • ETH Medal for best Master's thesis (2014)
  • ETH Excellence Scholarship (2012)
  • President of India Gold Medal, IIT Patna (2012 )
  • Institute Silver Medal, IIT Patna (2012 )

Recent Courses Taught

  • CS 477 (ECE 478) - Formal Software Devel Methods
  • CS 598 GDS - Logic and AI