The Grainger College of Engineering
Siebel School of Computing and Data Science

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 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

  • Program Committee Co-Chair, 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

News Notes

  • 7/27/2026

    Calvin Xu, CS PhD, won first place in the AI4Math@ICML 2026 Track 2 competition on Theoretical Computer Science (TCS)  Proving in Lean. Advised by Gagandeep Singh, CS assistant professor, Xu bested 46 competitors and 182 total submissions to take the top prize. The competition focused on theorem proving in theoretical computer science, using Lean 4 and CSLib, covering problems in graph theory and combinatorics, computational complexity and algorithm correctness. 

  • 4/20/2026

    CS undergraduate Tarun Suresh, advised by CS professors Sasa Misailovic and Gagandeep Singh, has received an NSF Graduate Research Fellowship Program award (Application Number: 1000407353). Suresh will attend Stanford for a doctorate.

  • 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).