Page personnelle de Stéphane Lescuyer: Curriculum Vitae
Curriculum Vitae
Listes des cours suivis
Cette section répertorie tous les cours que j'ai suivis depuis 2002, listés du plus récent au plus vieux.
Pour une liste des projets et rapports correspondants, reférez vous à la section Travaux.
ENST (2005 -- 2006)
- A. Grumbach, J-L Dessalles : Intelligence Artificielle : Modèles du Raisonnement
- E. Barbry : Droit des Nouvelles Technologies de l'Information-Communication
- J. Mathiex : Géopolitique
- J-L Dessalles, F. Yvon : Traitement Automatique des Langues Naturelles
- J-L Dessalles, A. Grumbach : Intelligence Collective
- L. Pautet : Gestion de Projet Logiciel
- P. Bellot, F. Yvon, J. Sakharovitch, J. Leneutre : Modèles Formels pour l'Informatique
Master MPRI (2005 -- 2006)
2ème trimestre
- P. Baillot, D. Miller : Logique linéaire et paradigmes logiques de calcul (II)
- R. Harmer : Modèles des langages de programmation : sémantique des jeux
- F. Fages, S. Soliman : Programmation avec contraintes
- E. Contejean, S. Conchon, R. Treinen : Démonstration Automatique (II)
- B. Barras, J-C Filliâtre : Assistants de preuves
1er trimestre
- R. Di Cosmo, D. Kesner : Logique linéaire et paradigmes logiques de calcul (I)
- P-Y Melliès, A. Bucciarelli : Modèles des langages de programmation : catégories, domaines
- F. Pottier, G. Castagna : Langages de programmation
- E. Goubault-Larrecq, J-P Jouannaud : Démonstration Automatique (I)
- G. Dowek, A. Miquel : Fondements des systèmes de preuves
Ecole Polytechnique (2002 -- 2005)
3ème année
- J-M. Steyaert : Théorie des automates, langages formels
- O. Temam : Architecture des ordinateurs
- R. Cori : Conception et analyse des algorithmes
- D. Rémy : Systèmes d'exploitation
- G. Dowek : Théorie des langages de programmation
- Enseignement d'approfondissement : Réalisation d'un microprocesseur sur FPGA
- N. Holzschuh : Synthèses d'images
- D. Miller, J-P Jouannaud : Logics for Computer Science
- T. de Montbrial : Humanités et Sciences Sociales : Stratégies et Relations internationales
- Y. Carsalade : Séminaire HSS : Systéme Monétaire International
2ème année
- J-Y Chemin, C. Viterbo : Calcul Différentiel
- J-M Grandmont, P. Artus : Analyse Economique
- J-J Lévy : Fondements de l'informatique
- M. Mézard : Physique quantique et statistique
- J-P Ponsard : Economie de l'entreprise
- P-L Lions : Modélisation mathématique
- A. Chambert-Loir : Algèbre corporelle
- P. Blanchet : Biologie moléculaire
- A. Finkielkraut : Humanité et Sciences Sociales : La question des limites
- Y. Carsalade : Humanité et Sciences Sociales : Histoire Economique
- A. Dulphy : Séminaire HSS : Culture Politique
- F. Lamoise : Séminaire HSS : Communication et Médias