if [Master Informatique - Université de Bordeaux]

Master Informatique - Université de Bordeaux

Outils pour utilisateurs

Outils du site

Vous êtes ici : start » if
Piste :
if

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
if [2020/10/01 08:57] – vpenelleif [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://www.labri.fr/perso/vpenelle|Vincent Penelle]]
 +
 +
 +===== Présentation =====
  
 Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, de la modélisation abstraite de systèmes complexes et de la vérification automatiques de programme. Les cours sont orientés pour à la fois présenter des états de l’art des connaissances de ces domaines, mais également de familiariser les étudiants avec la manière d’acquérir de nouvelles connaissances en lisant la littérature scientifique et en apprenant à suivre et à donner des exposés. Le parcours Informatique Fondamentale a pour but de former les étudiants aux aspects fondamentaux de l’algorithmique, de la modélisation abstraite de systèmes complexes et de la vérification automatiques de programme. Les cours sont orientés pour à la fois présenter des états de l’art des connaissances de ces domaines, mais également de familiariser les étudiants avec la manière d’acquérir de nouvelles connaissances en lisant la littérature scientifique et en apprenant à suivre et à donner des exposés.
 +[[https://www.labri.fr/perso/vpenelle/presentationIF.pdf|Slides de présentation]]
  
 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 11: Ligne 17:
  
  
-===== Présentation ===== +===== 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://www.u-bordeaux.fr/formation/2016/PRMA_68/informatique|ici]]. 
 + 
 +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://www.u-bordeaux.fr/Profils/Etudiant/College-Sciences-et-technologies2/Stage/Obtenir-une-convention-de-stage | procédure administrative]] est la même que celle de M2. Si vous hésitez sur votre futur et que vous voulez découvrir un domaine (particulièrement si vous hésitez à faire une thèse et voulez d’abord voir à quoi ça ressemble), c’est une excellente idée dans faire un.
  
 Au semestre 9, le parcours se divise en deux sous-parcours, «Vérification des logiciels» qui met plus l’accent sur les techniques et algorithmes de vérification d’un programme, et «Algorithmes et Modèles» qui se concentre plus sur les aspects algorithmiques de l’informatique. Au semestre 9, le parcours se divise en deux sous-parcours, «Vérification des logiciels» qui met plus l’accent sur les techniques et algorithmes de vérification d’un programme, et «Algorithmes et Modèles» qui se concentre plus sur les aspects algorithmiques de l’informatique.
 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 de la formation =====+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://dept-info.labri.fr/~griffaul/| Alain Griffault]] et [[https://labri.fr/perso/vpenelle | Vincent Penelle]]
  
-  * **Optimisation Combinatoire** +  * **[[IF-OC | Optimisation Combinatoire]]** 
-    * Resp: [[olivier.baudon@labri.fr | Olivier Baudon]]+    * Resp: [[https://dept-info.labri.fr/~baudon/ | Olivier Baudon]]
  
-  * **Introduction à la vérification** +  * **[[IF-IV | Introduction à la vérification]]** 
-    * Resp: [[anca@labri.fr | Anca Muscholl]]+    * Resp: [[https://labri.fr/perso/anca | Anca Muscholl]]
  
 ==== 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», et //AM// qu’il est en option pour le parcours «Algorithmes et Modèles». La somme des cours choisis doit être 30ECTS (avec possibilité de suivre un module supplémentaire comme supplément au diplôme). Dans cette liste, à coté des noms des modules, **VL** signifiera que le cours est obligatoire pour le parcours «Vérification des logiciels», et //AM// qu’il est en option pour le parcours «Algorithmes et Modèles». La somme des cours choisis doit être 30ECTS (avec possibilité de suivre un module supplémentaire comme supplément au diplôme).
  
-  * **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://labri.fr/perso/bonichon | Nicolas Bonichon]] 
 +    * [[https://moodle1.u-bordeaux.fr/course/view.php?id=5884 | Page moodle du cours]]
  
-  * **Game Synthesis & Control** | **VL** //AM// | (6ECTS) +  * **[[IF-LADS | Lecture d’articles et documentation scientifique]]** | **VL** **AM** | (3ECTS) 
-    * Resp: [[anca@labri.fr | Anca Muscholl]] et [[nathanael.fijalkow@labri.fr | Nathanaël Fijalkow]]+    * Resp: [[https://www.labri.fr/index.php?n=Annuaires.Profile&id=Guermouche_ID1125992598 | Abdou Guermouche]]
  
-  * **Distributed Algorithm** | //VL// **AM** | (3ECTS) +  * **[[IF-SV | Software Verification]]** | **VL** //AM// | (6ECTS) 
-    * Resp: [[cyril.gavoille@u-bordeaux.fr | Cyril Gavoille]]+    * Resp: [[https://labri.fr/perso/vpenelle| Vincent Penelle]], [[https://labri.fr/perso/sutre | Grégoire Sutre]] et [[https://labri.fr/perso/leroux| Jérôme Leroux]]
  
-  * **Logic and Languages** | //VL// **AM** | (6ECTS) +  * **[[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/perso/anca | Anca Muscholl]] et [[https://nathanael-fijalkow.github.io/ | Nathanaël Fijalkow]]
  
-  * **Applied Algorithmics** | //VL// //AM// | (6ECTS) +  * **[[IF-DA | Distributed Algorithm]]** | //VL// **AM** | (3ECTS) 
-    * Resp: [[cyril.gavoille@u-bordeaux.fr | Cyril Gavoille]] et [[ludovic.hofer@u-bordeaux.fr | Ludovic Hofer]]+    * Resp: [[https://dept-info.labri.fr/~gavoille | Cyril Gavoille]] 
 +    * [[https://dept-info.labri.fr/~gavoille/UE-AD/|Page du cours]]
  
-  * **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://labri.fr/perso/anca | Anca Muscholl]], [[https://www.labri.fr/perso/meghyn/ | Meghyn Bienvenu]] et [[https://www.labri.fr/perso/zeitoun | Marc Zeitoun]]
  
-  * **Informatique Quantique** | //VL// | (3ECTS) +  * **[[IF-AGT | Advanced Graph Theory]]** | //VL// **AM** | (3ECTS) 
-    * Resp: [[adrian.tanasa@u-bordeaux.fr | Adrian Tanasa]]+    * Resp: [[https://www.labri.fr/perso/sopena | Eric Sopena]] et [[https://www.labri.fr/perso/mbonamy | Marthe Bonamy]]
  
-  * **Lecture d’articles et documentation scientifique** | **VL** **AM** | (3ECTS) +  * **[[IF-AA | Applied Algorithmics]]** | //VL// //AM// | (6ECTS) 
-    * Resp: [[abdou.guermouche@labri.fr | Abdou Guermouche]]+    * Resp: [[https://dept-info.labri.fr/~gavoille | Cyril Gavoille]] et [[https://www.labri.fr/perso/lhofer | Ludovic Hofer]] 
 +    * [[https://dept-info.labri.fr/~gavoille/UE-AAp/|Page du cours]] 
 + 
 +  * **[[IF-IQ | Informatique Quantique]]** | //VL// | (3ECTS) 
 +    * Resp: [[https://www.labri.fr/perso/atanasa | Adrian Tanasa]] 
 +    * [[https://www.labri.fr/perso/atanasa/info_quantique/| Page du cours]] 
 + 
 + 
 + 
 +===== UE du semestre 10 ===== 
 + 
 +  * **[[IF-RDS | Rédaction de documentation scientifique]]** |  (3ECTS) 
 +    * Resp: [[https://www.labri.fr/perso/anca | Anca Muscholl]] 
 + 
 +  * **[[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), soit un stage en entreprise. +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), soit un stage en entreprise. 
-Ce stage compte pour 30ECTS 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). +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 [[https://vincentpenelle.github.io/anciens-if | 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.  
 +([[IF-Anciens | Ancienne page]])
  
if.1601542629.txt.gz · Dernière modification : de vpenelle

Outils de la page

Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki