Théo Matricon
Postdoctoral Researcher at Inria
Cesson-Sévigné, Brittany, France
Summary
👤
Senior🎓
Top SchoolThéo Matricon is a postdoctoral researcher at Inria with nine years of experience at the intersection of program synthesis, code generation, variability, and benchmarking/cost optimization. He completed a PhD focused on scaling domain-agnostic techniques for program synthesis and has published across AI, formal methods, and software engineering venues. His background blends deep reinforcement learning experiments, spiking neural net simulator development, and hands-on research engineering—he has supervised research engineers and interns and led comparative algorithm studies that informed conference papers. Based in Brittany, he brings both academic rigor and practical implementation skills, with an engineer’s degree from ENSEIRB-MATMECA and an ERASMUS stint at KU Leuven, and tends to pursue the “next interesting problem” rather than incremental work.
9 years of coding experience
ERASMUS Semester in Advanced AI Master, Artificial Intelligence, ERASMUS Semester in Advanced AI Master, Artificial Intelligence at KU LeuvenEngineer's degree, Computer Science, Engineer's degree, Computer Science at ENSEIRB-MATMECADoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Université de BordeauxCPGE, MP, CPGE, MP at Lycée Claude Fauriel
English, Chinese, French, Spanish
Github Skills (31)
ocaml9
code-generation9
lwt8
dune8
hierarchical-clustering8
in-progress7
opam7
entity6
alias6
journal6
clustering5
open-access5
academia5
topic-modeling4
latex4
Programming languages (7)
Github contributions (5)
Theomat/pltpublish
Feb 2022 - Aug 2024
Contributions:3 releases, 7 pushes, 1 branch in 2 years 6 months
Theomat/theomat.github.io
Oct 2021 - Mar 2025
Contributions:19 PRs, 101 pushes, 22 branches in 3 years 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.