About me

Hi! I’m a computer science researcher with expertise in programming languages, software engineering, and machine learning.

My work focuses on automating (and sometimes manually using) formal reasoning within interactive theorem provers, like Rocq and Isabelle.

I enjoy creating tools that merge the theoretical principles of programming languages and formal verification with state-of-the-art machine learning to automate and simplify challenging development processes. I contribute to tools (Proverbot9001, Lemmanaid) that simplify formal mathematical reasoning, and verified software development.

I recently completed my Ph.D at UC San Diego, advised by Sorin Lerner. I’m actively pursuing postdoctoral opportunities and industry roles that align with my research interests. Feel free to reach out if you’d like to connect!