Description du M1 Chacun des deux semestres du niveau M1 conduit lobtention de 30 crdits correspondant des enseignements en accord avec un parcours, cest--dire quil pourra inclure :
Toutes les UE obligatoires et des UE optionnelles informatique du parcours pour un minimum de 42 crdits. LUE danglais de 3 crdits. LUE de travail de fin dtudes de 6 crdits, qui peut revtir lune des trois formes suivantes : - Travail de recherche encadr - Projet de programmation - Stage professionnel de deux mois minimum Une UE dinformatique hors-parcours de 6 crdits choisir dans les cours dispenss lUFR dinformatique. Il pourra sagir dun cours du niveau L3 afin de pallier dventuelles lacunes dans la formation dtudiants arrivant dans la formation master. Une UE libre de 3 crdits hors-parcours. Dans le cas dUE dispense lextrieur de lUFR dinformatique un accord pralable avec lquipe pdagogique du master est ncessaire.
Remarque : En suivant tous les enseignements obligatoires de plusieurs parcours, un tudiant pourra retarder le choix de son parcours dfinitif.
Dans la liste des units proposes en M1, on trouvera, pour chaque unit, son quivalence en crdits, ainsi que son caractre obligatoire (OBL) ou optionnel (OPT) pour chaque parcours type. Les autres UE peuvent tre choisies comme UE hors parcours. La validation dune UE avec une note suprieure ou gale 10/20 implique la capitalisation automatique de son nombre de crdits. Il nest pas possible de valider une UE par compensation.
Cours Paris 7 ECTS SEM LP SRI LC MPRI Anglais 3 1 ou 2 OBL OBL OBL OBL Introduction lIA et la thorie des jeux 6 1 OPT Bases de donnes avances 6 1 OPT OBL Circuits et architecture 6 1 OPT OPT Langages Objets avancs 6 1 OBL OPT OPT Programmation systme 6 1 OPT OBL OPT Compilation 6 1 OBL OPT OPT OBL Prolog et programmation par contraintes 6 1 OBL OPT OPT Algorithmique 6 1 OPT OBL OBL OBL Calculabilit et complexit 6 1 OPT OPT OPT OBL Protocoles rseaux 6 1 OPT Gnie logiciel avanc 6 2 OBL OPT OPT Interfaces graphiques 6 2 OPT OPT Automates avancs et application 6 2 OBL OPT Infographie 6 2 OPT OPT Programmation fonctionnelle avance 6 2 OBL OPT OPT OPT Thorie et pratique de la concurrence 6 2 OPT OPT OBL OPT Preuves assistes par ordinateur 6 2 OPT OBL OPT Smantique des langages de programmation. 6 2 OPT OPT OPT Algorithmique avance 6 2 OPT OPT Analyse de performance et simulation 6 2 Stage en entreprise 6 2 OPT OPT OPT Projets de programmation 6 2 OPT OPT OPT Travaux de recherche encadrs 6 2 OPT OBL Droit de linformatique 3 2 OPT OPT Logiciels libres 3 2 OPT OPT Nouvelles tendances du Web 3 2 OPT OPT Technologies mergentes 6 2 OPT OPT OPT Techniques dexpression 3 2 OPT OPT OPT Cours extrieurs Fondements de linterprtation abstraite 6 1 OPT OPT OPT Gomtrie et vision artificielle 3 1 OPT Initiation la cryptologie 6 2 OPT Systme numrique : algorithme, code et circuit 6 2 OPT Gomtrie discrte et algorithmique 6 2 OPT
Description du M2
Lanne du M2 est organise en trois priodes : Deux priodes de 11 semaines (de dbut octobre fin dcembre et de dbut janvier fin mars) pendant lesquelles les tudiants doivent suivre 11 cours dinformatique, en accord avec leurs parcours, soit 33 crdits correspondants toutes les UE obligatoires du parcours complts dun choix dUE optionnelles du parcours ou ventuellement dUE libres. A ces 11 cours sajoute langlais soit 3 crdits. Troisime priode ( partir de dbut avril) : stage en entreprise (24 crdits) dune dure minimale de 4 mois. Chaque tudiant rdigera la fin de son stage un rapport. Le stage sera valu en fonction de ce rapport et dune soutenance publique en fin de stage.
- Spcialit Informatique professionnalisante
Parcours Logiciels Critiques (LC)
Les systmes logiciels, et en particulier les systmes embarqus, sont prsents dans tous les secteurs de la vie moderne (transport, tlcommunications, nergie, sant, espace, etc.) et doivent accomplir des tches de plus en plus complexes. La dfaillance de ces systmes pouvant avoir des consquences humaines et/ou conomiques considrables, il est ncessaire dadopter lors du dveloppement de tels systmes des mthodes rigoureuses et automatisables permettant dassurer un haut degr de confiance dans leurs comportements.
Ce parcours vise donner une formation couvrant les principales approches modernes en conception, validation, et en programmation de systmes logiciels critiques. Cette formation comporte aussi bien lacquisition des fondements thoriques de chacune de ces approches, que la matrise des mthodes et des techniques qui leurs sont associes, et leur application au travers de travaux pratiques et de projets.
Le parcours comprend 9 cours obligatoires (OBL) dont langlais (27 crdits) et 3 cours (9 crdits) choisir parmi les cours optionnels (OPT) suggrs pour ce parcours.
Parcours Langages et Programmation (LP)
La matrise des langages informatiques est indispensable pour un informaticien. Ce parcours a comme objectif denseigner les concepts qui sont la base la fois des langages de programmation et des langages de donnes.
Le but est moins denseigner tel ou tel langage de programmation qui est actuellement la mode mais denseigner des fondements qui permettent des informaticiens futurs de sadapter lvolution des langages de programmation. Les informaticiens ayant suivi ce parcours devront savoir comparer les avantages des approches diffrentes la programmation, et valuer ladaptation dune approche pour un projet logiciel. Les enseignements dispenss concernent la fois les paradigmes fondamentaux des langages comme les approches logiques, fonctionnelles et orientes objets, et galement les techniques avances de la compilation, et lutilisation pratique de compilateurs modernes.
Le parcours est constitu de 4 cours obligatoires (OBL) dont langlais (12 crdits), 5 cours (15 crdits) que ltudiant doit choisir parmi les cours optionnels (OPT) suggrs dans ce parcours et 3 cours libres (9 crdits) choisir dans lensemble de tous les cours de M2 proposs en premire ou seconde priode.
Parcours Systme, Rseaux, Internet (SRI)
Outre les comptences techniques essentielles que donne cette formation, elle fournit aussi les lments conceptuels fondamentaux ncessaires toute future adaptation professionnelle dans le domaine des systmes informatiques modernes : micro-noyaux, systmes modulaires, systmes embarqus, algorithmique distribue, grilles de calcul, systmes mobiles, machines virtuelles, et que lon retrouve dans de nombreuses applications industrielles dusage courant : tlphonie mobile, tlvision numrique, systmes de paiements, technologies Internet, etc. Les enseignements dispenss doivent permettre la matrise des concepts et de la problmatique de la rpartition des donnes, des traitements ou des personnes.
Le parcours est constitu du cours obligatoire (OBL) danglais (3 crdits), de 10 cours (30 crdits) choisir parmi les cours optionnels (OPT) suggrs pour ce parcours et un cours libre (3 crdits) choisir dans lensemble de tous les cours de M2 proposs en premire ou seconde priode. Lquipe pdagogique veillera la cohrence de la composition du parcours. Lorganisation de ces diffrents parcours se rsume ainsi :
- Spcialit Informatique recherche Toutes les informations concernant cette spcialit sont disponibles sur le serveur MPRI : http ://mpri.master.univ-paris7.fr/.
Cours Paris 7 ECTS Priode LP SRI LC Anglais 3 1 ou 2 OBL OBL OBL Modlisation et spcification 3 1 OPT OPT OBL Programmation synchrone 3 1 OPT OPT OBL Scurit 3 1 OPT OBL Protocoles internet 3 1 OPT OPT Programmation Objet : concepts avancs 3 1 OBL OPT OPT Compilation avance 3 1 OBL OPT Ingnierie des protocoles 3 1 OPT OPT Grands rseaux dinteraction 3 1 OPT Concepts avancs de Base de Donnes 3 1 OPT Entrepts de donnes 3 1 Formats de documents et compression 3 1 OPT Programmation logique et par contraintes avances 3 1 OPT Typage 3 1 OPT Interfaces visuelles et outils de dl de Mac OS X 3 1 OPT Mthodes algorithmiques pour la vrification 3 2 OPT OBL Preuve de programmes 3 2 OPT OBL Analyse statique de programmes 3 2 OPT OBL Mthodes de test 3 2 OPT OBL Programmation compare 3 2 OBL OPT Introduction lautomatique 3 2 OBL Informatique embarque 3 2 OPT OPT Moteurs de recherche 3 2 OPT Mobilit et grille de calculs 3 2 OPT Algorithmique rpartie 3 2 OPT Programmation rpartie 3 2 OPT OPT Rseaux scuriss 3 2 OPT OPT Administration systme et rseau 3 2 OPT XML 3 2 OPT OPT Architecture des systmes dinformation 3 2 OPT Fouilles de donnes et aide la dcision 3 2 Systmes avancs 3 2 OPT Stage en entreprise 24 3 OBL OBL OBL