Computer science student at ENS Rennes.
📍ENS Rennes (Rennes, France).
I spend the year preparing for the agrégation in computer science at ENS Rennes. The agrégation is an examination to become a preparatory class teacher.
More information is available on the webpage about ENS Rennes’ agrégation preparatory class (in French).
📍Department of Computer Science and Technology (Cambridge, United Kingdom).
Nine-week internship in Tobias Grosser’s research group with Mathieu Fehr: Pruning Enumerative Synthesis Search Space Using Equivalence Classes.
During this internship, I developped and implemented an algorithm that enumerates programs of an MLIR dialect
📍IRISA, Inria center at Rennes University (Rennes, France).
Year-long, one-day-a-week research project at IRISA in the DiverSE team, supervized by Djamel E. Khelladi and Arnaud Blouin, on extracting from a Git commit history the changes that induce fixes using a tool developped in the team and mining patterns from those changes: A Novel Method to Study the Emergence of Software Vulnerabilities in Code.
📍ENS Rennes (Rennes, France).
As part of my first year of master, I have followed courses in the following scientific fields:
In those courses, we used C, Java, Scala, the Isabelle/HOL proof assistant, and the NuSMV model checker.
I also had a course on making scientific presentations, as well as many seminars, and English classes.
📍Inria Paris center (Paris, France).
Eight-week internship within the Cambium team, supervized by Florian Angeletti: Higher-Level Error Messages for OCaml Modules.
During this internship, we explored a way to improve OCaml module error messages by detecting spelling mistakes efficiently using an ingenious combination of algorithms and data structures. An implementation of this work in a fork of the OCaml compiler has been done, and will soon be proposed as a pull request on the main compiler branch.
📍ENS Rennes (Rennes, France).
As part of my third year of licence, I have followed courses in the following scientific fields:
In those courses, we used C, C++, OCaml, and Python, as well as RISC-V assembly.
I also had a pedagogy module, as well as many seminars, and English classes.
📍Lycée du Parc (Lyon, France).
The MP2I/MPI pathway is part of the French ‘CPGE’ system, which is an intensive two-year preparation program for entrance exams to grandes écoles, such as ENS Rennes. It corresponds to the first two years of licence. This pathway focuses specifically on mathematics, computer science, and physics. Students follow courses on computational complexity theory, formal languages, and logic. Studied languages are C, OCaml, and SQL.
Very high honors (‘mention « Très bien »’). Majors: computer science, mathematics and physics & chemistry.
The computer science major introduces students to basic topics such as graph theory, recursion, and object oriented programming.