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)
- MATHSeveral Mathematics courses
(Linear Algebra, Normed Vector Space, Integrals, Differential Equations, Complex Numbers and Geometry, Differential Calculus and Differential Geometry ...) - PhysicsSeveral Physics and Chemistry courses
(Solid Mechanics, Electricity and Electromagnetism, Optics, Thermodynamics ...) - CSSeveral Computer Science courses (Algorithms, Formal Languages, Automata, Programming with OCaml ...)
- OthersFrench Litterature and Philosophy, German, English
- TIPE- Initiation to Research (individual project on how to simulate road trafic)