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), "Complete abstractions for verification of polymorphic functions with equality", relates to the following themes:
- Functional programming
- Parametric polymorphism
- Abstract interpretation
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 (2023-2026)
- Algorithmics for 1st year ENS Rennes students (2024-2026)
- Computability and semantics for 2nd year university students (2024-2025)
- Algorithms and complexity in Java for 1st year university students (2023-2024)
- Helping the agrégation preparatory class of Rennes (2022-2026)
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