Organisation
La spécialité Informatique fondamentale s’affiche autour de 3 parcours :
- Informatique Mathématique
- Algorithmique
- Modèle et Optimisation pour les Infrastructures émergentes.
| Informatique Mathématique | Algorithmique | Modèle et optimisation pour les infrastructures émergentes | |
|---|---|---|---|
| Projet Intégré | X | X | X |
| Preuve assisté par ordinateur | X | ||
| Complexité algorithmique | X | X | |
| Arithmétique des ordinateurs | X | X | |
| Algorithmique parallèle | X | X | X |
| Evaluation de performance | X | X | X |
| Algorithmique des réseaux | X | X | |
| Compilation | X | ||
| Systèmes distribués | X |
Forme pédagogique
Les enseignements sont majoritairement composés de cours magistraux, travaux dirigés, travaux pratiques et cours de recherche au travers des écoles.
Chaque étudiant bénéficie d’un accompagnement par l’un des enseignants du master. Chaque étudiant a le choix de son parcours pendant les deux ans. Ce parcours est constitué bien entendu par le choix des cours mais également par le nombre et la nature des stages. Ce parcours est validé par le tuteur et le responsable de la spécialité Informatique Fondamentale au vu du projet personnel de l’étudiant et de son cursus antérieur.
A ceci s’ajoute un projet tuteuré (PI) et deux stages de 12 et 8 semaines (SR01 et SR02).
S’ajoute aussi des cours de recherche au travers d’écoles thématiques (UE ER01,…, ER06 de S2 et S3)…
Règlement
Pour obtenir le M1 du Master Informatique / Spécialité Informatique Fondamentale de l’ENS Lyon il faut valider 60 crédits, dont nécessairement les deux stages de recherche (SR01 & sr02), le projet intégré (PI), et les 2 modules de langue. Il est nécessaire de valider en plus des UEs obligatoires, au moins 4 cours de base (CB) de la spécialité et 4 écoles (ER).
Le texte complet du réglement est accesible sous ce lien (document pdf).
Parcours type de M1
- 4CB (20ECTS) + PI (5ECTS) + Anglais 1 (3ECTS)+ 1 Ecole (2ECTS) + 5 Ecoles (10ECTS) + Stage 1 (12ECTS) + Anglais 2 (3ECTS) + Stage 2 (5ECTS)
- 4CB + PI + Anglais 1 + 4 Ecoles + UE libre (4ECTS) + Stage 1 + Anglais 2 + Stage 2
Liste des modules offerts en M1 Informatique fondamentale à l’ENS Lyon.
Chaque CB ou PI correspond à 5ECTS. 1 CB représente 24 heures de cours et 24 heures de TD. PI représente 24h de cours. Les UEs d’anglais correspondent à 3ECTS chacune.
- PI-01 : Projet intégré
- CB-01 : Preuve assistée par ordinateur
- CB-02 : Complexité algorithmique
- CB-03 : Arithmétique des ordinateurs
- CB-04 : Algorithmique parallèle
- CB-05 : Evaluation de performance
- CB-06 : Algorithmique des réseaux
- CB-07 : Compilation
- CB-08 : Systèmes distribués
- LV-01 : Anglais 1
- ER-01 : Algorithmes pour l'approximation géométrique
- ER-02 : Graphes et optimisation combinatoire
- ER-03: Game theory for networks
- ER-04 : Nouveaux paradigmes de calcul : modèles physiques de calcul, algorithmique efficace
- ER-05 : Game semantics and linear logic
- ER-06 : Beyond the PC. Application specific systems: design and implementation
- SR-01 : Stage de recherche
- SR-02 : Stage de recherche à l'étranger
- LV-02 : Anglais 2
