Scholar

Théo MATRICON

Google Scholar ID: wzFtELYAAAAJ

Postdoc, DiverSE, IRISA/INRIA Rennes

Program SynthesisCode GenerationVariability

Citations & Impact

All-time

Citations

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

13 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Academic Achievements

Published several papers, including one on best-first search algorithms accepted at AAAI 2025; involved in research projects like LLM4Code.

Research Experience

Postdoc in the DiverSE team at INRIA Rennes starting January 2025; has given talks and collaborated on projects with institutions such as Simula and CNRS.

Education

PhD thesis titled “Scaling Domain Agnostic Techniques for Program Synthesis,” supervised by Nathanaël Fijalkow at LaBRI.

Background

Research interests lie in the domains of artificial intelligence, formal methods, and software engineering. Specific areas include benchmarking, program synthesis, code generation, performance variability, and machine learning tools that can help reduce environmental impact.

Miscellany