Malo MONIN

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.

As part of the preparation program, I follow, or have followed, courses on the following scientific fields:

• Programming language theory (David Pichardie),
• Algorithms (Alice Goeminne, Théo Pierron),
• Calculability (Alice Goeminne),
• Logic (Théo Pierron),
• Computer architecture (Simon Rokicki),
• Software engineering (Yaëlle Vinçon),
• Databases (David Gross-Amblard).

In those courses, we use C, OCaml, Python, SQL, and RISC‑V.

More information is available on the webpage about ENS Rennes’ agrégation preparatory class (in French).

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 generates all pattern rewrites up to a certain size for a given MLIR dialect.

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.

As part of my first year of master, I have followed courses in the following scientific fields:

• Compilation (Simon Rokicki),
• Model checking (Sophie Pinchinat),
• Software formal analysis and design (Thomas Genet),
• Knowledge representation and reasoning (Guillaume Aucher),
• Operating systems (Isabelle Puaut),
• Computational complexity theory (Thomas Seiller),
• Information theory (Éric Fabre),
• High performance computing (Martin Quinson),
• Epistemology (Filipe Drapeau-Contim, Olivier Ridoux),
• Computer science and Anthropocene (Simon Castellan).

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.

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. This work was submitted as a pull request to the OCaml compiler.

As part of my third year of licence, I have followed courses in the following scientific fields:

• Programming language theory (David Baelde),
• Formal languages (Gilles Lesventes),
• Algorithms (Francois Schwarzentruber),
• Logic (David Baelde),
• Systems programming (Martin Quinson),
• Computer architecture (Steven Derrien),
• Software engineering (Martin Quinson),
• Distributed algorithms (Davide Frey, George Giakkoupis),
• Digital image processing (Emmanuel Caruyer),
• Networks (Guillaume Didier),
• Probability and statistics (Francois Schwarzentruber).

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.

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.