Gagandeep Singh

For More Information

• More about me here.

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 521 - Adv Topics in Pgm Systems
• CS 591 ACT - Advanced Compiler Technology
• CS 598 GDS - Logic and AI