—
News!
2026
—
I was at the Summer School on Foundations of Programming and Software Systems at FLoC'26
—
The week of 22th June I will be on a WG on formally verified computer algebra at FMPSI'26 in Paris
—
Our paper ‘Functional correctness of an optimized modular inversion algorithm’ j.w.w Assia Mahboubi, Guillaume Melquiond, and Pierre-Yves Strub was accepted at ITP'26 (preprint)
—
I visited Enrico Tassi and gave a talk on the functional correctness of an optimized modular inversion algorithm (slides)
—
I gave a talk at RocqPL'26 on an automatic generation of parametricity translations for inductive types
(abstract) (slides)
2024
—
I have a personal webpage!
—
My Master’s thesis appeared in the latest (issue) of the Bits Magazine, the outreach magazine of the Computer Science Department at the University of Chile (in Spanish). Check out the student’s section
—
I wrote a (how-to) guide on connecting user-developed theories with MathComp ones, using the Hierarchy Builder.
—
I earned my Master’s degree in Computer Science and graduated as a Computing Engineer, both with the highest grade.
2023
—
I have extended the autoinduct tactic, using MetaCoq, for the Rosetta stone of metaprogramming project at CUDW2023.