Gagandeep Singh
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 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
Journal Editorships
- Formal Methods in System Design
Conferences Organized or Chaired
- Static Analysis Symposium (SAS) 2022
Honors
- President of India Gold Medal, IIT Patna (2012)
- Institute Silver Medal, IIT Patna (2012)
- ETH Excellence Scholarship (2012)
- ETH Medal for Best Master's thesis (2014)
- ACM SIGPLAN John C. Reynolds Doctoral Dissertation (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
News Notes
- 8/14/2025
CS associate professor Sasa Misailovic and CS assistant professor Gagandeep Singh, along with Chicago MCS student Preston Firestone and Meta research scientist Shubham Ugare ('25, Ph.D. Computer Science), have had their paper, "UTF-8 Plumbing: Resolving Leaky Abstractions in Unicode for Subword Tokenization," accepted to the 2025 Conference on Language Modeling (COLM).