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 477: Formal Methods for Software Development
• CS 521: Trustworthy AI Systems, Fall 2022
• CS 598: Logic and Artificial Intelligence, Fall 2021

Research Interests

• Systems
• Artificial Intelligence
• Programming Languages

Journal Editorships

• Formal Methods in System Design
• Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings

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 )
• NSF Career Award (2023)
• Google Research Scholar Award (2023)