Research
I am currently a Computer Science PhD student (unless I have forgotten to update this page) at INRIA Rennes, in the EPICURE team.
My PhD (supervised by Thomas Genet and Thomas Jensen), "Proving Regular Theorems on Functional Programs", relates to the following themes:
- Abstract interpretation
- Term rewriting systems
- Regular tree languages
- Functional programming
Teaching
In 2022 I passed the French agrégation of computer science (rank 3 out of 20).
My main teaching experience so far:
- MPI module for 1st year ENS Rennes students.
- Algorithms and complexity in Java for 1st year university students
Education
- 2019-2023: Student at the ENS Rennes (CS department)
- 2017-2019: Classe préparatoire aux grandes écoles in Tours, at Descartes school (MPSI-MP*)
Contact
Feel free to contact me at malo.revel@ then either inria.fr or ens-rennes.fr