FORMATION MASTER

Domaine SCIENCES, TECHNOLOGIE, SANTE

Mention INFORMATIQUE
Anne 2009-2012


Organisation de la formation

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