Education

2014/2015

First Semester

• MSM - Mechanized Semantics (Sandrine Blazy and David Pichardie).
• SDL - Software Security (David Pichardie and Delphine Demange and course page).
• ASR - Introduction to Distributed Computing by Michel Raynal and Éric Fabre, course page.
• ADM: Data Analysis and Stochastic Modelings by Guillaume Gravier, course page.
• PPS - Security Policies and Properties (course page).
• CRY - Cryptography, and Cryptographic Protocols (course page).
• DPC - Availability / content protection (course page).
• DIS: IntruSion Detection (course page).

2013/2014

First Semester

• ACF - Software formal analysis and design (Thomas Genet).
• SEM - Semantics (David Cachera).
• TS - Signal processing (Jean-Jacques Bellanger).
• COMP - Compilation (Sébastien Ferré).
• SGP - Operating systems and process management (Isabelle Puaut).
• CVFP - Modal logics (François Schwarzentruber).
• ELEC - Antennas (Ronan Sauleau).
• Proj - Collective research and development project : Embedded-Scilab (supervised by Steven Derrien).

Second Semester

• MVFA - Modeling and Verification with Automata (Sophie Pinchinat and Axel Legay).
• MFDS - Formal methods to develop secure software (Sandrine Blazy).
• PRI - Networks (César Viho).
• LRC - Logic and knowledge representation (Guillaume Aucher).
• MATH4 - Formal Calculus and numeric optimisation (Thibaut Deheuvels and Jérémy Le Borgne).
• TI - Information Theory (Éric Fabre and Aline Roumy).
• OPTIQUE - Optics (Olivier Émile).
• BDA - Advanced Database (David Gross-Amblard and Zoltan Miklos)

2012/2013

During this year, I followed two curses at the same time, one in computer science and the other one in mathematics, both at ENS Rennes.

Computer Science

First Semester

• Prog1 - Introduction to programming (Luc Bougé).
• Algo1 - Algorithms (François Schwarzentruber).
• LF - Formal Languages (David Cachera).
• ArcSys1 - Architecture and operating systems (Dominique Lavenier).
• ELMG - Electromagnetism and optics.
• English.

Second Semester

• Prog2 - Advanced programming (Alexandru Costan).
• Algo2 - Advanced algorithms (François Schwarzentruber).
• LC - Logic and computability (David Cachera).
• IMA - Image analysis.
• ArcSys2 - Architecture and operating systems.
• MATH2 - Probability theory and statistics.
• XTRA - Introduction to research and presentations (François Schwarzentruber).
• English.

Mathematics

First Semester

• ED2 - Differential Equation.
• INTL - Lebesgue’s integral.
• THGR - Group theory.
• TOPO - Topology.

Second Semester

• ANAR - Ring theory and arithmetics.
• EVNCD - Normed vector spaces and differential calculus.
• HOLO - Holomorphic functions.