Education

This page describes the courses I took during my school years at Ecole normale supérieure de Rennes.
After the end of high school (2010), I went to a "classe préparatoire aux grandes écoles" (CPGE), which is a 2-years intensive preparation to french "grandes écoles"; this gave me a strong background in mathematics and physics. I then passed a national competitive examination in 2012 in order to get into ENS.

2013-2015 (Research-oriented Master in Computer Science)

Master, 2nd Year

  • - Data analysis and stochastic modeling.

  • - Data capture and representation.

  • - Supervised learning.

  • - Introduction to Distributed Computing.

  • - Compression, transmission and rendering of video, audio and 3D data.

  • - Extracting knowledge from symbolic data sequences.

  • - Document and audio-visual flow analysis for indexing.

  • - Indexing and visualisation of multidimensional data.

Master 1st Year, 1st Semester

  • SEM
    - Semantics.

  • TS
    - Signal processing.

  • COMP
    - Compilation.

  • SGP
    - Operating systems and process management.

  • MEPS
    - Markov Chains.

  • CVFP
    - Modal logics.

  • ELEC
    - Physics of Antennas.

  • PROJ
    - Collective (6 students) research and development project on automated verification of cryptographic protocols. Supervised by Thomas Genet. (-> More details on the project)

Master 1st Year, 2nd Semester

  • BDA
    - Advanced Databases.

  • TI
    - Information processing.

  • PRI
    - Network Protocols.

  • SGM
    - Operating Systems and Memory management.

  • MATH4
    - Mathematical Optimization.

  • MVFA
    - Modelling and Verification using Automata.

  • OPTIC
    - Optics.

  • LRC
    - Epistemic modal logic.

2012-2013 (Double Bachelor in Computer Science and Mathematics)

Computer Science, 1st Semester

  • Prog1
    - Programming (OCaml and C/C++).

  • Algo1
    - Algorithmics.

  • LF
    - Formal Languages.

  • Arcsys1
    - Architecture and operating systems.

  • ELMG
    - Electromagnetism and optics.

  • ENG
    - English.

Computer Science, 2nd Semester

  • Prog2
    - Advanced programming in Java.

  • Algo2
    - Advanced algorithmics.

  • LC
    - Logic and computability.

  • IMA
    - Image analysis and Introduction to Computer Graphics.

  • Arcsys2
    - Architecture and operating systems.

  • MATH2
    - Probability theory and statistics.

  • XTRA
    - Introduction to Research.

  • ENG
    - English.

Mathematics, 1st Semester

  • ED2
    - Differential Equation.

  • INTL
    - Lebesgue’s integral.

  • THG
    - Group theory.

  • TPG
    - Topology.

Mathematics, 2nd Semester

  • ANAR
    - Ring theory and arithmetics.

  • EVNCD
    - Normed vector spaces and differential calculus.

  • HOLO
    - Holomorphic functions.

2010 - 2012 (Post-Secondary preparatory classes)

  • MATH
    Several Mathematics courses
    (Linear Algebra, Normed Vector Space, Integrals, Differential Equations, Complex Numbers and Geometry, Differential Calculus and Differential Geometry ...)

  • Physics
    Several Physics and Chemistry courses
    (Solid Mechanics, Electricity and Electromagnetism, Optics, Thermodynamics ...)

  • CS
    Several Computer Science courses (Algorithms, Formal Languages, Automata, Programming with OCaml ...)

  • Others
    French Litterature and Philosophy, German, English

  • TIPE
    - Initiation to Research (individual project on how to simulate road trafic)