UNIVERSITÉ PARIS 7 - DENIS DIDEROT
UFR d'INFORMATIQUE

Master SCIENCES ET APPLICATIONS
Mention MATHÉMATIQUES, INFORMATIQUE
Spécialité INGÉNIERIE INFORMATIQUE


Objectif

Le but de cette spécialité professionnalisante est de former des ingénieurs informaticiens, capables de maîtriser à la fois des concepts fondamentaux et des technologies modernes. Les deux années de cette spécialité sont destinées d'une part à compléter la formation initiale du niveau L et d'autre part à la découverte du monde professionnel par le biais d'interventions de professionnels et d'un long stage en entreprise lors de la deuxième année d'études.

La notion de parcours dans le nouveau LMD

Dans le nouveau système LMD, chaque année d'études correspond à 60 crédits ECTS (European Credit Transfer System), transférables d'un établissement à un autre sous réserve de cohérence pédagogique.

Le Master Ingénierie Informatique propose un nombre important d'unités d'enseignement (UE) parmi lesquelles les étudiants doivent faire un choix. Ce choix doit remplir 2 conditions:
  1. Correspondre au total à 60 crédits annuels.
  2. Être en accord avec un parcours (voir modalités pour chaque année).
Les parcours type du Master Ingénierie Informatique (II) sont

Systèmes d'Information (SI)   Système, Réseaux, Internet (SRI)  Logiciels Critiques (LC)


Un parcours recherche MPRI (Master parisien de Recherche en Informatique) ainsi que des parcours personnalisés (élaborés entre l'étudiant et son tuteur) sont aussi proposés par notre master.

Description du M1

Le niveau M1 est organisé en deux semestres, chacun de 30 crédits, pendant lesquels les étudiants suivent un certain nombre d'unités d'enseignement en accord avec un parcours. Un ensemble d'UE est en accord avec un parcours s'il contient toutes les UE obligatoires du parcours, l'anglais, le travail de fin d'étude, et si 51 ECTS au minimum sont obligatoires ou suggérées pour ce parcours. Une unité hors parcours de 6 ECTS ainsi qu'une unité libre de 3 ECTS sont également possibles. Le travail d'étude est effectué au second semestre et il est validé (6 ECTS) à la fin de l'année sous forme de soutenance. Il y a trois unités d'enseignement (en choix exclusif) considérées comme un travail de fin d'étude : soit un stage professionnel (deux mois minimum), soit un projet de programmation, soit un travail de recherche encadré. Les cours proposés en L seront aussi accessibles au niveau M1 (6 ECTS maximum) pour combler des éventuelles failles dans les parcours des étudiants arrivant dans le master. Ceci donne un total de 60 ECTS en M1 repartis comme suit : Les unités libres dispensées à l'extérieur sont susceptibles d'un accord préalable de l'équipe pédagogique du Master 1.

Les étudiants ne doivent pas nécessairement choisir leur parcours dès le début du M1. Il peuvent choisir au premier semestre un ensemble d'UE compatible avec plusieurs parcours. Ceci implique cependant qu'ils suivent toutes les UE obligatoires de chacun de ces parcours.

Voici la liste des unités proposées en M1. Pour chaque unité nous donnons son équivalence en crédits, ainsi que son caractère obligatoire (Obl) ou suggéré (Sug) pour chaque parcours type. La validation d'une UE avec une note supérieure ou égale à 10/20 implique la capitalisation automatique de son nombre de crédits. Il n'est pas possible de valider une UE par compensation.

    SI SRI LC MPRI
Anglais en premier ou second semestre (3 ECTS) Obl Obl Obl Obl
Premier Semestre          
Cours UFR-Paris 7          
Intelligence Artificielle (6 ECTS) Sug      
Base de données avancées (6 ECTS) Obl Obl    
Circuits et architecture (6 ECTS) Sug Sug    
Programmation Systèmes (6 ECTS) Obl Obl Sug  
Compilation (6 ECTS) Sug Sug Obl Obl
Prolog et prog. par contraintes (6 ECTS) Sug   Sug Sug
Algorithmique (6 ECTS) Sug Obl Obl Obl
Calculabilité et complexité (6 ECTS)   Sug Sug Obl
Second Semestre          
Cours UFR-Paris 7          
Génie logiciel (6 ECTS) Obl Sug Obl  
Algorithmique avancée (6 ECTS)     Sug Sug
Analyse de perf. et simulation (6 ECTS) Sug      
Interfaces graphiques (6 ECTS) Sug Sug    
Automates avancés et applications (6 ECTS)     Obl Sug
Infographie (6 ECTS) Sug Sug   Sug
Théor. et prat. de la concurrence (6 ECTS)   Sug Obl Sug
Protocoles Réseaux (6 ECTS) Sug Obl    
Preuves assistées par ordinateur (6 ECTS)     Sug Sug
Sémantique des lang. de prog. (6 ECTS)     Sug Sug
Droit de l'informatique (3 ECTS) Sug Sug    
Logiciels libres (3 ECTS) Sug Sug    
Techniques d'expression (3 ECTS) Sug Sug Sug  
Stage (6 ECTS) Sug Sug Sug  
Projet long (6 ECTS) Sug Sug Sug  
Travail de recherche encadré (6 ECTS)     Sug Obl
Cours extérieurs          
Probabilités et systèmes à événements discrets (6 ECTS)       Sug
Fondements de l'interprétation abstraite (6 ECTS)       Sug
Géométrie discrète et algorithmique (6 ECTS)       Sug
Initiation à la cryptologie (6 ECTS)       Sug


Description du M2

L'année du M2 s'articule autour de trois périodes:

Système, Réseaux, Internet (SRI)

Outre les compétences techniques essentielles que donne cette formation, elle fournit aussi les éléments conceptuels fondamentaux nécessaires à toute future adaptation professionnelle dans le domaine des systèmes informatiques modernes: micro-noyaux, systèmes modulaires, systèmes embarqués, algorithmique distribuée, grilles de calcul, systèmes mobiles, machines virtuelles, et que l'on retrouve dans de nombreuses applications industrielles d'usage courant: téléphonie mobile, télévision numérique, systèmes de paiements, technologies Internet, etc. Les enseignements qui y sont dispensés sont destinés à maîtriser plus particulièrement les concepts et la problématique de la répartition des données, des traitements ou des personnes.


L'étudiant doit choisir 11 cours (33 ECTS) parmi ceux proposés en première et deuxième période. L'équipe pédagogique veillera à la cohérence du parcours choisi. L'organisation de ce parcours se résume ainsi:
Anglais obligatoire en première ou deuxième période (3 ECTS)
Première période   Deuxième période  
Cours proposés   Cours proposés  
Protocoles des Services Internet (3 ECTS) Algorithmique répartie (3 ECTS)
Format de documents et compression (3 ECTS) Programmation répartie (3 ECTS)
Sécurité (3 ECTS) Réseaux sécurisés (3 ECTS)
Modélisation et spécification (3 ECTS) Mobilité, algorithmique parallèle et grilles de calculs (3 ECTS)
Interfaces et outils MacOSX (3 ECTS) Informatique embarquée (3 ECTS)
Programmation synchrone (3 ECTS) Moteurs de recherche (3 ECTS)
Programmation et Objets: concepts avancés (3 ECTS) Administration Système et Réseau (3 ECTS)
Ingénierie des protocoles (3 ECTS) XML (3 ECTS)
Grands réseaux d'interaction (3 ECTS)    
Troisième période      
Stage en entreprise (24 ECTS)    

Parcours Systèmes d'Information (SI)

Ce parcours permet aux étudiants, en plus d'une formation généraliste en Ingénierie Informatique, d'approfondir leurs connaissances dans le domaine des Systèmes d'Information où l'information est vue comme un ensemble de données structurées, exploitable au cours du temps de manière simultanée et cohérente par des applications diverses.

Cette forme d'information est omniprésente dans toutes les organisations et dans tous les domaines. Citons par exemple la gestion d'entreprise (finance, stocks), le transport (disponibilités et réservations, rotation des matériels et des hommes), le laboratoire (résultats d'expériences, données tirées d'échantillons, publications, cartes), l'administration (état civil, casier judiciaire, budget, fisc), l'école (élèves, notes, emplois du temps, affectation de salles, bibliothèque)... ou la maison (carnet d'adresses, comptes, cave, bd-cd-mp3-thèque).
Le parcours comprend 4 cours obligatoires (12 ECTS) et 7 cours (21 ETCS) que l'étudiant doit choisir parmi ceux suggérés en première et deuxième période. L'organisation de ce parcours se résume ainsi:
Anglais obligatoire en première ou deuxième période (3 ECTS)
Première période   Deuxième période  
Cours obligatoires   Cours obligatoires  
Entrepôts de données (3 ECTS) Fouille de données et aide à la décision (3 ECTS)
Concepts avancés de base de données (3 ECTS) Architecture de systèmes d'information (3 ECTS)
Cours suggérés   Cours suggérés  
Modélisation et spécification (3 ECTS) Traitement de données textuelles (3 ECTS)
Interfaces et outils MacOSX (3 ECTS) Méthodes de test (3 ECTS)
Protocoles des Services Internet (3 ECTS) Moteurs de recherche (3 ECTS)
Programmation et Objets: concepts avancés (3 ECTS) Administration Système et Réseau (3 ECTS)
Sécurité (3 ECTS)    
Format de documents et compression (3 ECTS)    
Grands réseaux d'interaction (3 ECTS)    
Troisième période      
Stage en entreprise (24 ECTS)    

Logiciels Critiques (LC)

Les systèmes logiciels, et en particulier les systèmes embarqués, sont présents dans tous les secteurs de la vie moderne (transport, télécommunications, énergie, santé, espace, etc.) et doivent accomplir des tâches de plus en plus complexes. La défaillance de ces systèmes pouvant avoir des conséquences humaines et/ou économiques considérables, il est nécessaire d'adopter lors du développement de tels systèmes des méthodes rigoureuses et automatisables permettant d'assurer 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 systèmes logiciels critiques. Cette formation comporte aussi bien l'acquisition des fondements théoriques de chacune des ces approches, que la maîtrise des méthodes et des techniques qui leurs sont associées, et leur application à travers de travaux pratiques et de projets.
Le parcours comprend 7 cours obligatoires (21 ECTS) et 4 cours (12 ETCS) que l'étudiant doit choisir parmi ceux suggérés en première et deuxième période. L'organisation de ce parcours se résume ainsi:
Anglais obligatoire en première période (3 ECTS)
Première période (15 ECTS) Deuxième période (18 ECTS)
Cours obligatoires   Cours obligatoires  
Modélisation et spécification (3 ECTS) Model-Checking (3 ECTS)
Programmation synchrone (3 ECTS) Analyse statique de programmes (3 ECTS)
Programmation objets: concepts avancés (3 ECTS) Preuve de programmes (3 ECTS)
    Méthodes de test (3 ECTS)
Cours suggérés   Cours suggérés  
Sécurité (3 ECTS) Vérification de la Sécurité (3 ECTS)
Ingénierie des protocoles (3 ECTS) Contrôle et ordonnancement (3 ECTS)
Protocoles des Services Internet (3 ECTS) Informatique embarqué (3 ECTS)
Troisième période      
Stage en entreprise (24 ECTS)    

Conditions d'accès

Peuvent demander une inscription en Master II ou MPRI: L'accès au niveau M1 est prononcé sur l'avis favorable du jury d'admission M1 qui vérifie un certain nombre de compétences pré-requises. Le dossier pédagogique de demande d'inscription en M1 doit contenir impérativement un relevé de notes complet de toute la Licence (1ère, 2ème et 3ème année).

L'accès au niveau M2 n'est pas automatique et reste conditionnée aux capacités d'accueil de la formation. Une sélection est effectuée par le jury d'admission M2 sur la base du dossier de l'étudiant.

Informations

Informations M1 et M2: Janis.Sitalapresad@informatique.univ-paris-diderot.fr
administratives   Tél: 01 57 27 68 98
Informations M1-II: Delia.Kesner@pps.jussieu.fr
pédagogiques M2-II: Carole.Delporte@liafa.jussieu.fr
  M1 et M2 MPRI: Roberto.Amadio@pps.jussieu.fr
Page Web   http://www.informatique.univ-paris-diderot.fr/


This document was translated from LATEX by HEVEA.