Gagandeep Singh

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

• Programming Languages
• Formal Methods
• Artificial Intelligence
• Machine Learning
• Systems

His publications (e.g., PRIMA, Incremental Verification of Neural Networks) emphasize scalable neural network certification, abstract interpretation, and automatic differentiation. Work includes domain-specific languages for verification and convex hull approximations to improve precision.

Scientific recognition includes the NEAT (Notable Experience Track Artifact) award for ConstraintFlow. He has served on program committees and as session chairs for conferences like PLDI, POPL, and SPLASH.

He has no listed advisees or grants in the provided texts but maintains an active role in research leadership through committee memberships and invited talks.