Curriculum Vitae
List of courses
This section lists all academic courses I have followed since 2002, starting from the most recent to the oldest.
For a list of projects and corresponding reports, see the Work section.
ENST (2005 -- 2006)
- A. Grumbach, J-L Dessalles : Artifical Intelligence : Models of reasoning
- E. Barbry : Laws relative to New Technologies of Communication and Information
- J. Mathiex : Geopolitics
- J-L Dessalles, F. Yvon : Automatic Processing of Natural Languages
- J-L Dessalles, A. Grumbach : Collective Intelligence
- L. Pautet : Software project management
- P. Bellot, F. Yvon, J. Sakharovitch, J. Leneutre : Formal models for Computer Science
Master MPRI (2005 -- 2006)
2nd trimester
- P. Baillot, D. Miller : Linear Logic and logical paradigms of calculus (II)
- R. Harmer : Programming languages' models: Game semantics
- F. Fages, S. Soliman : Constraint programming
- E. Contejean, S. Conchon, R. Treinen : Automated Deduction (II)
- B. Barras, J-C Filliâtre : Proof assistants
1st trimester
- R. Di Cosmo, D. Kesner : Linear Logic and logical paradigms of calculus (I)
- P-Y Melliès, A. Bucciarelli : Programmin languages' models: Categories and domains
- F. Pottier, G. Castagna : Programming languages' theory
- E. Goubault-Larrecq, J-P Jouannaud : Automated Deduction (I)
- G. Dowek, A. Miquel : Type theory
Ecole Polytechnique (2002 -- 2005)
3rd Year
- J-M. Steyaert : Finite automata, Formal languages
- O. Temam : Computer Architecture & Design
- R. Cori : Design and analysis of algorithms
- D. Rémy : Operating Systems
- G. Dowek : Programming Languages' Theory
- Special project: Realization of a microprocessor on FPGA
- N. Holzschuh : Computer vision
- D. Miller, J-P Jouannaud : Logics for Computer Science
- T. de Montbrial : Social sciences (HSS): International relations and strategies
- Y. Carsalade : HSS Seminary: International Monetary System
2nd Year
- J-Y Chemin, C. Viterbo : Differential Calculus
- J-M Grandmont, P. Artus : Micro- and Macroeconomics
- J-J Lévy : Computer Science
- M. Mézard : Quantum physics and statistics
- J-P Ponsard : Corporate's economics
- P-L Lions : Mathematical modelization
- A. Chambert-Loir : Galois Algebra
- P. Blanchet : Molecular Biology
- A. Finkielkraut : HSS (Philosophy) : La question des limites
- Y. Carsalade : HSS : Economical History
- A. Dulphy : HSS Seminary : Political Culture
- F. Lamoise : HSS Seminary: Medias and Communication