I am Timothée MENEUX, a 21 years old student from Vannes (France) and I am studying at the Computer Science Department of "École Normale Supérieure de Rennes". Currently, I am in the second year of "ENS Rennes Diploma" and following the first year of Master SIF ("Science Informatique").
Nowadays, the research fields in which I am find interest are Lambda Calculus, Types Theory, Functionnal Programming, Verification and Formal Methods. I often make some little programming projects to test things, to understand my lessons or simply to have some fun.
Also, I really would like to become a teacher, especially in MP2I-MPI classes which are part of the French "CPGE" system. That is why I aim to prepare for the "Agrégation" in Computer Science.
Outside of the academic fields, I love music. I play cello since I was 8 years old and I am part of the Rennes University Orchestra.
I can fluently speek in French (native language) and English.
The coding languages in which I can code are OCaml, C, C++ and Python. I also use Typst a lot to write many kinds of documents.