Gagandeep Singh
For More Information
Education
- Doctor of Philosophy in Computer Science, ETH Zurich, 2020
- Masters in Computer Science, ETH Zurich, 2014
- Bachelors in Computer Science and Engineering, IIT Patna, 2012
Resident Instruction
- CS 477: Formal Software Development Methods, Spring 2026
- CS 521: Trustworthy AI Systems, Fall 2025
- CS 477: Formal Software Development Methods, Spring 2025
- CS 521: Trustworthy AI Systems, Fall 2024
- CS 477: Formal Software Development Methods, Spring 2024
- CS 521: Trustworthy AI Systems, Fall 2023
- CS 477: Formal Methods for Software Development, Spring 2023
- CS 521: Trustworthy AI Systems, Fall 2022
- CS 598: Logic and Artificial Intelligence, Fall 2021
Research Interests
- Systems
- Artificial Intelligence
- Programming Languages
Research Areas
Conferences Organized or Chaired
- Co-Chair, Program Committee, Static Analysis Symposium (SAS), 2022
Honors
- President of India Gold Medal, IIT Patna (2012)
- ETH Excellence Scholarship (2012)
- ETH Medal for Best Master's Thesis (2014)
- ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award (2021)
Recent Courses Taught
- CS 477 (ECE 478) - Formal Software Devel Methods
- CS 521 FMC - FM and ML in Prgm Systems
- CS 521 FML - FM and ML in Pgm Systems
- CS 521 TPS - Adv Topics in Pgm Systems
- CS 591 ACT - Advanced Compiler Technology
- CS 598 GDS - Logic and AI