I’m working at the intersection of automated reasoning, formal methods, and programming languages. My research aims to make advanced code generation and verification techniques more accessible by developing user-friendly frameworks powered by LLMs and algorithmic innovation.