Gagandeep Singh

Gagandeep Singh is a tenure-track Assistant Professor in the Department of Computer Science at the University of Illinois Urbana-Champaign. His research focuses on the intersection of Machine Learning, Formal Methods, and Systems, aiming to create intelligent computing systems with formal guarantees about their behavior and safety.

Key affiliations include:

• University of Illinois Urbana-Champaign (College of Engineering)
• VMware Research

Research Interests:

• Formal certification of neural networks
• Abstract interpretation and static analysis
• Automatic differentiation techniques
• Machine learning safety and robustness
• Systems integration with formal guarantees

Recent Publications Trends:

His work emphasizes scalable verification techniques for machine learning models, particularly through abstract interpretation and convex hull approximations. Key themes include neural network certification, relational analysis of deep learning systems, and safety-critical AI verification. Many contributions focus on mathematical frameworks for automatic differentiation and optimization.

Scientific Awards:

• Radhia Cousot Award (2022)

Conference Leadership:

• Steering Committee Member (SAS 2025)
• Program Committee Member (SAS 2025)
• OOPSLA Review Committee (SPLASH 2025)