Théo Matricon

Postdoc, DiverSe, INRIA
Joined
June 2024

Names

Théo Matricon (Preferred)

Emails

****@u-bordeaux.fr (Confirmed)
, 
****@gmail.com (Confirmed)
, 
****@inria.fr (Confirmed)

Personal Links

Career & Education History

Postdoc
DiverSe, INRIA (inria.fr)
2025 – 2026
PhD student
M2F, University of Bordeaux (u-bordeaux.fr)
2021 – 2024

Advisors, Relations & Conflicts

Coauthor
Guillaume Lagarde
Present
Coauthor
Holger H. Hoos
Present
Coauthor
Marie Anastacio
Present
Coauthor
Helge Spieker
Present
Coauthor
Arnaud Gotlieb
Present
Postdoc Advisor
Mathieu Acher
2025 – 2026
PhD Advisor
Nathanaël Fijalkow
2021 – 2024
Coauthor
Laurent Simon
2020 – 2024
Coauthor
Kevin Ellis
2020 – 2022

Expertise

Variability
2025 – Present
Benchmark/Test minimization
2024 – Present
Superoptimization
2024 – Present
Code Generation
2022 – Present
Algorithm Selection
2022 – Present
Program Synthesis
2021 – Present

Publications

Co-Authors