About me

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

My work focuses on automated theorem proving and automated theorem generation within interactive theorem provers, like Rocq and Isabelle. I create tools that merge theoretical principles for robust code generation with advanced machine learning to automate and simplify challenging development processes.