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 created SynCode, a tool that builds a new parsing technique which can control LLMs to generate output that follows a user-specified formal grammar. Before this, I worked on developing various formal method techniques that can be used to certify ML models. I also spent some time working in industry working on open-source static analysis tools.

My CV