Gagandeep Singh

Gagandeep Singh

Assistant Professor, Siebel School of Computing and Data Science, UIUC

Gagandeep Singh

I am an Assistant Professor in the Department of Computer Science at the University of Illinois Urbana-Champaign (UIUC), where I lead the FOrmally Certified Automation and Learning (FOCAL) Lab. My current focus is on combining ideas from Formal Logic, Machine Learning, and Systems research to develop systematic and theoretically principled approaches (as opposed to “IT WORKS”) for constructing intelligent compute systems with formal guarantees about their behavior and safety. Our group has received the NSF Career Award, Google Research Scholar Award, and Qualcomm Innovation Fellowship. Some of the topics (in no particular order) that we currently work on are

  • Neural Networks for Computer Systems with Formal Guarantees
  • Provably Robust Machine Learning for Wireless
  • Explainable AI
  • Neural Network Verification
  • Training with Logical Constraints
  • Robust and Efficient Reinforcement Learning
  • Learning from Human Preferences
  • Formal Methods for LLMs
  • LLMs for Mathematical Reasoning
  • Theoretical Understanding of LLMs
  • Securing Agentic AI
  • NeuroSymbolic Program Analysis
  • Differentiable Abstract Interpretation
  • Static Analysis of Differentiable Programs

I obtained a PhD in Computer Science from ETH Zurich in 2020 working with Prof. Markus Püschel and Prof. Martin Vechev. During my PhD, I designed scalable and precise automated reasoning methods and tools for programs and deep neural networks. I co-received the ACM SIGPLAN Doctoral Dissertation Award given annually to the best dissertations in the area of Programming Languages. Before that, I completed a Masters in Computer Science at ETH in 2014 receiving the ETH Master Medal and Bachelors in Computer Science and Engineering from IIT Patna in 2012 receiving the President of India Gold Medal.

For prospective PhD candidates: Please apply to the UIUC CS graduate program and mention my name. I will get back to you if there is a good match.

For UIUC students looking for a paid RA: We currently do not have any openings.

News