Thanks to a cursus going through preparatory classes, then one of the most highly selective examination in France, I'm today specializing in computer science, with a solid background in mathematics. Here are detailed the formation I had in the ENS. You might also want refer to my
Curriculum Vitae.
2013 / 2014
One year internship at the Aarhus University, in the Logics and Semantics group, under the supervision of
Lars Birkedal and
Filip Sieczkowski .
2012 / 2013
ENS Cachan, Brittany Extension - MIT3 / University of Rennes 1 -
Research master's degree in computer science.
Second Semester
- 5-month internship in the project-team Celtique, INRIA / ENS / CNRS Rennes- Bretagne Atlantique, entitled: "Generation of polynomial inequalities as invariants".
First Semester
2011 / 2012
ENS Cachan, Brittany Extension -
MIT2 / University of Rennes 1 -
Computer Science Master.
Second Semester
- AASR : Algorithmic approach to applications and distributed systems. Michel Raynal.
- MVFA : Formal check and Validation. Sophie Pinchinat and Axel Legay.
- TI : Information Theory. Aline Roumy.
- Math4 : Numerical optimization ; cryptography and primality. Rozenn Texier-Picard and Jeremie Leborgne
- BDA : Advance Databases. Virginie Sans.
- Optique : Introduction to LASER's physic. Olivier Emile
- REPR : Networks and protocols. Cesar Viho.
- XTRA : Research training. Sophie Pinchinat and Thomas Genet.
- English.
- Proj : Collective development project
First Semester
- SEM : Semantic. David Cachera.
- ELEC1 : Radiating systems and antennas. Ronan Sauleau.
- TS : Signal theory and filtering. Jean-Jacques Bellanger.
- CVFP : Object analysis, conception and modal logics. Francois Schwarzentruber.
- COMP : Compilation. Sebastien Ferre.
- MEPS : Performance evaluation modeling and dependability analysis. Bruno Sericola.
- XTRA : Research training . Sophie Pinchinat et Thomas Genet.
- Proj : Collective development project
- English.
2009 / 2010
I followed during this year two cursuses at the same time, in computer science and mathematics.
ENS Cachan, Brittany Extension -
MIT1 / University of Rennes 1.
Computer science
Second Semester
- Prog2 : Algorithms and advanced programming.
- Algo2 : Advanced algorithms.
- LC : Logic and computability.
- ArcSys2 : Architecture and operating systems.
- IMA : Image analysis.
- MATH2 : Probability theory and statistics.
- XTRA : Research training.
- ELC : Electronics.
- English.
First Semester
- Prog1 - Introduction to programming.
- Algo1 - Algorithms.
- LF - Formal languages.
- CRES - Introduction to network theory and protocols.
- ArcSys1 - Architecture and operating systems.
- ELMG - Electromagnetism and optics.
- English.
Mathematics
Second Semester
- Lebesgue's integral and probabilities.
- General topologie.
- Arithmetic.
- Numerical linear algebra.
First Semester
- Differential calculus and holomorphic functions.
- Normed vector spaces.
- Lebesgue and Fourier