I am a third-year PhD student on the Gallinette team working towards reconciling efficiency and trust for algorithms in Computer Algebra Systems, under the supervision of Assia Mahboubi. Currently, I am exploring the limits of formal verification tools for verifying low-level optimized algorithms whose correctness is justified with high-level mathematical objects.
I co-organize FormAL, monthly seminars on formal methods and programming languages in latin america. My general interests lie in formal verification, proof assistants, meta-programming, and having fun!
Last updated: 16 Sep 2026