Curriculum Vitae

Research Internships

Research intern: Synthetic constructive algebras 2026 (ongoing, 5 months)
Department of Computer Science, Università di Verona

Supervised by Peter Schuster.

Research intern: Synthetic and constructive algorithmic randomness 2025 to 2026 (3 months)
Inria Paris, Université Paris Cité

Supervised by Yannick Forster and Dominik Kirst. Extended abstract to be submitted to the International Workshop on Continuity, Computability, Constructivity (CCC'26).

Research intern: Formalization of game semantics in Rocq 2025 (4 months)
LIS, Aix-Marseille Université

Supervised by Étienne Miquey and Pierre Clairambault.

Research intern: Synthetic topology in Agda, a definitional quest 2024 (3 months)
School of Computer Science, University of Birmingham

Supervised by Vincent Rahli.

Research intern: Algorithmic randomness 2023 (6 weeks)
I2M, Aix-Marseille Université

Supervised by Pierre Guillon.

Education

Diploma of the ENS de Lyon (ongoing) 2022 to present
École Normale Supérieure de Lyon
M2 LMFI, Mathematical Logic and Foundations of Computer Science 2024 to 2025
Université Paris Cité
M1 Computer Science, concepts and applications 2023 to 2024
École Normale Supérieure de Lyon
Bachelor's degree in Computer Science 2022 to 2023
École Normale Supérieure de Lyon
CPGE MPSI / MP* 2020 to 2022
Lycée Thiers, Marseille
A-level science 2020
Lycée Chevreul Blancarde, Marseille

Schools

EPIT25, École de Printemps d'Informatique Théorique 2025
Aussois, France

(Co)inductive and circular reasoning applied to programming, formal proofs, and software verification.

PC25, Proofs and Computation 2025
Herrsching, Germany

Predicative foundations, constructive mathematics and type theory, computation in higher types, extraction of programs from proofs.

Publications

1 publication. View full list with abstracts →

Synthetic and constructive algorithmic randomness
M. Trucchi · Extended abstract, to be submitted to CCC'26 (International Workshop on Continuity, Computability, Constructivity)

Teaching

Oral examinations and labs in computer science
MP2I prépa class · La Martinière-Monplaisir, Lyon · 2023 to 2024

Tools

LaTeXPythonOCamlRocqAgda

Languages

French (native)English