Master informatique

Programme M1

Vision synthétique des modules de première année

Les deux tableaux ci-dessous présentent une vue synthétique des modules de la première année de master (intitulés des modules, crédits ECTS, partage d'UE entre parcours). Les cases grisées représentent les modules partagés entre parcours. Une description plus détaillée de chaque module (volumes horaires en nombre d'heures de CM/TD/TP, responsables du module, intervenants) est disponible. Cliquer sur le nom d'un module dans le tableau pour accéder à sa description.

Semestre 1

ECTS Parcours Génie Logiciel Parcours Systèmes et Réseaux Parcours Recherche et Innovation Parcours Cloud Computing and Services
5 COMP - Compilation ST - Service Technology
5 ACO - Analyse et Conception Objet CVFP (Conception de Vérificateurs de Programmes) ou BOX (Bio informatique expérimentale).

ACO - Object-oriented software design
or CVFP - Modeling and formal validation

5 SE - Systèmes d'exploitation SGP - Systèmes d'exploitation (Gestion de Processus) SGP SE - Operating systems
5 GPL - Gestion de Projet Logiciels BDL1 - Business Development Lab 1
5 OPT1, une option à choisir parmi: BIF, AA , SECU, BD, I&E, SEM  
 

 

  • BIF - Algorithmique du texte et BioInformatique
  • SECU - Introduction à la sécurité informatique
  • BD - Base de données : aspects techniques
  • AA - Algorithmique Avancée
  • I&E - Innovation and Entrepreneurship Basics
  • SEM - Sémantique

I&E  - Innovation and Entrepreneurship Basics

5 ACF - Analyse et Conception Formelles PRI - Principes des Réseaux Informatiques ACF ou PRI PRI - Network Protocols
         
    ECTS UEs supplémentaires du Parcours Recherche et Innovation  
    3 TS - Traitement du Signal  
    5 INVITE1 : Apprentissage statistique  
    0 SEMIN1 - Séminaire

 

Semestre 2

 

ECTS Parcours Génie Logiciel Parcours Systèmes et Réseaux Parcours Recherche et Innovation Parcours Cloud Computing and Services
5 PROJ - Projet BDL2 - Business Development Lab 2
5 ANGLAIS SDS - Large-Scale Distributed Systems
5 MRI - Mécanismes des Réseaux Informatiques MEPS - Modélisation pour l'Evaluation des Performances et de la Sûreté de fonctionnement

MEPS, CBD (Cloud et Big data) ou INVITE2 (Systèmes hybrides pour la modélisation multi-physique)

MEPS - Performance and Dependability Evaluation
5 MFDS - Méthodes Formelles pour le Développement de Logiciels Sûrs SGM - Système d'exploitation (Gestion Mémoire) MFDS ou SGM KNI - Knowledge and intangible assets management
5

OPT2A une option à choisir parmi: ASE, IA, LRC, AASR

  • ASE - Architecture des Systèmes Embarqués
  • IA - Intelligence Artificielle
  • LRC- Logique et Représentation des Connaissances
  • AASR - Approche Algorithmique des applications et Systèmes Répartis
  • NTR - Nouvelles Technologies des Réseaux

AASR - Algorithmic approach of Distributed Systems

5 OPT2B une option à choisir parmi: STR, PLCMVFA, PPAR OPT2: one optional course out of three: PPAR, MVFA or PLC.
 
  • STR - Systèmes Temps Réel
  • PLC - Préférence, Logique et Contraintes
  • MVFA - Modélisation et Vérification Formelle par Automates
  • PPAR - Programmation Parallèle et Répartie

PPAR - Parallel Programming

MVFA - Automaton-based modeling and formal verification

PLC - Préférence, Logique et Contraintes (in French)

  STAGE  
         
    ECTS UEs supplémentaires du Parcours Recherche et Innovation  
    4 TI - Théorie de l'Information  
    4

BDA - Bases de données avancées

 
    0 SEMIN2 - Séminaire  
    0 XTRA - Initiation à la recherche