Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
if [2020/10/02 08:53] – vpenelle | if [2022/05/18 14:33] (Version actuelle) – vpenelle | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
====== Informatique Fondamentale (Algorithmes et Modèles & Vérification des logiciels) ====== | ====== Informatique Fondamentale (Algorithmes et Modèles & Vérification des logiciels) ====== | ||
+ | |||
+ | Responsable : [[https:// | ||
Ligne 5: | Ligne 7: | ||
Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, | Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, | ||
+ | [[https:// | ||
Les principaux débouchés visés par ce parcours sont les suivants : | Les principaux débouchés visés par ce parcours sont les suivants : | ||
Ligne 16: | Ligne 19: | ||
===== Contenu disciplinaire de la formation ===== | ===== Contenu disciplinaire de la formation ===== | ||
- | Au semestre 8, tous les étudiants suivent 4 cours communs, dont un (projet de programmation) commun avec tout le master, et un (conception formelle) commun avec le parcours «Génie Logiciel». | + | Au semestre 7, le master consiste en un tronc commun avec tous les étudiants. Le choix de parcours se fait à l’issue de ce semestre via une sélection sur résultats. On pourra trouver plus d’information sur les cours du semestre 7 (ainsi que ceux du parcours et les autres parcours [[https:// |
+ | |||
+ | Au semestre 8, tous les étudiants suivent 4 cours communs, dont un (projet de programmation) commun avec tout le master, et un (conception formelle) commun avec le parcours «Génie Logiciel». À la fin de ce semestre, il est également possible de faire un stage court (environ 2 mois) dans le cadre d’une UE optionnelle. C’est [[lionel.clement@u-bordeaux.fr | Lionel Clément]] qui est responsable de cette UE. La [[https:// | ||
Au semestre 9, le parcours se divise en deux sous-parcours, | Au semestre 9, le parcours se divise en deux sous-parcours, | ||
Ces deux parcours diffèrent essentiellement par quels modules sont obligatoires ou en option. | Ces deux parcours diffèrent essentiellement par quels modules sont obligatoires ou en option. | ||
+ | |||
+ | Le semestre 10 est presque entièrement dévolu à un stage en laboratoire ou en entreprise. Ce dernier est précédé par un cours d’anglais et un cours de lecture d’articles. | ||
==== UE de Semestre 8 ==== | ==== UE de Semestre 8 ==== | ||
- | * **Projet de programmation** | + | * **[[IF-PdP | Projet de programmation]]** |
* Resp: [[narbel@labri.fr | Philippe Narbel]] | * Resp: [[narbel@labri.fr | Philippe Narbel]] | ||
- | * **Conception Formelle** | + | * **[[IF-CF | Conception Formelle]]** |
- | * Resp: [[alain.griffault@u-bordeaux.fr | Alain Griffault]] et [[vincent.penelle@u-bordeaux.fr | Vincent Penelle]] | + | * Resp: [[https:// |
- | * **Optimisation Combinatoire** | + | * **[[IF-OC | Optimisation Combinatoire]]** |
- | * Resp: [[olivier.baudon@labri.fr | Olivier Baudon]] | + | * Resp: [[https:// |
- | * **Introduction à la vérification** | + | * **[[IF-IV | Introduction à la vérification]]** |
- | * Resp: [[anca@labri.fr | Anca Muscholl]] | + | * Resp: [[https://labri.fr/ |
==== UE de Semestre 9 ==== | ==== UE de Semestre 9 ==== | ||
Dans cette liste, à coté des noms des modules, **VL** signifiera que le cours est obligatoire pour le parcours «Vérification des logiciels», | Dans cette liste, à coté des noms des modules, **VL** signifiera que le cours est obligatoire pour le parcours «Vérification des logiciels», | ||
- | * **Software Verification** | **VL** //AM// | (6ECTS) | ||
- | * Resp: [[vincent.penelle@u-bordeaux.fr | Vincent Penelle]], [[gregoire.sutre@labri.fr | Grégoire Sutre]] et [[leroux@labri.fr | Jérôme Leroux]] | ||
- | * **Seminar** | **VL AM** | (3ECTS) | + | * **[[IF-Seminar | Seminar]]** | **VL AM** | (3ECTS) |
- | * Resp: [[nicolas.bonichon@u-bordeaux.fr | Nicolas Bonichon]] | + | * Resp: [[https:// |
+ | * [[https:// | ||
- | * **Game Synthesis & Control** | **VL** | + | * **[[IF-LADS | Lecture d’articles et documentation scientifique]]** | **VL** |
- | * Resp: [[anca@labri.fr | + | * Resp: [[https:// |
- | * **Distributed Algorithm** | // | + | * **[[IF-SV | Software Verification]]** | **VL** // |
- | * Resp: [[cyril.gavoille@u-bordeaux.fr | Cyril Gavoille]] | + | * Resp: [[https:// |
- | * **Logic and Languages** | // | + | * **[[IF-GSC | Game Synthesis & Control]]** | **VL** // |
- | * Resp: [[anca@labri.fr | Anca Muscholl]], [[meghyn.bienvenu@labri.fr | Meghyn Bienvenu]] et [[mz@labri.fr | Marc Zeitoun]] | + | * Resp: [[https://labri.fr/ |
- | * **Applied Algorithmics** | // | + | * **[[IF-DA | Distributed Algorithm]]** | // |
- | * Resp: [[cyril.gavoille@u-bordeaux.fr | Cyril Gavoille]] | + | * Resp: [[https:// |
+ | * [[https:// | ||
- | * **Advanced Graph Theory** | //VL// **AM** | (3ECTS) | + | * **[[IF-LL | Logic and Languages]]** | //VL// **AM** | (6ECTS) |
- | * Resp: [[eric.sopena@labri.fr | Eric Sopena]] et [[marthe.bonamy@labri.fr | Marthe Bonamy]] | + | * Resp: [[https:// |
- | * **Informatique Quantique** | //VL// | (3ECTS) | + | * **[[IF-AGT | Advanced Graph Theory]]** | // |
- | * Resp: [[adrian.tanasa@u-bordeaux.fr | Adrian Tanasa]] | + | * Resp: [[https://www.labri.fr/ |
- | * **Lecture d’articles | + | * **[[IF-AA | Applied Algorithmics]]** | //VL// //AM// | (6ECTS) |
- | * Resp: [[abdou.guermouche@labri.fr | Abdou Guermouche]] | + | * Resp: [[https:// |
+ | | ||
+ | |||
+ | | ||
+ | | ||
+ | | ||
+ | |||
+ | |||
+ | |||
+ | ===== UE du semestre 10 ===== | ||
+ | |||
+ | | ||
+ | * Resp: [[https://www.labri.fr/ | ||
+ | |||
+ | * **[[IF-Ang | Anglais]]** | (3ECTS) | ||
+ | * Resp: [[youssef.benzoubair@u-bordeaux.fr|Youssef Benzoubair]] | ||
===== Stages ===== | ===== Stages ===== | ||
- | Le semestre de printemps du M2 est entièrement dévolu à un stage qui peut-être soit un stage de recherche dans un laboratoire (en France ou à l’étranger), | + | Le semestre de printemps du M2 est presque |
- | Ce stage compte pour 30ECTS | + | Ce stage compte pour 24ECTS |
+ | |||
+ | [[IF-Stages|Plus d’infos et quelques propositions ici]] | ||
==== Anciens Élèves ==== | ==== Anciens Élèves ==== | ||
- | Sur [[IF-Anciens | + | Sur [[https:// |
+ | ([[IF-Anciens | Ancienne page]]) | ||