Shubham Ugare

I am a PhD student in the Computer Science Department at University of Illinois, Urbana-Champaign advised by Prof. Sasa Misailovic and Prof. Gagandeep Singh.

I have strong interest in the intersection of machine learning (ML) and programming language/formal methods research. I care deeply about the future of ML and the role of formal methods in building reliable ML systems. Most recently, I worked on structured LLM generation, developing a new parsing techniques that can control LLMs to enforce the syntax and semantics of the generation. Before this, I worked on developing various formal method techniques that can be used to certify ML models. I also worked in the industry on open-source static analysis tools.

My CV