Gagandeep Singh

Gagandeep Singh is a tenure-track Assistant Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC). His work focuses on creating intelligent computing systems with formal guarantees about behavior and safety, integrating Machine Learning, Formal Methods, and Systems research.

• Affiliation: University of Illinois at Urbana-Champaign; VMware Research
• Research Interests: Formal Methods, Machine Learning, Artificial Intelligence, Programming Languages, Neural Network Verification, Automatic Differentiation

His research emphasizes scalable verification techniques for neural networks, abstract interpretation, and systems integration. Recent work trends include applying formal methods to ensure safety in deep learning models and optimizing numerical analysis through domain decomposition and convex hull approximations.

He contributes to academic communities as a committee member in conferences like POPL, VMCAI, PLDI, and SAS, while authoring key publications in top venues such as POPL, PLDI, OOPSLA, and SAS.