About

Photo

Martin Trucchi

Computer science student

I'm a 4th year computer science student at the École Normale Supérieure de Lyon. I work on logic, computability, type theory, constructive mathematics, and formalisation, with a particular interest in synthetic and reverse mathematics.

Research Interests

  • Logic and computability theory
  • Type theory and constructive mathematics
  • Synthetic and reverse mathematics
  • Algorithmic randomness
  • Formalisation in proof assistants (Rocq, Agda)

Education

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

Contact

  • Email martin.trucchi@ens-lyon.fr
  • Affiliation École Normale Supérieure de Lyon