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édenteProchaine révisionLes deux révisions suivantes | ||
if [2020/09/30 13:22] – vpenelle | if [2021/07/15 13:01] – 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:// | ||
+ | |||
+ | |||
+ | ===== Présentation ===== | ||
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, | ||
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 : | ||
- | * poursuite en thèse (en France ou à l’étranger, | + | * recherche via poursuite en thèse (en France ou à l’étranger, |
* ingénierie des algorithmes et systèmes complexes | * ingénierie des algorithmes et systèmes complexes | ||
* ingénierie logistique, énergétique | * ingénierie logistique, énergétique | ||
Ligne 11: | Ligne 16: | ||
- | ===== Présentation | + | ===== Contenu disciplinaire de la formation |
+ | |||
+ | 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». | 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». | ||
Ligne 17: | Ligne 25: | ||
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. | ||
- | ===== Contenu disciplinaire | + | 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», | ||
- | * **Software Verification** | ||
- | * Resp: [[vincent.penelle@u-bordeaux.fr | Vincent Penelle]], [[gregoire.sutre@labri.fr | Grégoire Sutre]] et [[leroux@labri.fr | Jérôme Leroux]] | ||
- | * **Seminar** | + | * **[[IF-Seminar | Seminar]]** | **VL AM** | (3ECTS) |
- | * Resp: [[nicolas.bonichon@u-bordeaux.fr | Nicolas Bonichon]] | + | * Resp: [[https:// |
+ | * [[https:// | ||
- | * **Game Synthesis & Control** | + | * **[[IF-LADS | Lecture d’articles et documentation scientifique]]** | **VL** **AM** | (3ECTS) |
- | * Resp: [[anca@labri.fr | + | * Resp: [[https:// |
- | * **Distributed Algorithm** | + | * **[[IF-SV | Software Verification]]** | **VL** //AM// | (6ECTS) |
- | * Resp: [[cyril.gavoille@u-bordeaux.fr | Cyril Gavoille]] | + | * Resp: [[https:// |
- | * **Logic and Languages** | + | * **[[IF-GSC | Game Synthesis & Control]]** | **VL** //AM// | (6ECTS) |
- | * 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]]** | //VL// **AM** | (3ECTS) |
- | * Resp: [[cyril.gavoille@u-bordeaux.fr | Cyril Gavoille]] | + | * Resp: [[https:// |
+ | * [[https:// | ||
- | * **Advanced Graph Theory** | + | * **[[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** | + | * **[[IF-AGT | Advanced Graph Theory]]** | //VL// **AM** | (3ECTS) |
- | * Resp: [[adrian.tanasa@u-bordeaux.fr | Adrian Tanasa]] | + | * Resp: [[https:// |
+ | |||
+ | * **[[IF-AA | Applied Algorithmics]]** | //VL// //AM// | (6ECTS) | ||
+ | * Resp: [[https:// | ||
+ | * [[https:// | ||
+ | |||
+ | * **[[IF-IQ | Informatique Quantique]]** | //VL// | (3ECTS) | ||
+ | * Resp: [[https:// | ||
+ | * [[https:// | ||
+ | |||
+ | |||
+ | |||
+ | ===== UE du semestre 10 ===== | ||
+ | |||
+ | * **[[IF-RDS | Rédaction de documentation scientifique]]** | (3ECTS) | ||
+ | * Resp: [[https:// | ||
+ | |||
+ | * **[[IF-Ang | Anglais]]** | (3ECTS) | ||
+ | * Resp: [[youssef.benzoubair@u-bordeaux.fr|Youssef Benzoubair]] | ||
===== Stages ===== | ===== Stages ===== | ||
- | TODO | + | |
+ | Le semestre de printemps du M2 est presque entièrement dévolu à un stage qui peut-être soit un stage de recherche dans un laboratoire (en France ou à l’étranger), | ||
+ | Ce stage compte pour 24ECTS et doit être vu comme une première intégration dans le type d’emploi qui souhaite être poursuivi. Ainsi, un étudiant qui souhaite poursuivre en thèse sera fortement encouragé à faire un stage en lien avec la thèse envisagée (si thèse CIFRE, le stage peut être dans l’entreprise qui co-encadrera la thèse). | ||
+ | |||
+ | [[IF-Stages|Plus d’infos et quelques propositions ici]] | ||
==== Anciens Élèves ==== | ==== Anciens Élèves ==== | ||
- | TODO | + | |
+ | Sur [[IF-Anciens | la page suivante]], vous pourrez trouver des informations sur nos anciens élèves qui ont accepté de les partager. Cette page recense leur parcours après le master (et éventuellement leur formation initiale quand cela est pertinent) et donne éventuellement un lien vers leur page professionnelle. Le but est de donner un aperçu par l’exemple de ce à quoi mène le parcours et d’encourager les étudiants actuels à contacter les prédécesseurs dont le parcours les intéresse. | ||