Hello!

I am a 2nd year computer science PhD student at the University of Illinois Urbana-Champaign, co-advised by Prof. Gagandeep Singh and Prof. Talia Ringer. My research interests lie broadly at the intersection of machine learning and formal methods.

I am especially interested in exploring techniques combining formal verification with machine learning, bringing determinism and guarantees to stochastic and unreliable machine learning paradigms.

I’m also experienced in using LLMs for automated theorem proving in proof assistants like Lean 4, both for formal mathematics and for program specification and verification. And I’m also interested in improving LLMs for code reasoning.

I’m excited to continue my academic journey and pursue a career in research!