My research interests are formal methods, automated theorem proving, and proof assistants such as Lean and Rocq. Passionate about building reliable and mathematically verified systems through logic, verification, and program correctness. My Additional interests include astronomy, robotics, physics, and quantum computing.