Studies

M1 SIF - ENS Rennes (September 2025 - May 2026)

Location: École Normale Supérieure de Rennes, 35170 Bruz (France)

Second year of "ENS Rennes Diploma" and following the first year of Master SIF ("Science Informatique").

Majors:

• Software Formal Analysis and Design (Isabelle/HOL)
• Global Compiler Concepts
• Advanced Operating Systems
• Introduction to Research
• Digital Sobriety
• Information Theory
• English

Minors:

• Automatic Proof of Programs
• Model Checking
• Parallel programming (MPI)
• Complexity Theory

L3 SIF - ENS Rennes (September 2024 - May 2025)

Location: École Normale Supérieure de Rennes, 35170 Bruz (France)

First year of "ENS Rennes Diploma" and following the third year of Licence SIF ("Science Informatique").

Majors:

• Functionnal Programming (OCaml)
• Object Oriented Programming (C++)
• Logic
• Formal Languages and Calculability
• C Programming and Networks
• Algorithm
• System Architecture
• Statistics
• Pedagogy
• English

Minors:

• Distributed Algorithm
• Image Processing
• Optimization

CPGE MP2I-MPI* - Lycée Alain René LESAGE (September 2022 - June 2024)

Location: Lycée Alain René LESAGE, 56000 Vannes (France)

The MP2I-MPI* cursus is part of the French "CPGE" system, which is an intensive two-year preparation program for entrance exams to best french schools, such as ENS Rennes. It corresponds to the first two years of Licences in Mathematics, Computer Science and Physics. The studied languages are C, OCaml, Python and SQL.