Plan du dossier d'évaluation des masters en ... - Examen corrige
modèles de compétition, écologie, proie prédateur : analyse matricielle ; ..... Les
causes de l'horloge moléculaire, .... Les TD et TME illustrent et complètent le
cours en mettant en pratique les technologies récentes (Oracle/XML, Oracle/RDF
, ...
part of the document
SHAPE \* MERGEFORMAT
ANNEXE au dossier dévaluation du master dinformatique de lUPMC
(master en renouvellement)
Vague D : campagne dévaluation 2012-2013
Table des matières
TOC \o "1-2" Annexe de la présentation générale de la mention PAGEREF _Toc210956254 \h 2
1. Organigramme de léquipe administrative PAGEREF _Toc210956255 \h 2
2. Evaluation des formations par les étudiants PAGEREF _Toc210956256 \h 2
Annexe de la spécialité ANDROIDE PAGEREF _Toc210956257 \h 6
Equipe pédagogique de la spécialité ANDROIDE PAGEREF _Toc210956258 \h 6
Contenu des UE de la spécialité ANDROIDE PAGEREF _Toc210956259 \h 7
Annexe de la spécialité BIM PAGEREF _Toc210956260 \h 10
Equipe pédagogique de la spécialité BIM PAGEREF _Toc210956261 \h 10
Contenu des UE de la spécialité BIM PAGEREF _Toc210956262 \h 11
Annexe de la spécialité DAC PAGEREF _Toc210956263 \h 18
Équipe pédagogique de la spécialité DAC PAGEREF _Toc210956264 \h 18
Contenu des UE de la spécialité DAC PAGEREF _Toc210956265 \h 18
Annexe de la spécialité IMA PAGEREF _Toc210956266 \h 23
Equipe pédagogique de la spécialité IMA PAGEREF _Toc210956267 \h 23
Contenu des UE de la spécialité IMA PAGEREF _Toc210956268 \h 24
Annexe de la spécialité RES PAGEREF _Toc210956269 \h 27
Equipe pédagogique de la spécialité RES PAGEREF _Toc210956270 \h 27
Contenu des UE de la spécialité RES PAGEREF _Toc210956271 \h 27
Annexe de la spécialité SAR PAGEREF _Toc210956272 \h 33
Equipe pédagogique de la spécialité SAR PAGEREF _Toc210956273 \h 33
Contenu des UE de la spécialité SAR PAGEREF _Toc210956274 \h 34
Annexe de la spécialité SESI PAGEREF _Toc210956275 \h 38
Equipe pédagogique de la spécialité SESI PAGEREF _Toc210956276 \h 38
Contenu des UE de la spécialité SESI PAGEREF _Toc210956277 \h 39
Annexe de la spécialité SFPN PAGEREF _Toc210956278 \h 43
Equipe pédagogique de la spécialité SFPN PAGEREF _Toc210956279 \h 43
Contenu des UE de la spécialité SFPN PAGEREF _Toc210956280 \h 44
Annexe de la spécialité STL PAGEREF _Toc210956281 \h 47
Equipe pédagogique de la spécialité STL PAGEREF _Toc210956282 \h 47
Contenu des UE de la spécialité STL PAGEREF _Toc210956283 \h 47
SHAPE \* MERGEFORMAT
ANNEXE au dossier dévaluation du master dinformatique de lUMC
(master en renouvellement)
Vague D : campagne dévaluation 2012-2013
Annexe de la présentation générale de la mention
Organigramme de léquipe administrative
Lorganigramme du Master Informatique de lUniversité Pierre et Marie Curie est donné ci-dessous.
Evaluation des formations par les étudiants
Le master a mis en place un questionnaire dévaluation des enseignements. Ce questionnaire est entièrement paramétrable par les responsables dUE. Les figures 1 et 2 ci-dessous montrent les interfaces permettant à chaque responsable dUE dindiquer les spécificités de son UE, en termes de présence de cours, TD, TME ou projet, ainsi que la définition des droits daccès aux résultats des évaluations. Ainsi, le questionnaire est totalement adapté à lUE, et seuls le responsable dUE, son équipe pédagogique et le responsable du master ont accès aux réponses.
Les étudiants sont invités par email à répondre au questionnaire dévaluation des UE quils ont suivies. Ces questionnaires sont totalement anonymes et accessibles via une interface sécurisée web. De manière à nous assurer un taux de réponse raisonnable pour obtenir des statistiques fiables, les étudiants nayant pas répondu au questionnaire sont régulièrement relancés par email, ce qui nous permet dobtenir un taux de réponse supérieur à 50%. La figure 3 donne un exemple dune partie dun questionnaire dévaluation dune UE. En plus de réponses à des questions types, létudiant peut entrer les commentaires quil souhaite.
Les résultats des évaluations sont accessibles via une interface web sécurisée par les personnes ayant les droits daccès les droits daccès (voir la figure 2). Une fiche synthèse permet de résumer les taux de réponse, ainsi que des statistiques sur lensemble des réponses obtenues. La figure 4 donne un exemple de fiche de synthèse.
Figure 1 : Définition individualisée des questionnaires
Figure 2 : Définition des droits daccès aux résultats des évaluations par le responsable dUE
Figure 3 : Extrait du formulaire dévaluation dune UE par un étudiant
Figure 4 : Extrait du résultat dévaluation dune UE visible par les personnes y ayant accès
Annexe de la spécialité ANDROIDE
Equipe pédagogique de la spécialité ANDROIDE
Le tableau ci-dessous donne la liste et la qualité des enseignants (académiques ou industriels) intervenant au sein de la spécialité ANDROIDE.
Nom, PrénomQualitéEtablissement dappartenanceBampis, EvripidisPRLIP6-UPMCBeynier, AurélieMCFLIP6-UPMCBredeche, NicolasPRISIR-UPMCCarron, Thibault MCF-HDRLIP6-Univ. de SavoieChatila, RajaDRISIR-UPMCCorruble, Vincent MCFLIP6-UPMCDelozanne, ElisabethMCFLIP6-UPMCDoncieux, StéphanePRISIR-UPMCDürr, ChristophDRLIP6-UPMCEagan, James MCFTélécom Paris-TechEl Fallah Seghrouchni, AmalPRLIP6-UPMCFouilhoux, PierreMCFLIP6-UPMCGirard, BenoîtCR-HDRISIR-UPMCGonzales, ChristophePRLIP6-UPMCGuessoum, Zahia MCF-HDRLIP6-Univ. de ReimsKant, Jean-DanielMCFLIP6-UPMCKedad-Sidhoum, SafiaMCF-HDRLIP6-UPMCKhamassi, MehdiCRISIR-UPMCLabat, Jean-MarcPRLIP6-UPMCLecolinet, EricMCFTélécom Paris-TechLieu, TongMCFLIP6-UPMCLourdeaux, DomitileMCFHEUDIASYC-UTCLust, ThibautMCFLIP6-UPMCMaudet, NicolasPRLIP6-UPMCMouret, Jean-BaptisteMCFISIR-UPMCMuratet, Mathieu MCFGRHAPES-INS HEANGuyen, Viet HungMCFLIP6-UPMCOuzia, HacèneMCFLIP6-UPMCPadois, VincentMCFISIR-UPMCPascual, FannyMCFLIP6-UPMCPerny, PatricePRLIP6-UPMCSigaud, OlivierPRISIR-UPMCSpanjaard, OlivierMCF-HDRLIP6-UPMCThouvenin, IndiraMCF-HDRHEUDIASYC-UTCWeng, PaulMCFLIP6-UPMCWuillemin, Pierre-HenriMCFLIP6-UPMCYessad, AmelMCFLIP6-UPMC
Contenu des UE de la spécialité ANDROIDE
Cette section décrit le contenu des UE listées dans le document principal du dossier dhabilitation, dans la présentation de la spécialité ANDROIDE.
Note : Les UE projet et stage ne sont pas détaillées ici car elles sont décrites dans le document principal de présentation de la mention.
M1S1
Nom : Modélisation, Optimisation, Graphes et Programmation Linéaire
Acronyme : MOGPL
Porteur : Patrice Perny
Descriptif :
Cette UE est destinée à introduire les graphes et la programmation linéaire comme outils de modélisation et de résolution de problèmes d'optimisation ou de décision. Elle a pour objet l'étude de modèles et l'analyse d'algorithmes fondamentaux de l'optimisation combinatoire. Elle constitue une base nécessaire à tout étudiant en informatique souhaitant acquérir une bonne maîtrise des modèles et algorithmes pour la résolution de problèmes d'optimisation, qu'il s'agisse de problèmes réels rencontrés dans un contexte industriel, ou de problèmes de recherche académique.
M1S2
Nom : Décision et Jeux
Acronyme : DJ
Porteur : Paul Weng
Descriptif :
Cette UE présente les fondements de la théorie de la décision ainsi que de la théorie des jeux. Ainsi, dans une première partie, l'UE aborde la notion de préférences, leur représentation et les modèles et algorithmes fondamentaux de décision dans l'incertain. Dans une deuxième partie, l'UE se concentre sur les aspects multicritères et collectifs de la prise de décision et propose ainsi une introduction aux choix social. Enfin, les concepts principaux de la théorie des jeux sont développés dans une dernière partie.
Nom : Fondements des Systèmes Multi-agents
Acronyme : SMA
Porteur : Aurélie Beynier
Descriptif :
Après avoir introduit la notion d'« agent » en tant qu'entité autonome interagissant avec son environnement, l'UE décrit les différents types d'agents (réactifs, cognitifs, rationnels,...) et introduit les architectures d'agents et de systèmes multi-agents les plus utilisées. Les problématiques d'autonomie, de distribution et d'asynchronisme, et celles liées aux interactions et à la coordination sont également développées. Enfin, l'UE aborde la modélisation des systèmes multi-agents et leur mise en uvre via des langages de programmation orientés agent. Cette UE s'accompagne d'une mise en pratique par un projet de développement d'un système multi-agent.
Nom : Résolution de Problèmes
Acronyme : RP
Porteur : Evripidis Bampis
Descriptif :
Cette UE couvre les principales méthodes de résolution de problèmes difficiles en IA et en RO. Le cours abordera ainsi les algorithmes de résolution exacts, mais également les algorithmes approchés (recherche heuristique dans les espaces d'états, les méthodes de recherche locale, les méta-heuristiques, etc.), et notamment ceux avec garantie de performance.
Nom : Interaction Homme-Machine
Acronyme : IHM
Porteur : Eric Lecolinet (Telecom Paris-Tech)
Descriptif :
Cette UE présente les méthodes et techniques permettant la conception et la réalisation d'interfaces homme-machine conviviales et performantes. L'enseignement porte à la fois sur les aspects logiciels et ceux liés aux facteurs humains (ergonomie, conception centrée utilisateur, etc.). Il comprend aussi une initiation aux nouvelles techniques d'interaction et à la visualisation de grandes quantités de données. Afin de favoriser la mise en pratique, l'UE comporte un projet ainsi qu'un nombre significatif de TDs et TMEs.
Nom : Projet M1 ANDROIDE (UE mutualisée avec les autres spécialités)
Acronyme : Projet
Porteur :
Descriptif :
Objectif : Permettre d'approfondir des notions apprises en cours et de s'approcher des thématiques de recherche en bioinformatique, soit en développant un programme, soit en utilisant des programmes existants pour traiter des données biologiques, soit en analysant des données biologiques avec des approches statistiques.
M2S3
Nom : Modélisation et Simulation Multi-agents
Acronyme : MoSiMA
Porteur : Jean-Daniel Kant
Descriptif :
Cette UE montre comment les systèmes Multi-Agents (MA) peuvent être utilisés pour modéliser et simuler des Systèmes Complexes à l'aide de nombreux agents intelligents en interaction dans des environnements riches et dynamiques (exemples : simulation de phénomènes économiques, simulation de villes, et de réseaux).
Nom : Algorithmique pour l'Optimisation et la Théorie des Jeux
Acronyme : AOTJ
Porteur : Fanny Pascual
Descriptif :
Cette UE vise à fournir aux étudiants une connaissance approfondie des outils permettant d'aborder l'algorithmique d'approximation polynomiale et en-ligne et la théorie des jeux algorithmique.
Nom : Modèles et Algorithmes pour la Décision dans l'Incertain
Acronyme : MADI
Porteur : Pierre-Henri Wuillemin
Descriptif :
Cette UE traite des différents modèles et algorithmes pour l'aide à la décision et la prise automatique de décision en contexte incertain. Dans un premier temps, elle se focalise sur les modèles décisionnels probabilistes, et notamment sur les modèles compacts de représentation. Ensuite, ceux-ci sont étendus pour la prise de décision séquentielle et des modèles plus généraux de représentation des préférences et des incertitudes sont introduits. Enfin, l'UE présente les algorithmes classiques de paramétrage de ces différents modèles. Tous les thèmes abordés sont illustrés sur des problèmes concrets.
Nom : Modèles et Algorithmes pour la Décision Multicrières ou Collective
Acronyme : MADMC
Porteur : Olivier Spanjaard
Descriptif :
L'objectif de cette UE est de fournir aux étudiants des outils permettant d'aborder les problèmes de décision ou d'optimisation multi-objectifs. La première partie du cours porte sur les bases méthodologiques de la modélisation multicritère de problèmes décisionnels ainsi que sur les outils formels pour l'agrégation multicritère ; on analyse formellement les difficultés que l'on peut rencontrer dans les problèmes de décision collective et on présente les principaux résultats théoriques sur l'agrégation de préférences pour la décision multicritère. La deuxième partie du cours vise à présenter différents algorithmes exacts ou approchés pour l'optimisation multicritère ou multiagent sur des domaines combinatoires.
Nom : Coordination et Consensus Multi-Agents : modèles, algorithmes, protocoles
Acronyme : CoCoMA
Porteur : Amal El Fallah Seghrouchni
Descriptif :
Cette UE porte sur les problématiques de coordination et de recherche de consensus entre agents cognitifs. Elle présente les méthodes de résolution et les mécanismes multi-agents prenant en charge la distribution, l'incertitude, l'asynchronisme et, éventuellement, l'hétérogénéité des agents.
Nom : Optimisation Continue et Optimisation Combinatoire
Acronyme : OCOC
Porteur : Pierre Fouilhoux, Viet Hung NGuyen
Descriptif :
L'objectif de cette UE est double. D'une part, elle présente les principales méthodes de l'optimisation continue, les méthodes primales et méthodes duales pour l'optimisation continue non linéaire, convexe et non convexe. Ces différentes méthodes sont illustrées au travers d'étude de cas divers. D'autre part, l'UE aborde l'utilisation de certaines de ces méthodes pour résoudre des problèmes d'optimisation non linéaire en nombres entiers, en particulier des problèmes issus de l'optimisation combinatoire.
Nom : Ordonnancement et Programmation par Contraintes
Acronyme : OPC
Porteur : Safia Kedad-Sidhoum
Descriptif :
Cette UE introduit les problématiques de l'ordonnancement (tâches, modes d'exécution, contraintes et critères d'optimisation). La complexité et la résolution exacte et approchée des problèmes les plus représentatifs sont abordées, en particulier les algorithmes de programmation par contraintes pour la propagation des contraintes de ressources.
Nom : IA pour la Robotique
Acronyme : IAR
Porteur : Stéphane Doncieux
Descriptif :
Cette UE présente les méthodes et algorithmes développés pour doter des robots d'une autonomie décisionnelle, que ce soit dans un cadre bioinspiré ou plus traditionnel. Les notions abordées concernent la navigation, la localisation et la cartographie, le contrôle moteur, la sélection de l'action, la décision séquentielle dans l'incertain et enfin l'apprentissage de concepts, de modèles ou de comportements.
Nom : Serious Games
Acronyme : SG
Porteur : Amel Yessad
Descriptif :
Cette UE a pour objet de présenter des modèles, des méthodes et des outils pour la construction de jeux sérieux (serious games). Dans la partie théorique, nous présentons les catégories de serious games, les problématiques de conception (learning et game design), de vérification des serious games ainsi que les aspects suivi du joueur. Dans la partie pratique, nous travaillons sur des systèmes auteur et des frameworks de développement de serious games.
Nom : Environnements Virtuels Interactifs et Jeux Vidéo
Acronyme : EVIJeV
Porteur : Vincent Corruble
Descriptif :
Cette UE vise à présenter les principes, technologies et principaux axes de recherches dans le domaine de la conception d'Environnement Virtuels Interactifs, qui incluent la Réalité Virtuelle et le Jeu Vidéo.
M2S4
Nom : Stage de fin détudes
Acronyme : Stage
Porteur :
Descriptif :
Le stage de fin détudes sétend sur tout le second semestre et peut seffectuer dans un laboratoire de recherche ou dans une entreprise.
Annexe de la spécialité BIM
Equipe pédagogique de la spécialité BIM
Le tableau ci-dessous donne la liste et la qualité des enseignants (académiques ou industriels) intervenant au sein de la spécialité BIM.
Nom, PrénomQualitéEtablissement dappartenance*Arleo, AngeloDRCNRS-UPMC*Boccara, MartinePRUPMC-BioCarbone, AlessandraPRUPMC-Info*Delord, BrunoMCF-HDRUPMC-BioDujon, BernardPRUPMC-BioFischer, Gilles DRCNRS-UPMCFrançoise, Jean-PierrePRUPMC-MathGilis, DimitriMCF HDRUniversité Libre de BruxellesGonzales, ChristophePRUPMC-InfoIsambert, HervéDRCNRS-Institut Curie*Lafontaine, IngridMCFUPMC-BioLopez, PhilippeMCF HDRUPMC-BioMaday, YvonPRUPMC-MathPonty, YannCRCNRS-PolytechniqueRichard, HuguesMCFUPMC-InfoThieullen, MichèleMCF HDRUPMC-MathVan Helden, JacquesPRUniversité Libre de BruxellesWeigt, MartinPRUPMC-InfoWuillemin, Pierre-HenriMCF UPMC-InfoZucker, Jean-DanielDRIRD-UPMC
Tableau 1 : Enseignants de M1 et M2 BIM intervenant dans les cours dInformatique et Mathématiques cités dans les Tableaux 1 et 3 du document principal du dossier dhabilitation. Les collègues identifiés avec * interviennent aussi dans les cours de Bio-BIM BMC (voir Tableau 2 pour les autres intervenants en BMC).
Nom, PrénomQualitéEtablissement dappartenanceAchaz, GuillaumeMCF HDRUPMC-BioAndéol, YannickPRUPMC-BioBaaden, MarcCRCNRS-IBPCBilloud, BernardMCFUPMC-BioCarpentier, MathildeMCFUPMC-InfoChomillier, JacquesDRCNRS-UPMCCognet, JeanPRUPMC-BioCostalat, RobertMCF-HDRUPMC-BioDesbarbieux, Jean-LouMCFUPMC-InfoDevaux, FrédericPRUPMC-BioDuprat, ElodieMCFUPMC-BioEscargueil, AlexandreMCFUPMC-BioGarcia, MathildeMCFUPMC-BioGarnier, SophieMCFUPMC-BioHiguet, DominiquePRUPMC-BioHountondji, CodjoPRUPMC-BioKamech, NediaMCFUPMC-BioLarcher, Jean-ChristophePRUPMC-BioLe Crom, StephanePRUPMC-BioLopez, PhilippeMCF HDRUPMC-BioOlivier TenaillonCRINSERM-BichatPasek, SophieMCFUPMC-BioPatin, EtienneCRCNRS-Institut PasteurPothier, JoelMCF-HDRUPMC-BioMozziconacci, JulienMCFUPMC-PhysiqueStratmann, DirkMCFUPMC-PhysiqueThieffry, DenisPRENS ParisTableau 2 : Enseignants de M1 et M2 intervenant dans les cours BMC
cités dans les Tableaux 5 et 6 du document principal du dossier dhabilitation.
Contenu des UE de la spécialité BIM
Cette section décrit le contenu des UE listées dans le document principal du dossier dhabilitation, dans la présentation de la spécialité BIM (Tableaux 1 et 5). La description de deux UE ouvertes en Mathématiques (MM062 et MM061) ainsi que lUE MV418 de la spécialité de Biochimie et Biologie Moléculaire de la mention biologie moléculaire et cellulaire BMC sont aussi intégrées parce que obligatoires/fortement conseillées pour les étudiants BIM. Il faut noter que les UE listées sont ouvertes dans des mentions suivantes : informatique (dans ce cas lUE sera indiquée par un acronyme en lettre), (acronyme MV chiffré) ou mathématiques (acronyme MM chiffré).
M1S1
Nom : Introduction à la biologie et aux algorithmes sur les arbres et les graphes en bioinformatique
Acronyme : AAGB
Porteur : A. Carbone, M. Boccara
Descriptif :
Cette UE fournit une introduction aux concepts et mécanismes fondamentaux de biologie moléculaire et cellulaire, et présente une variété de problèmes biologiques actuels, leur modélisation et leur solution algorithmique. L'UE est divisée en deux sous-parties. La première partie présente aux étudiants à quelques concepts et mécanismes de base de la biologie moléculaire et cellulaire. La deuxième partie introduit une variété de problèmes de modélisation et danalyse de données en bioinformatique qui ont amené à proposer des solutions algorithmiques qui exploitent les notions combinatoires d'arbres et de graphes. Une partie des concepts introduits dans la première partie sera reprise, présentée dans un langage plus formel et manipulée algorithmiquement pour résoudre un problème biologique d'actualité.
Programme prévisionnel :
- Que trouve-t-on dans une cellule ? Les compartiments, ce qu'ils contiennent, leurs fonctions dans la cellule (les molécules simples, les membranes, les polymères de sucres) ;
- Quelques notions de bioénergétique. Les types de liaisons fortes et faibles en biologie ;
- Grands types de macromolécules biologiques structure et propriétés des acides aminés et des protéines (protéines structurales et protéines enzymatiques) ;
- Structure des acides nucléiques ADN et ARN ;
- Mécanismes d'expression de l'information génétique transcription chez les bactéries et chez les eucaryotes ;
- Régulations géniques (protéines régulatrices ex l'opéron Lactose la régulation chez les eucaryotes (régulateurs diverses, chromosomes, chromatine, nucléosome, microARN) ;
- Séquences d'ADN dans un génome : gènes et ADN répété, mutations et épi-mutations ;
- Réplication de l'ADN et cycle cellulaire ;
- Introduction à la signalisation cellulaire ;
- Cycle d'un virus le phage Lambda et sa régulation ;
- Algorithmes de reconstruction de longues séquences d'ADN d'après leur séquençage ;
- Algorithmes de reconstruction d'arbres phylogénétiques: méthodes basées sur les distances, par parcimonie et par maximum de vraisemblance ;
- Algorithmes pour analyser les réarrangements des génomes ;
- Réseaux biologiques, analyse de leurs propriétés et modèles de génération aléatoire.
Nom : Systèmes dynamiques discrets et continus en biologie et médecine
Acronyme : MM062
Porteur : Y. Maday
Descriptif :
Objectif : Proposer quelques éléments de modélisation en biologie, écologie et sciences du vivant et introduire, à partir de ces modèles, quelques outils mathématiques qui seront illustrés par des simulations et implémentations numériques.
Programme prévisionnel :
- modèles de dynamique de population discrets et continus : équations différentielles ordinaires, stabilité, bifurcation
- modèles de compétition, écologie, proie prédateur : analyse matricielle ;
- modèles d'épidémiologie : déterministes et aléatoires ;
- dynamique spatiale, réaction, diffusion, phénomènes non locaux, texture : analyse des équations aux dérivées partielles (EDP), théorèmes de point fixe ;
- approximation des EDP: différences finies et éléments finis, basés sur freefem++.
Nom : Programmation impérative et structures de données en C
Acronyme : MV447
Porteur : J.-L. Desbarbieux, M. Carpentier
Descriptif :
Objectif : Maîtriser la programmation impérative par l'apprentissage d'un langage informatique de référence. Cette UE est conseillée dans le cas d'étudiants en informatique n'ayant pas une forte compétence de programmation. Elle est obligatoire pour les étudiants de biologie.
L'UE présentera sous un angle impératif les structures de données les plus couramment utilisées en programmation (listes, piles, arbres, table de hachage). Laccent sera particulièrement mis sur la gestion explicite de la mémoire (pointeurs et allocation dynamique). Les principes de la compilation séparée seront présentés en cours et pratiqués en TP (.h, .c, .o et Makefile). Une réflexion sur la complexité des algorithmes présentés sera menée et les principales méthodes d'accès aux fichiers seront présentées. Les TP seront réalisés dans un environnement Linux standard en utilisant les outils les plus couramment répandus : gcc, ddd.
M1S2
Nom : Statistiques en bioinformatique et algorithmes sur les séquences
Acronyme : SBAS
Porteur : A. Carbone, M. Weigt
Descriptif :
Cette UE fournit aux étudiants une introduction aux concepts et approches statistiques en bioinformatique. Une ample variété de problèmes d'analyse des séquences biologiques sont présentés ainsi que leurs solutions algorithmiques. Ce module est divisé en deux sous-parties: une première partie concerne les statistiques appliquées en Bioinformatique et la deuxième touche plusieurs problèmes d'analyse des séquences biologiques auxquels certaines des approches statistiques seront appliquées.
Programme prévisionnel:
- Chaînes de Markov I : Ilots CpG, bases théoriques.
- Chaînes de Markov II : théorème ergodique, distributions invariantes.
- Modèles de Markov cachés I : Algorithmes de Viterbi, backward-forward.
- Modèles de Markov cachés II : Apprentissage des paramètres, HMM de profiles pour familles protéiques.
- Echantillonnage : importance sampling, Monte Carlo Markov Chain, Gibbs sampling.
- Algorithmes d'alignement de séquences par paires et multiple.
- Nouvelles approches au problème de la détection d'homologies lointaines.
- Algorithmes exactes de recherche de motifs: motifs d'ADN et matrices de poids spécifiques des positions.
- Algorithmes probabilistes de recherche de motifs: Gibbs sampling, projections aléatoires, EM.
- Algorithmes pour la recherche des gènes procaryotes et eucaryotes.
- Algorithmes pour la prédiction des structures secondaires de l'ARN.
Nom : Projet M1 BIM (UE mutualisée avec les autres spécialités)
Acronyme : Projet
Porteur : H. Richard, A. Carbone
Descriptif :
Objectif : Permettre d'approfondir des notions apprises en cours et de s'approcher des thématiques de recherche en bioinformatique, soit en développant un programme, soit en utilisant des programmes existants pour traiter des données biologiques, soit en analysant des données biologiques avec des approches statistiques.
Nom : Modélisation en neurosciences: aspects mathématiques et computationnels
Acronyme : MM061
Porteur : J-P Françoise, M. Thieullen, A. Arleo, B. Delord
Descriptif :
Objectif : Introduire les modèles mathématiques et computationnels développés dans les neurosciences. La première partie du cours donne aux étudiants la formation en systèmes dynamiques stochastiques nécessaire à la compréhension de ces modèles. La deuxième partie est dédiée aux aspects plus computationnels en neurosciences. Elle introduit la modélisation et lanalyse théorique en tant qu'outils mathématiques pour la compréhension de problématiques telles que le traitement de l'information, lapprentissage et la mémoire dans le système nerveux. Dune part, lenseignement s'appuie sur la présentation de modèles canoniques, aux niveaux moléculaire, cellulaire et à l'échelle des réseaux de neurones. Dautre part, il introduit des méthodes danalyse bio-statistique autour des thèmes du codage neuronal de l'information et des mécanismes dadaptation sous-tendant loptimisation des processus perceptifs et mnésiques. Afin de développer en premier lieu un savoir-faire concret et appliqué, la moitié de l'enseignement dédié aux aspects computationnels consistera en des travaux dirigés.
Nom : Les acides nucléiques: de la molécule unique à la cellule
Acronyme : MV418
Porteur : J.Cognet, C. Hountondji
Descriptif :
Cette unité d'enseignement d'interface introduit les notions fondamentales d'interaction moléculaire requises pour l'entrée dans certains enseignements de M2 ainsi que les concepts essentiels de la modélisation moléculaire.
Cette unité d'enseignement est constituée d'une partie commune suivie par l'ensemble des étudiants et d'une partie spécifique dépendant de la mention de rattachement. La partie commune présente les acides nucléiques qui sont au centre de multiples processus déterminant le vivant à toutes ses échelles, moléculaire, cellulaire et tissulaire. Ces molécules sont donc aussi bien des cibles à visée thérapeutique que des nano-objets dans des circuits moléculaires. Cette unité d'enseignement vise à montrer comment les acides nucléiques interviennent dans le vivant, comment il est possible de les manipuler et comment leur connaissance permet de comprendre leurs interactions avec d'autres molécules. Pour les étudiant(e)s de la mention "Biologie Moléculaire et Cellulaire", la partie spécifique prolonge la partie commune avec des exemples et des applications. Pour les étudiant(e)s de la mention "Informatique", la partie spécifique correspond à une mise à niveau en biologie. Elle permettra d'aborder les concepts et les mécanismes essentiels de la biologie moléculaire.
Nom : Programmation avancée en Python et introduction à la gestion de bases de données
Acronyme : MV448
Porteur : M. Carpentier, E. Duprat
Descriptif :
Objectifs : Maîtriser la programmation objet par l'apprentissage d'un langage informatique de référence. Thèmes abordés : programmation en Python et la gestion de bases de données. Conseillée dans les cas exceptionnels détudiants en informatique n'ayant pas une forte compétence de programmation. Cette UE est obligatoire pour les biologistes.
M2S3
Nom : Génétique, génomes et évolution
Acronyme : EVOL
Porteur : G. Fischer
Descriptif :
Ce module vise à familiariser les étudiants avec les concepts et les méthodes utilisés en évolution moléculaire. Au travers de l'analyse de l'impact de la présence de séquences répétées dans les génomes, nous présenterons différents aspects qui mettent en évidence la relation étroite qui existe entre la structure et l'évolution des génomes. Pour cela, nous utiliserons différentes méthodes de génomique comparative pour reconstruire l'évolution probable de génomes observés aujourd'hui d'un point de vue global (par exemple, la reconstruction des réarrangements chromosomiques) et au niveau plus local des familles de gènes (redondance génétique et redondance fonctionnelle, création de nouvelles protéines, estimation de distances évolutives, recherche de traces d'événements de sélection). Les avancées en génomique qui sont aujourdhui possibles daprès le séquençage de plusieurs centaines de génomes complets et leur comparaison seront présentées.
Programme prévisionnel :
- Introduction à la génétique et à la génomique ;
- Recherche de séquences similaires. Homologie : définition et problème de détection ;
- Anatomie et annotations des génomes ;
- Synténie et réarrangements chromosomiques ;
- Les différents niveaux d'information codés dans les génomes ;
- Les ARN non codants dans les génomes ;
- Bases génétiques de l'adaptation.
Nom : Phylogénie et génomique comparative : méthodes mathématiques et algorithmes
Acronyme : PHYG
Porteur : A. Carbone
Descriptif :
Le but de ce cours est de donner une présentation raisonnable et globale d'un sujet en expansion, en touchant surtout les aspects mathématiques de la phylogénie et justifiant les algorithmes de reconstruction phylogénétique associés. Certaines de ces approches mathématiques appliquées à la phylogénie ont été utilisées pour développer des approches en génomique comparative. Elles seront présentées, motivées et développées. Plusieurs questions d'intérêt primaire en évolution des génomes aujourd'hui seront abordées.
Programme prévisionnel :
- Théorie Darwinienne et perspectives historiques, phylogénie morphologique et problèmes associés, phylogénie moléculaire.
- Tour d'horizon des différentes méthodes de reconstruction et de leur pertinence biologique, modèles d'évolution, impact des transferts latéraux sur la théorie darwinienne.
- Reconstruction phylogénétique basés sur les distances, sur la parcimonie et sur la vraisemblance.
- Arbres, sousarbres et superarbres : compatibilité des arbres.
- Estimation en phylogénie. Validation des arbres phylogénétiques et classification hiérarchique.
- Génomes minimaux et génomes ancestraux.
- Bases fondamentales du génie génétique et leurs conséquences en génomique.
- Eléments génétiques mobiles et transferts génétiques.
- Eléments cis-régulateurs dans les séquences génomiques : découverte de motifs, prédiction de sites et modules cis-régulateurs, visualisation sur les cartes génomiques, étude de la divergence et de la conservation des éléments cis-régulateurs au sein des génomes microbiens (bactéries, levures) et chez les vertébrés.
- Nouvelles techniques de séquençage à haut débit, régulation génétique et épigénétique à l'échelle des génomes.
- Génomique comparative et étude des familles de protéines.
- Espaces de gènes et espaces d'organismes prokaryotes à partir de l'analyse de biais des codons dans les génomes.
- Génomique comparative et réseaux moléculaires.
- Prédiction des fonctions et reconstruction du métabolisme par méthodes basées sur l'homologie et la post-homologie.
Nom : Génétique des populations
Acronyme : GPOP
Porteur : M. Weigt
Descriptif :
Objectifs : Introduire la génétique des populations. Discuter les bases de la génétique des populations et faire le lien avec la recherche actuelle basée sur l'accessibilité de données de séquence sur grande échelle.
Programme prévisionnel :
- Populations panmictiques : Equilibre de Hardy-Weinberg ;
- Populations de taille finie : Dérive génétique et fixation d'allèles ;
- Théorie coalescente : le temps jusqu'à l'ancêtre le plus récent ;
- Populations structurées, sous-populations et migration ;
- Mutations, théorie neutre d'évolution ;
- Sélection naturelle, équilibre mutation / sélection ;
- Inférence de la dynamique sélective dans une population mixe de levure ;
- Evolution in vitro : L'expérience à longue durée de Lenski ;
- Variabilité génétique humaine : le projet HapMap.
Nom : Statistiques pour la classification et fouille de données en génomique
Acronyme : SPLEX
Porteur : P.-H. Wuillemin, J.-D. Zucker
Descriptif :
Objectifs : Introduire les méthodes d'analyse de données complexes, depuis l'analyse statistique classique jusquaux plus récentes techniques d'apprentissage automatique. Présenter les principales questions analytiques en génomique fonctionnelle et les approches méthodologiques permettant une analyse exploratoire ou la construction automatique de modèles prédictifs en intégrant des données hétérogènes: transcriptomiques, cliniques, génomiques, métabolomiques ou métagénomiques, etc. On abordera en particulier les données haut-débits rencontrées en transcriptomique et métagénomique. Différentes applications médicales seront présentées pour illustrer les problèmes posés par l'analyse du transcriptome.
Programme prévisionnel :
- Statistique non paramétrique ;
- Modèle linéaire et linéaire généralisé ;
- Analyse de données (analyse multivariée, statistique euclidienne, ACP, analyse des correspondances multiples, analyse canonique, etc.) ;
- Méthodes à noyaux ;
- L'étude du transcriptome par les données puces et séquençage (NGS), standards de représentation et stockage, la normalisation ;
- Principales directions analytiques, ressources et approches utilisées, tests statistiques, ajustement multiples, l'échantillonnage et les techniques de validation utilisées pour l'analyse du transcriptome ;
- Etude de l'expression différentielle, ressources et approches d'analyse fonctionnelle transcriptomique ;
- Echantillonnage, classification supervisée (arbre de décision, règles de décision, k-PPV, Séparateurs à Vastes Marges (SVM), etc.) ;
- Classification non supervisée (classification ascendante hiérarchique, k-means, règles d'associations, etc.) des données et applications aux données transcriptomiques dont cinétiques d'expression ;
- L'analyse intégrative des réseaux transcriptionnels : utilité, approches conventionnelles et intégratives, applications ;
- Directions futures de développement d'approches computationnelles intégratives pour la biologie des systèmes dont le "séquençage de nouvelle génération" (NGS).
Nom : Réseaux biologiques et biologie des systèmes
Acronyme : RESYS
Porteur : H. Isambert, M. Weigt
Descriptif :
Les composants de pratiquement tous les systèmes biologiques sont fortement intéragissants, et peuvent être caractérisés par des réseaux biologiques complexes. De tels réseaux comprennent plusieurs échelles, par exemple des réseaux entre résidus d'une protéine, des réseaux de régulations sur échelle génomique, des réseaux d'interaction entre individus d'une population, etc. Cette UE introduit des approches mathématiques et algorithmiques pour les réseaux biologiques. Elle introduit les réseaux comme des structures fonctionnelles entre les composants d'un système biologique (en particulier gènes, protéines etc.), discute l'inférence des réseaux et leur analyse fonctionnelle, et aborde ensuite l'évolution de ces réseaux par duplication-divergence de gènes et modèles de fixation de gènes dupliqués.
Programme prévisionnel :
- Introduction aux réseaux biologiques (combinatoire de l'expression de gènes) ;
- Propriétés des grands et petits réseaux biologiques et recherche de motifs dans les réseaux ;
- Découverte de voies métaboliques par recherche de chemins dans les réseaux métaboliques ;
- Analyse globale des réseaux métaboliques : balance des flux métaboliques ;
- Evaluation de méthodes de clustering de graphes ;
- Génomes, réseaux de régulation et de signalisation ;
- Inférence des réseaux de régulation génétiques : Motifs de l'ADN, ARACNe ;
- Réseaux d'interaction protéine-protéine et détection de sous-réseaux : complexes protéiques, voie métaboliques... ;
- Evolution : des gènes aux organismes, duplication de gènes, duplications de génomes ;
- Modèles d'évolution des réseaux biologiques par duplication-divergence de gènes ;
- Modèles de dynamique de population pour fixation de gènes dupliqués ;
- Réseaux multi-échelle de co-évolution : co-évolution résidu-résidu, interface-interface, protéine-protéine ;
- Diffusion des épidémies et modèles sur réseaux.
Nom : Biologie systémique : structure, dynamique et évolution des réseaux génétiques
Acronyme : BIOSYS
Porteur : F. Devaux, D. Thieffry, J. Cognet
Descriptif :
La biologie des systèmes élabore de nouveaux modèles quantitatifs permettant de comprendre lorganisation et le fonctionnement du vivant. Ce cours, organisé en partenariat avec lEcole Normale Supérieure - Paris, a pour objectif de former les étudiants aux concepts et aux techniques de la biologie des systèmes appliquée aux grandes questions de la biologie cellulaire contemporaine. Il aborde plus particulièrement lanalyse expérimentale et la modélisation in silico du fonctionnement des réseaux de régulation dans la cellule. Il traite des approches expérimentales danalyse à très haut débit des réseaux cellulaires et des méthodes in silico de reconstruction de la structure et de lévolution des réseaux de régulation.
Programme prévisionnel :
- Introduction à la biologie systémique et aux réseaux génétiques ;
- Séquençage haut débit ;
- Normalisation, regroupement et annotation fonctionnelle ;
- Analyse différentielle ;
- Inférence de réseau ;
- Évolution des réseaux de régulation.
Nom : Algorithmes en bioinformatique structurale: protéines et ARN
Acronyme : STRUCT
Porteur : D. Gilis, H. Isambert
Descriptif :
La structure des protéines et des ARN joue un rôle primordial et confère à ces biomolécules leurs propriétés biologiques. Sa modélisation est devenue un domaine de recherche interdisciplinaire entre physique, biologie et informatique. L'objectif de ce cours consiste à présenter les approches bioinformatiques qui permettent : 1. de prédire la structure d'une protéine au départ de sa séquence, ainsi que d'étudier, d'analyser et de classifier les structures protéiques, 2. de présenter les avancées récentes et délucider les problématiques ouvertes autour des structures des ARN.
Programme prévisionnel :
- Notion de protéines et de structures de protéines ;
- Alignement de structures protéiques et classification ;
- Fonctions d'énergie / fonctions de score pour la modélisation de structures protéiques ;
- Méthodes de prédiction de la structure secondaire de protéines ;
- Méthodes de prédiction de la structure tertiaire de protéines ;
- Prédiction de structures secondaires de l'ARN, programmation dynamique, structure la plus probable (MFE / Nussinov + Zuker) vs structure moyenne (ensemble Bolzmann / McCaskill +...) ;
- Représentation et comparaison de structures de l'ARN; programmation dynamiques complexes (RNAForrester, NestedAlign, MIGAL ...) / approche heuristique (DIAL, DART) / recherche de petits motifs (FR3D) ;
- Dynamique de repliement et d'interaction des ARN; échelles de temps physique; repliement cotranscriptionnel ; prédiction structure et chemin de repliement par simulation multi-échelle. Structures fonctionnelles métastables ;
- Pseudonoeuds et ''vrais'' nuds ; topologie du repliement et conséquence pour la statique et la dynamique de repliement; modèles physiques et prédiction par simulation ;
- Biologie systémique de l'ARN; design structure et chemin de repliement. Design de systèmes de régulation ARN inspiré de systèmes naturels (ARNnc bactérien / riboswitches). Auto-assemblage ARN synthétique et bactérien ;
- Régulation ARN chez les eucaryotes; miARN, siARN, silencing (piARN, etc... splicing, riboswitch,...) ;
- Régulation ARN chez les procaryotes et virus; ARNnc et riboswitches chez bactéries / archae / virus / viroids.
Nom : Des données de séquences à la génétique évolutive
Acronyme : GENOM
Porteur : P. Lopez, G. Achaz
Descriptif :
Le thème général de cette unité d'enseignement est l'interprétation biologique des données de séquences. Comment, à partir d'un ensemble large de séquences génétiques, peut-on proposer une histoire biologique ? Illustrant les différents aspects de la génétique, plusieurs axes complémentaires seront développés. Le module contient une moitié de cours et une moitié de projet. Les étudiants choisiront un projet dans la liste ci-dessous (non-exhaustive). La présentation orale de leurs projets permettra de révéler les multiples facettes de la génomique.
Programme prévisionnel :
- Analyse évolutive des gènes et génomes par les arbres et les réseaux,
- Transfert latéral et éléments mobiles, implications évolutives,
- Les causes de l'horloge moléculaire,
- Inférence de scénarios à partir de données intra-espèce,
- SNPs et déséquilibre de liaison, outils pour l'étude des caractères complexes,
- Génomique à haut débit, apport des puces dans l'étude de l'expression et de la régulation des gènes,
- Evolution expérimentale,
- Génétique des populations chez l'homme.
Dans le cadre des projets élaborés par les étudiant(e)s, l'idée est d'explorer les différents aspects biologiques d'un unique jeu de données commun composé d'une collection de génomes intra- et inter-espèces. Les projets sont conçus pour allier analyse de données, algorithmique ou modélisation, puis interprétation biologique des résultats. Chaque projet est supervisé par un ou plusieurs enseignants spécialistes du sujet.
Nom : Modélisation des biopolymères et de leurs interactions à différentes échelles
Acronyme : BIOPOL
Porteur : J. Cognet
Descriptif :
Présenter les méthodes et les techniques de la modélisation moléculaire qui sont essentielles pour comprendre la conformation des macromolécules biologiques, leurs interactions ainsi que leurs fonctions, et qui sont indispensables pour concevoir des molécules à visée thérapeutique.
Programme prévisionnel :
- La modélisation en perspectives : modélisation en sciences physiques ou biologiques ; modélisations des molécules et algèbre linéaire ; justesse et précision des modèles ; Monte-Carlo et mathématique.
- Modélisation des acides nucléiques : polymères linéaires et longueur de persistance, génération de chaines ; tiges et boucles dans les acides nucléiques.
- Dynamique moléculaire, réalité virtuelle et approches interactives.
- Repliement des protéines globulaires.
- Amarrage ("docking") des complexes protéine-protéine.
- Modélisation multi-échelle de la chromatine pour la génomique avec Blender.
Nom : Modélisation du codage, de l'apprentissage et des bases physiologiques de l'imagerie fonctionnelle cérébrale
Acronyme : LEARN
Porteur : A. Arleo, B. Delord
Descriptif :
L'objectif de l'unité d'enseignement est d'aborder le traitement de l'information, de l'apprentissage et de la mémoire dans le système nerveux au travers de modèles informatiques et mathématiques à différentes échelles de temps et d'espace. Plus spécifiquement, sont abordées les questions de l'excitabilité, de l'encodage et du décodage de l'information, des mécanismes de plasticité et de mémoire, et des bases physiologiques de l'imagerie fonctionnelle cérébrale. L'accent sera porté sur les méthodes de formulation des modèles, d'une part, et de simulation des modèles, d'autre part, afin de développer en premier lieu un savoir-faire concret et appliqué. Dans cette optique, la moitié de l'enseignement consistera en des travaux dirigés sur ordinateur.
Programme prévisionnel :
- Codage neuronal et neurotransmission.
- Modèles de plasticité et de mémoire.
- Modèles et analogues cellulaires de l'apprentissage.
- Bases physiologiques de l'imagerie fonctionnelle cérébrale.
M2S4
Nom : Stage de fin détudes
Acronyme : Stage
Porteurs : A.Carbone, M.Weigt
Descriptif :
Le stage de fin détudes sétend sur tout le second semestre et peut seffectuer dans un laboratoire de recherche ou dans une entreprise.
Annexe de la spécialité DAC
Équipe pédagogique de la spécialité DAC
Le tableau ci-dessous donne la liste et la qualité des enseignants (académiques ou industriels) intervenant au sein de la spécialité DAC.
Nom, PrénomQualitéÉtablissement (équipe)Amann, BerndPRLIP6 - UPMC Artières, ThieryPRLIP6 - UPMCBaskiotis, NicolasMCFLIP6 - UPMCConstantin, CameliaMCFLIP6 - UPMCCord, MathieuPRLIP6 - UPMCDenoyer, LudovicMCFLIP6 - UPMCDetynieki MarcinCR-HDRLIP6 - UPMCDoucet, AnnePRLIP6 - UPMCGallinari, PatrickPRLIP6 - UPMCGançarski, StéphaneMCF HDRLIP6 - UPMCGuigue, VincentMCFLIP6 - UPMCLabroche, NicolasMCFLIP6 - UPMCLamprier, SylvainMCFLIP6 - UPMCLesot, Marie-JeanneMCFLIP6 - UPMCMarsala, ChristopheMCF HDRLIP6 - UPMCNaacke, HubertMCFLIP6 - UPMCThome, NicolasMCFLIP6 - UPMCTollari, SabrinaMCFLIP6 - UPMCUsunier, NicolasMCFLIP6 - UPMCGrau, BrigittePRENSIIECautis, BogdanMCF HDRTélécom ParisTechSennelart, PierreMCF HDRTélécom ParisTechAbdessalem, TalelMCF HDRTélécom ParisTechFogelman, FrançoiseExtérieurKXENNastar, ChahabExtérieurSAPLoncelle, JérômeExtérieurGroupe MornayGreffenstete, GregoryExtérieurExaleadClairmont, CharlyExtérieurALTIC
Contenu des UE de la spécialité DAC
Cette section décrit le contenu des UE listées dans le document principal du dossier dhabilitation, dans la présentation de la spécialité DAC.
M1S1
Nom : Modèles et Langages Bases de Données Avancées
Acronyme : MLBDA
Porteur : Anne Doucet
Descriptif :
L'objectif de ce cours est de présenter et de comparer différents modèles et langages de données pour le développement de nouveaux types d'applications modernes (web 2.0, services web, réseaux sociaux, réseaux de capteurs, open data). En partant du modèle de données objet standard (ODMG/OQL), il introduit le relationnel-objet avec le langage SQL3 pour l'interrogation de données structurées complexes. Une partie importante du cours est ensuite consacrée aux standards XML pour la modélisation et l'interrogation de données semi-structurées et de données sémantiques. Il se termine avec un bref aperçu des modèles et langages de requêtes pour les flux de données. Les TD et TME illustrent et complètent le cours en mettant en pratique les technologies récentes (Oracle/XML, Oracle/RDF, JSON, . . .)
Nom : Logique et Représentations des Connaissances
Acronyme : LRC
Porteurs : Jean-Gabriel Ganascia, Nicolas Maudet
Descriptif :
Ce module poursuit un triple objectif pédagogique. Il vise d'abord à donner aux étudiants de master d'informatique les fondements logiques nécessaires pour aborder la modélisation du raisonnement en Intelligence Artificielle, la représentation des connaissance, en Intelligence Artificielle et en Bases de Données, pour la conception de modèle conceptuelle de systèmes d'information, pour la formalisation de problèmes en Recherche Opérationnelle et enfin pour la spécification de programmes en Algorithmique et en Programmation. En deuxième lieu, ce cours présentera le formalisme des logiques de description qui servent aujourd'hui de fondement à la représentation des ontologies et au Web sémantique. En troisième lieu, ce module initiera les étudiants à la programmation logique et leur enseignera les rudiments du langage PROLOG. Ce langage original procurera à tous les futurs ingénieurs logiciels une ouverture d'esprit précieuse tout en leur donnant des compétences techniques utile en Intelligence Artificielle et en Bases de Données. Enfin, en donnant les fondements théoriques du langage PROLOG, ce cours constituera une introduction pédagogique à la démonstration automatique de théorème et la théorie de la preuve, ce qui est fort utile tant pour le génie logiciel et la preuve de programme, que pour l'intelligence artificielle.
M1S2
Nom : Apprentissage et Reconnaissance des Formes
Acronyme : ARF
Porteur : Thierry Artières
Descriptif :
Cette UE dresse un panorama des méthodes quantitatives en Intelligence Artificielle et en reconnaissance des formes. Sont successivement abordés la théorie Bayésienne de la décision et les notions fondamentales de l'apprentissage à partir d'exemples, l'apprentissage supervisé et les tâches de régression et de discrimination à travers une introduction aux classifieurs linéaires (classifieur Bayésien) et non linéaires (Réseaux de neurones), l'apprentissage non supervisé à travers le clustering et l'estimation de densités, et le traitement de données séquentielles par des méthodes markoviennes (pour la parole, le biomédical).
Le module est construit par blocs de deux ou trois semaines au cours desquels un mini-projet réalisé en TD et TME illustre la partie théorique cours par l'implémentation de systèmes pour des domaines d'applications variés : reconnaissance de visages et de caractères manuscrits, prévision boursière, traduction automatique, moteurs de recherche...
Nom : Bases de Données Réparties
Acronyme : BDR
Porteurs : Hubert Naacke et Stéphane Gançarski
Descriptif :
Cette UE présente dans un premier temps, les techniques de mise en uvre des SGBD : stockage, indexation, optimisation. Dans une deuxième partie, les principes des SGBD répartis sont présentés : la conception (fragmentation, réplication,...), le traitement et l'optimisation des requêtes, la gestion de la concurrence et des pannes. Enfin, les différents concepts et technologies des bases de données parallèles sont présentés.
Nom : Business Intelligence
Acronyme : BI
Porteur : Ludovic Denoyer
Descriptif :
Il s'agit d'une UE "pratique" et "industrielle" structurée autour de trois problèmes réels traités chacun sur 3 à 4 semaines. Chaque problématique est introduite en cours par l'intervention d'un industriel et étudiée plus en profondeur du point de vue technique par des enseignants de la spécialité, avec la présentation de modèles formels permettant de traiter la problématique. En parallèle les TPs sont utilisés pour implémenter des modèles simples sur des données réelles, c'est-à-dire bruitées, hétérogènes et volumineuses.
Les 3 problématiques sont susceptibles de changer chaque année. Nous envisageons notamment pour la première année:
La détection de churn et la fidélisation des clients, sur des données téléphoniques ;
L'e-réputation d'une marque (lié au Customer Relationship Management) et la détection des influenceurs à l'aide de données réelles de Twitter ;
La personnalisation de l'offre produit et du tarif sur des données d'achat ;
Une problématique autour de l'open data - par exemple la visualisation de données.
Nom : Formation par la recherche
Acronyme : FPR
Porteur : Thierry Artières et Bernd Amann
Descriptif :
Cette UE a pour but de plonger les étudiants dans le monde académique et de les initier aux problématiques et aux métiers de la recherche. Elle inclut notamment :
Une participation active aux séminaires d'au moins une des équipes de recherche liées à la spécialité
La participation à des groupes de recherche animés par des enseignants chercheurs d'une des équipes de recherche liées à la spécialité
Une étude bibliographique incluant la lecture et la synthèse d'un groupe d'articles scientifiques sur un sujet défini par un des enseignants de la spécialité. Cette étude donnera lieu à la rédaction d'un rapport sous forme d'article et à la présentation orale du travail devant un jury.
Un projet de recherche consistant en la mise en uvre effective et une analyse critique de résultats de méthodes issues de la littérature académique sur un problème concret.
Nom : Intelligence artificielle et manipulation symbolique de linformation
Acronyme : IAMSI
Porteurs : Jean-Gabriel Ganascia et Christophe Marsala
Descriptif :
Ce module donnera aux étudiants la maîtrise des techniques dIntelligence artificielle (IA) et de manipulation symbolique de l'information. Ainsi, outre les notions classiques dIA comme les systèmes à base de connaissance, on présentera les avancées récentes telles la programmation par ensembles réponse (Answer Set Programming), et dans ce cadre, les concepts de non-monotonie et de modèle stable.
On approfondira aussi les notions de représentation sémantique des connaissances à travers différents modèles (réseaux sémantiques, graphes conceptuels, graphes de Sowa etc.). Le lien sera fait avec les logiques de description et les procédures de preuve les plus courantes en logique de description (subsomption structurelle, méthode des tableaux) seront présentées.
Dautre part, différentes approches dutilisation dinformation seront présentées. Ainsi, une introduction sur lutilisation de techniques dIA pour la programmation des jeux sera faite avec, en particulier, lalgorithme du Min/Max, les coupures alpha/beta et lalgorithme A*. Un autre exemple dutilisation dinformation sera abordé par la planification de tâches avec différents formalismes : calcul des situations, planification linéaire (STRIPS) et planification non-linéaire (NOAH).
Nom : Projet M1 DAC (UE mutualisée pour tout le M1)
Acronyme : Projet
Porteur : Nicolas Thome
Descriptif :
Il s'agit d'une UE de projet. Sa vocation est de former les étudiants à réaliser un projet logiciel en binôme de bout en bout, de la spécification et la conception à la réalisation et à la « recette » qui fait l'objet d'une présentation orale. Les projets proposés tournent autour de la mise en application de résultats de recherche obtenus dans le département et sont renouvelés chaque année. Ils sont encadrés par des enseignants de la spécialité. La qualité technique des réalisations et leur opérabilité sont des points déterminants, un des objectifs est de mettre en ligne les meilleures réalisations pour en faire une vitrine des activités de la recherche liées à la spécialité.
Nom : Traitement Automatique du Langage Naturel
Acronyme : TAL
Porteur : Brigitte Grau (ENSIEE/LIMSI)
Descriptif :
Le TAL vise l'élaboration d'outils et de méthodes capables d'appréhender leur sémantique afin d'en faciliter la prise de connaissance et plus généralement lexploitation. Selon l'usage que l'on veut en faire, les niveaux d'interprétation peuvent être différents, allant de l'identification de termes pour extraire des mots-clés à des résumés des traductions ou de la recherche d'informations précises en réponse à des questions. L'objectif de ce module est de présenter les problématiques posées pour le traitement automatique de la langue et les principaux modèles pour analyser, synthétiser, exploiter et produire des documents.
Il aborde notamment :
Introduction au TAL : Analyse morphologique et terminologique, Formalismes et analyse syntaxiques, Ressources et analyse sémantiques, Analyse du discours ;
Applications : Recherche d'informations précises, résumé, fouille de texte, détection de sentiments, extraction de thématiques, attribution d'auteurs, traduction automatique.
M2S3
Nom : Apprentissage Statistique
Acronyme : AS
Porteur : Patrick Gallinari
Descriptif :
Ce module dresse un panorama de l'apprentissage statistique aujourd'hui. Il aborde successivement les grandes problématiques du domaine et en présente les avancées majeures des dix dernières années, en les illustrant sur des grands champs applicatifs : traitement de données textuelles et multimédia, extraction d'information à partir de données collaboratives (médias sociaux), etc.
Le cours aborde successivement:
Théorie de l'apprentissage statistique, capacité de généralisation, dilemme biais-variance, etc. ;
Apprentissage Supervisé : Classification, Réseaux de Neurones, Machines à vecteurs de support, Méthodes à noyaux, Ranking, Problématique du passage à l'échelle ;
Apprentissage non supervisé : Partitionnement, Modèles à variables latentes ;
Autre paradigmes d'apprentissage : Apprentissage par renforcement, Apprentissage faiblement supervisé, Apprentissage semi-supervisé et transductif, Apprentissage actif, Transfer Learning ;
Méthodes d'ensembles: bagging, boosting, etc. ;
Apprentissage et données structurées : Séquences et arbres, Graphes et données inter-dépendantes.
Nom : Apprentissage Symbolique et Web Sémantique
Acronyme : ASWS
Porteurs : Jean-Gabriel Ganascia et Bernd Amann
Descriptif :
Ce cours comporte deux parties :
Apprentissage symbolique : Nous présenterons la construction d'arbres de décision, la construction de règles d'association, l'analyse formelle de concepts (Formal Concepts Analysis), les approches formelles de l'apprentissage, les fondements philosophique de l'induction et de l'abduction, la généralisation de termes et de clauses, la programmation logique inductive et la programmation logique abductive. Nous aborderons ensuite la découverte sous l'angle de la reconstruction rationnelle et sous l'angle de la fouille de données. Nous décrirons enfin des applications de l'apprentissage à l'acquisition des connaissances, à l'anticipation de comportements et à la créativité. Enfin, on traitera de l'extraction de motifs récurrents, qu'il s'agisse de motifs syntaxiques ou lexicaux, et d'alignement de textes monolingues et multilingues.
Web Sémantique : Ce cours aborde le thème de la modélisation et l'interrogation du Web Sémantique. On étudiera les fondements théoriques des standards du Web Sémantique (RDF, OWL) et leur utilisation pour l'interrogation de données. On abordera également des langages dinterrogation déductifs plus récents de type Bloom et WebDamLog qui permettent la description logique et déclaratifs de systèmes distribuées à large échelle. On présentera à la fois les propriétés formelles de ces langages (expressivité, complexité) ainsi que les problèmes de leur mise en uvre.
Nom : Fouille de Données et Médias Sociaux
Acronyme : FDMS
Porteurs : Sylvain Lamprier et Vincent Guige
Descriptif :
Cette UE est partiellement enseignée par des industriels du data mining (KXEN, Exalead, Business et Decision, SAP, MicroStrategy,
). Le module aborde diverses problématiques dans les domaines de la Business Intelligence et les données dans l'entreprise (chaînes de traitement pour l'alimentation et le contrôle de la qualité des données, ETL), la Fouille et analyse de données (industrialisation, passage à l'échelle des méthodes), les Systèmes de recommandation (modélisation des préférences de l'utilisateur, à l'élicitation, sélection ou le rangement d'items) et les Médias sociaux (analyse, mesure, et modélisation de réseaux sociaux, fouille de données, prédiction de liens, l'inférence de classes des individus).
Nom : Modélisation et raisonnement à base de connaissances imprécises
Acronyme : MRBCI
Porteur : Christophe Marsala
Descriptif :
Les données à manipuler pour l'extraction de connaissances et l'apprentissage sont les plus souvent entachées d'imperfections, qu'elles soient imprécises, incertaines ou incomplètes. Cette UE dresse un panorama des méthodes formelles et de leur mise en uvre permettant d'exploiter de telles données.
La première partie du cours est consacrée à diverses théories de représentation des connaissances et de raisonnement étendues pour les données imparfaites : les théories des sous-ensembles flous, des possibilités et de l'évidence sont présentées, ainsi que les extensions de la logique classique (logique floue, logique possibiliste, logique modale, logique non monotone). D'autres types de raisonnement (par analogie, interpolatif ou abductif) sont décrits.
La mise en oeuvre de ces méthodes formelles constitue la seconde partie du cours. Elle traite en particulier de méthodes d'apprentissage adaptées (arbres de décision flous, clustering flou, construction de prototypes, construction de résumés...), et de techniques d'agrégation et de fusion d'informations hétérogènes.
Nom : Recherche d'Information et Moteurs de Recherche
Acronyme : RI
Porteurs : Patrick Gallinari et Sabrina Tollari
Descriptif :
Ce module propose d'aborder le problème de la recherche d'informations dans sa généralité en introduisant les grandes problématiques, les notions de base du domaine, les principaux modèles théoriques, les spécificités de la recherche d'information sur le texte, le multimédia (images, vidéos), le web, etc. La première partie sera consacrée aux notions de base : pré-traitements, indexation et représentation des données à contenu sémantique, modèles théoriques de recherche, filtrage, classification, bouclage de pertinence, etc, qui seront déclinées sur les différents médias. On introduira ensuite des notions plus avancées concernant les problèmes liés aux très grandes masses de données, à l'utilisation des méthodes d'apprentissage automatique qui sont aujourd'hui largement employées pour les différents problèmes de RI, et des problématiques plus récentes comme l'analyse de sentiments, l'analyse de média sociaux vue sous l'angle de la RI, l'analyse des flux d'information, l'extraction d'information à partir des données hétérogènes du web, le résumé automatique. Enfin le cours présentera les moteurs de recherche et abordera successivement les problématiques d'indexation (indexes inversés, etc), de crawling (robots sur le web, problème de scalabilité), de recherche d'information pertinente (ranking) basée sur le contenu et la structure (pagerank,...), d'évaluation de moteurs. Il aborde également la conception de moteurs de recherche spécialisés pour des domaines tels que la recherche d'articles scientifiques (CiteSeer), de formules chimiques etc. Le cours sera complété par des TD et des TP portant sur la représentation et le codage des documents texte ou multi-média, le développement de systèmes interactifs pour l'interrogation de bases de contenu, la réalisation d'un moteur de recherche qui pourra être réalisé suivant les années sur différents types de media (texte, images, vidéo) en employant des technologies récentes du domaine.
Nom : Bases de Données Large-Echelle
Acronyme : BDLE
Porteur : Bernd Amann et Camelia Constantin
Descriptif :
Ce cours suivra les évolutions technologiques récentes en matières d'architectures (cloud, P2P), de modèles de stockage (BigTable, ColumnStore) et de langages (MDX,BLOOM, . . .) pour la gestion et l'analyse de données volumineuses et complexes (arbres, graphes). En même temps on abordera les principes fondamentaux et transverses autour de l'optimisation et l'administration dans ces infrastructures. Quelques technologies représentatives seront également mises en uvre dans le cadre de projets et de travaux pratiques.
M2S4
Nom : Stage de fin détudes
Acronyme : Stage
Porteur :
Descriptif :
Le stage de fin détudes sétend sur tout le second semestre et peut seffectuer dans un laboratoire de recherche ou dans une entreprise.
Annexe de la spécialité IMA
Equipe pédagogique de la spécialité IMA
Le tableau ci-dessous donne la liste et la qualité des enseignants (académiques ou industriels) intervenant au sein de la spécialité IMA.
Nom, PrénomQualitéEtablissement dappartenanceAngelini, ElsaMCF HDRLTCI - Télécom ParisTechBarakat, ClaireCRLIF UPMCBardinet, EricIRCRICM UPMCBenali, HabibDRLIF - UPMCBéréziat, DominiqueMCF HDRLIP6 - UPMCBloch, IsabellePRLTCI - Télécom ParisTechBohné, JulienIRMorphoBoubekeur, TamyMCF HDRLTCI - Télécom ParisTechBoudier, ThomasMCF HDRIFR83 - UPMCBridal, LorieDRLIP - UPMCCampedel, MarineMCFLTCI - Télécom ParisTechChavez, MarioCRCRICM UPMCChupin, MarieIRCRICM UPMCColliot, OlivierCR HDRCogimageCord, MatthieuPRLIP6 - UPMCCuingnet, RémiIRPhilips HealthcareDelon, JulieCR HDRLTCI - Télécom ParisTechDubuisson, SéverineMCFLIP6 - UPMCEisemann, ElmarMCFLTCI - Télécom ParisTechFabrizio, JonathanMCFLRDE - EpitaGeorge, NathalieDRCRICM UPMCGiron, AlainIRLIF - UPMCGonzales, ChristophePRLIP6 - UPMCGuillaud, PhilippePRCDR - UPMCKas, AurélieMCU-PHLIF - UPMCLadjal, SaïdMCFLTCI - Télécom ParisTechLandeau, StéphaneIRDGAManzanera, AntoineMCFENSTA ParisTechMeas-Yeddid, VannaryIRInstitut PasteurMonasse, PascalCRENPCMousseaux, EliePU-PHHEGP et LIFNicolas, Jean-MariePRLTCI - Télécom ParisTechParadis, Anne-LiseCRCRICM - UPMCPichon, EricIRGE Medical SystemsSchwartz, DenisIRCRICM - UPMCStarck, Jean-LucDRCEAThome, NicolasMCFLIP6 - UPMCTupin, FlorencePRLTCI - Télécom ParisTech
Contenu des UE de la spécialité IMA
Cette section décrit le contenu des UE listées dans le document principal du dossier dhabilitation, dans la présentation de la spécialité IMA.
M1S1
Nom : Bases du traitement des images
Acronyme : BIMA
Porteur : M. Cord, N. Thome
Descriptif :
Le but de cette UE est de présenter les méthodes fondamentales de traitement d'images (acquisition, amélioration, filtrage spatial et fréquentiel, détection de contours, segmentation, etc.) et de donner un certain nombre d'applications pratiques sur des problèmes spécifiques.
Nom : Modèles et Algorithmes Probabilistes et Statistiques pour l'Informatique
Acronyme : MAPSI
Porteur : C. Gonzales
Descriptif :
Cette unité d'enseignement vise à présenter les éléments de probabilités et de statistiques fondamentaux pour l'informatique. Au-delà du simple objectif d'exposer les notions classiques telles que les variables aléatoires, les moments ou les grandes familles de distributions, l'UE a pour but de montrer l'utilisation avancée de ces notions dans divers domaines de l'informatique tels que la bioinformatique, l'intelligence artificielle ou encore l'imagerie. Les techniques ainsi étudiées (chaînes de Markov, etc.) seront illustrées sur des applications provenant de ces différents domaines.
M1S2
Nom : Informatique graphique 3D
Acronyme : IG3D
Porteur : T. Boubekeur, E. Eisemann
Descriptif :
Cette UE donne une introduction au domaine de l'informatique graphique 3D, en insistant notamment sur les thèmes de la modélisation géométrique, du traitement géométrique et de la synthèse d'images. Les TD/TP couvrent les aspects liés à l'implémentation en C/C++ des algorithmes vus en cours, notamment à l'aide de la bibliothèque OpenGL. Le cours contient un séminaire donné par les étudiants en milieu de semestre et se termine par un projet de groupe faisant suite aux TP.
Nom : Projet M1 IMA (UE mutualisée pour tout le M1)
Acronyme : Projet
Porteur : D. Béréziat
Descriptif :
Cette UE est un projet long, dont le but est de travailler sur un problème d'analyse d'image pendant tout un semestre. Les problèmes proposés sont différents d'une année sur l'autre et permettent aux étudiants de travailler seuls (sous l'encadrement d'un enseignant), et de mener, de bout en bout, leur projet. Le travail est évalué par l'encadrant, et l'étudiant doit rendre un rapport écrit et faire une présentation orale en fin de semestre.
M2S3
Nom : Traitement avancé d'images
Acronyme : TADI
Porteur : I. Bloch, F. Tupin
Descriptif :
L'objectif de cette UE est de présenter les théories avancées du traitement des images, reposant sur différents formalismes : continus, discrets, algébriques, analytiques, statistiques. Les fondements mathématiques seront présentés, avec les outils qui en sont déduits pour toute la chaîne de traitement d'images, de l'amélioration (restauration, filtrage...), à la segmentation ou encore l'analyse de textures. Des exemples viendront illustrer les différentes parties du cours, sur des images provenant de divers domaines d'applications (images naturelles, images médicales, images de télédétection...).
Nom : Techniques avancées en vision par ordinateur
Acronyme : VISION
Porteur : S. Dubuisson, A. Manzanera
Descriptif :
Cette UE a pour objectif de donner aux étudiants un panorama des techniques avancées liées à la vision par ordinateur, en particulier celles qui font l'objet de recherches fortes actuelles. Elle aborde à la fois les aspects 2D et 3D de la vision statique et dynamique pour l'extraction d'informations de la scène observée.
Nom : Reconnaissance des formes pour l'analyse et l'interprétation d'images
Acronyme : RdFIA
Porteur : M. Cord, A. Manzanera
Descriptif :
L'objectif de cette UE est de présenter les théories et les algorithmes de classification et d'interprétation d'images. Outre les fondements mathématiques de la théorie de la décision bayésienne et de l'apprentissage statistique, les méthodologies de l'apprentissage supervisé, non supervisé, des théories de l'incertain et de la fusion d'informations seront présentées. Le deuxième aspect méthodologique porte sur les modèles de représentation de l'information visuelle pour la classification, depuis l'extraction des primitives visuelles jusquà l'interprétation finale. Enfin, des approfondissements traitant de représentations structurelles, hiérarchiques, par graphes, sémantiques, etc., seront étudiées conjointement avec des mesures de similarités avancées. Elles seront complétées avec des méthodes d'apprentissage associées (méthodes à noyaux, apprentissage profond, optimisation stochastique
). De nombreux exemples viendront illustrer les parties fondamentales de ce cours, ainsi que plusieurs applications visant à la classification de bases d'images naturelles, médicales, satellitaires ...
Nom : Informatique Graphique 3D Avancée
Acronyme : IG3DA
Porteur : T. Boubekeur, J. Fabrizio
Descriptif :
Cette UE aborde les notions avancées de l'informatique graphique 3D, en lien avec l'interaction, le traitement d'images et les mathématiques appliquées. 6 à 8 thèmes seront abordés, comprenant chacun 2/6H de cours, 6/12H de TD/TP.
Nom : Imagerie biologique et médicale
Acronyme : BIOMED
Porteur : T. Boudier, P. Guillaud
Descriptif :
Cette UE a pour but de présenter les fondements de l'acquisition et du traitement des principales modalités en imagerie médicale et biologique. Elle comporte une partie d'imagerie médicale (modalités d'acquisitions), et une partie d'imagerie biologique intégrant les méthodes d'acquisition microscopiques d'une part, et les applications en traitement d'images biologiques d'autre part.
Nom : Méthodologie et applications en imagerie médicale
Acronyme : MAPIMED
Porteur : O. Colliot, A. Giron
Descriptif :
Ce module a pour vocation de permettre aux étudiants de confronter leurs connaissances théoriques en traitement d'images au monde de la recherche médicale et des applications sur le vivant. L'enseignement sera axé sur la présentation « sur site » d'un ensemble de méthodologies et d'applications à un panel de thématiques médicales (neurologie, maladies cardiovasculaires, cancer...). L'accent sera mis sur la complémentarité des approches médicales, mathématiques, technologiques, pour résoudre des problématiques de modélisation, d'aide à la décision ou des aspects en recherche cognitive. Une partie des cours sera couplée à des visites de services cliniques ou d'unités de recherche. Un éventail large de modalités sera envisagé (ultrasons, IRM, IRM fonctionnelle, EEG/MEG, imagerie optique diffuse ...). Les étudiants devront avoir pris conscience, au terme de cet enseignement, des spécificités et des enjeux des métiers liés à l'interface entre méthodologie et médecine (protocoles d'études...).
Nom : Séminaires et pratique en image
Acronyme : PRAT
Porteur : F. Tupin, V. Meas-Yedid
Descriptif :
Le but de cette UE est d'enrichir la culture des étudiants dans les domaines liés à l'image sur des sujets qui ne seront pas abordés dans les cours. Elle se décompose en une partie de séminaires obligatoires (environ 6 séances de 3h) et un projet, complété par une étude bibliographique liée, qui s'étendront sur le semestre. Les séminaires, qui pourront varier d'une année sur l'autre, feront intervenir des personnes extérieures du monde de la recherche, de la recherche et du développement, ou de l'industrie. Le projet se fera par petits groupes d'étudiants (4-5) et sera encadré par un ou plusieurs enseignants dont un tuteur.
M2S4
Nom : Stage de fin détudes
Acronyme : Stage
Porteurs : I. Bloch, S. Dubuisson
Descriptif :
Le stage de fin détudes sétend sur tout le second semestre et peut seffectuer dans un laboratoire de recherche ou dans une entreprise.
Annexe de la spécialité RES
Equipe pédagogique de la spécialité RES
Le tableau ci-dessous donne la liste et la qualité des enseignants académiques intervenant au sein de la spécialité RES.
Nom, PrénomQualitéÉtablissementBaey, SébastienMCLIP6 - UPMCBaynat, BrunoMCLIP6 - UPMCCoupechoux, MarceauMCLTCI - Télécom ParisTechCruz Teixeira, RenataCR HDRLIP6 - UPMCDias de Amorim, MarceloDRLIP6 - UPMCFdida, SergePRLIP6 - UPMCFladenmuller, AnneMCLIP6 - UPMCFourmaux, OlivierMCLIP6 - UPMCFriedman, TimurMCLIP6 - UPMCGuillaume, Jean-LoupMCLIP6 - UPMCHecker, ArturMCLTCI - Télécom ParisTechLangar, RamiMCLIP6 - UPMCLeneutre, JeanMCLTCI - Télécom ParisTechMagnien, ClémenceCR HDRLIP6 - UPMCMalouch, NaceurMCLIP6 - UPMCMartins, PhilippePRLTCI - Télécom ParisTechMarzouki, MeryemCR HDRLIP6 - UPMCMathieu, FabienCR HDRLIAFA Univ. Paris 7Najm, EliePRLTCI - Télécom ParisTechNguyen, Thi-Mai-TrangMC HDRLIP6 - UPMCPetit, FranckPRLIP6 - UPMCPotop-Butucaru, MariaPRLIP6 - UPMCPujolle, GuyPRLIP6 - UPMCRougier, Jean-LouisMC HDRLTCI - Télécom ParisTechSecci, StefanoMCLIP6 - UPMCSerhrouchni, AhmedPRLTCI - Télécom ParisTechSpathis, ProméthéeMCLIP6 - UPMCTarissan, FabienMCLIP6 - UPMCThai, Kim-LoanMCLIP6 - UPMCTixeuil, SébastienPRLIP6 - UPMCUrien, PascalPRLTCI - Télécom ParisTech
Contenu des UE de la spécialité RES
Cette section décrit le contenu des UE listées dans le document principal du dossier dhabilitation, dans la présentation de la spécialité RES.
M1S1
Nom : Architecture des réseaux
Acronyme : ARES
Porteur : Olivier Fourmaux
Descriptif :
L'UE ARES s'intéresse à l'Architecture des réseaux TCP/IP en étudiant les couches application, transport et réseau dans les environnements IPv4 et IPv6. Cette UE comporte une forte composante de travaux pratiques permettant de mettre en uvre directement les concepts abordés en cours en analysant le trafic d'un réseau d'expérimentation.
Nom : Réseaux de télécommunications
Acronyme : RTEL
Porteur : Rami Langar
Descriptif :
Ce cours a pour but de présenter les concepts et les principes de base des réseaux de télécommunications en détaillant les protocoles et architectures mis en place dans le cur de réseau et le réseau daccès. Ces réseaux forment linfrastructure de transport des réseaux IP actuels et futurs. Des concepts de type ATM, MPLS, Ethernet commuté et Carrier Grade, accès ADSL et sans fil, ainsi que les architectures de base des réseaux cellulaires et de domicile seront abordés.
Nom : Entreprise et gestion de projet
Acronyme : EGP
Porteur : CFA ITIN
Descriptif :
Ce cours a pour objectif de comprendre la finalité de l'entreprise, son environnement, les différentes fonctions qui concourent à ses objectifs, ainsi que les flux d'échanges internes et externes dans une économie moderne. Dans ce contexte très concurrentiel, le système d'information constitue un atout stratégique majeur. Il est donc essentiel d'en comprendre l'organisation, les différents acteurs, les méthodes et technologies employées, et maîtriser la façon d'intégrer ces savoir-faire au travers de solides connaissances en gestion de projets des systèmes d'information.
Nom : Système et réseau pour lentreprise
Acronyme : SRE
Porteur : CFA ITIN
Descriptif :
Ce cours a pour objectif de comprendre le fonctionnement et de maîtriser ladministration dun système Windows en réseaux. Il sagira à la fois de maîtriser les opérations de ladministration, de la création dimages systèmes à leur déploiement, de la création et ladministration des services dannuaires Active Directory à la protection des données, de la configuration des ressources réseaux afin den garantir la disponibilité. Le cours comprendra aussi lintroduction aux méthodes de déploiement complexes et le dépannage et la récupération sur pannes.
M1S2
Nom : Algorithmique des réseaux
Acronyme : ALGORES
Porteur : Maria Potop-Butucaru
Descriptif :
Le but principal de cette UE est de comprendre les différentes notions de complexité algorithmique en vue de leur utilisation dans le cadre des réseaux informatiques. Elle est structurée autour de la complexité des calculs (caractérisation des différentes classes de complexité algorithmiques, en particulier les problèmes NP-complets et NP-difficiles), la complexité des communications (localité et quantité dinformation qui doit être échangée dans un contexte distribué) et la robustesse en présence de pannes et dattaques.
Nom : Communications numériques
Acronyme : COMNUM
Porteur : Sébastien Baey
Descriptif :
Cette UE a pour objectif de fournir les outils qui permettent de comprendre les fondements et le fonctionnement de la couche physique des systèmes de communications numériques ainsi que den évaluer les performances et les limites.
Nom : Mobilité et sans fil
Acronyme : MOB
Porteur : Anne Fladenmuller
Descriptif :
Lobjectif de cette UE est de présenter comment sont mises en place les transmissions sans fils et l'impact de l'utilisation de telles liaisons sur les transmissions informatiques. Les principes généraux des transmissions seront illustrés au travers de la présentation de différentes technologies de transmissions, avec un accent mis sur le Wifi dont le fonctionnement, les performances ainsi que la sécurité dans les réseaux sans fils seront détaillées. Ce module présente également l'impact de la mobilité des utilisateurs sur les protocoles réseaux (réseaux mobiles ad hoc, réseaux maillés sans fils, réseaux de capteurs,....).
Nom : Programmation réseaux
Acronyme : PROGRES
Porteur : Sébastien Tixeuil
Descriptif :
Le but principal de cette UE est d'acquérir les techniques essentielles pour la programmation dapplications ayant à communiquer via un réseau dordinateurs. Laccent sera mis sur les séquences dinformations échangées et sur larchitecture des applications. En particulier, seront traitées les architectures classiques (client-serveur et pair à pair), la programmation réseaux explicite (avec p.e. les API dans divers langages), la programmation réseau implicite (avec p.e. Erlang, les API Java RMI ou .NET Remote), la programmation Web (avec p.e. PHP et Python), la programmation des réseaux sociaux (avec p.e. les API Facebook et Twitter).
Nom : Projet M1 RES (UE mutualisée pour tout le M1)
Acronyme : Projet
Porteur : Olivier Fourmaux
Descriptif :
Il s'agit d'une UE de projet. Sa vocation est de former les étudiants à réaliser en petit groupe un projet de bout en bout, de la spécification et la conception à la réalisation et à la « recette » qui fait l'objet d'une présentation orale. Les projets proposés tournent autour de la mise en application de résultats de recherche obtenus dans le département et sont renouvelés chaque année. Ils sont encadrés par des enseignants de la spécialité. La qualité technique des réalisations et leur opérabilité sont des points déterminants, un des objectifs est de mettre en ligne les meilleures réalisations pour en faire une vitrine des activités de la recherche liées à la spécialité.
Nom : Routage dans les réseaux
Acronyme : ROUT
Porteurs : Prométhée Spathis
Descriptif :
Le routage figure parmi les composants fondamentaux d'un système de communication à large échelle. Dans ce module, nous couvrons les principaux aspects liés au routage dans les réseaux informatiques tels que lacheminement (ou forwarding), le routage (ou routing), ladressage et le nommage, lobjectif étant de fournir une vision critique et globale des mécanismes architectures. Ce cours permettra à l'étudiant de comprendre les décisions techniques prises dans plusieurs propositions existantes et de développer sa propre capacité de conception de nouvelles approches de routage.
Nom : Simulation, émulation et virtualisation
Acronyme : SEV
Porteur : Naceur Malouch
Descriptif :
A travers ce cours, les étudiants apprendront les techniques de simulation et d'émulation en tant quoutils d'aide à la conception et d'analyse de performances de systèmes informatiques et en particulier des réseaux. Les thèmes abordés en cours traitent les notions de base relatives aux simulations à événements discrets, de la génération de nombres aléatoires jusqu'à l'analyse des données simulées. Ensuite, seront abordées les différentes approches d'émulation, notamment celles utilisant la virtualisation légère et complète. Les étudiants auront l'occasion durant les travaux pratiques de manipuler divers logiciels de simulation et démulation adoptés en milieux académique et industriel tels que NS2, OMNET++ et Dynamips.
Nom : Sécurisation des accès et des échanges
Acronyme : SAE
Porteur : CFA ITIN
Descriptif :
Dans le cadre de la mise en réseau systématique des systèmes informatiques dentreprise, Ce cours a pour objectif de maitriser en pratique la sécurisation des données, des accès aux sources dinformation et des échanges dinformations par les réseaux. Il présentera à la fois les méthodes et outils de chiffrement, dauthentification forte des utilisateurs, de détection de prévention des intrusions système et réseaux. A la fin du cours lapprenant comprendra les enjeux et maitrisera la mise en place de solutions à base de PPTP/L2TP, SSL/TLS/SSH, IPsec, DNS, RSA, PKI/ EJBCA, X.509. , dans les environnements réseaux avec ou sans fil.
Nom : Virtualisation et cloud
Acronyme : CLOUD
Porteur : CFA ITIN
Descriptif :
Comprendre les architectures, les outils et les services de linformatique en nuage est fondamental pour les experts en réseaux car ils seront impliqués dans la mise en place technique et la qualité de service des services informatiques dans le nuage. Ce cours a pour premier objectif de connaitre les enjeux et les paramètres techniques de la virtualisation de systèmes et dapplications et de maitriser la mise en uvre de systèmes virtualisés à base dune offre comme celle de VMware. Ce cours a aussi pour objectif de comprendre et maitriser le déploiement dune solution Platform As A Service et dune Infrastructure As A Service et à mettre en place une application dans le cadre de linfrastructure EC2 dAmazon.
M2S3
Nom : Réseaux cellulaires
Acronyme : CELL
Porteur : Thi-Mai-Trang Nguyen
Descriptif :
Cette UE a pour but de présenter les principaux concepts des réseaux radio mobiles. Le cours fournit aux étudiants les outils de base essentiels à la compréhension du domaine des réseaux radio mobiles cellulaires. Le fonctionnement des interfaces radio et les architectures et protocoles réseaux associés sont présentés. Les mécanismes dingénierie utilisés pour planifier et dimensionner ces réseaux sont également introduits. Le cours insiste par ailleurs sur les services mis à disposition par les différentes technologies cellulaires.
Nom : Réseaux de contenus
Acronyme : CONT
Porteur : Kim-Loan Thai
Descriptif :
Les réseaux actuels, et l'Internet en particulier, sont massivement utilisés pour accéder à des contenus de plus en plus dynamiques. Dans cette UE, nous étudierons l'évolution de ces contenus, du web au multimédia en insistant sur le transport de la voix et la vidéo (le monde du broadcasting sera mis en avant), puis les solutions mises en uvre pour supporter et gérer leur distribution à large échelle seront détaillées (caches, CDN, P2P, CCN,...). De nombreux travaux pratiques seront également proposés pour illustrer les concepts abordés.
Nom : Gouvernance dInternet
Acronyme : IGOV
Porteur : Meryem Marzouki
Descriptif :
La problématique de la gouvernance technique dInternet est devenue indissociable de son gouvernement politique et de la régulation des usages des réseaux. La gouvernance dInternet concerne les institutions, régimes, politiques, acteurs humains et artefacts techniques qui régissent linfrastructure dInternet, ses applications et services, ainsi que les contenus et activités déployés via le réseau. Lobjectif de cette UE est dacquérir les connaissances de base ainsi que les clés analytiques et méthodologiques relatives aux enjeux techniques, économiques, juridiques, éthiques et politiques qui entourent la gouvernance et lusage des réseaux, ainsi quà la diversité des acteurs et intérêts publics et privés en jeu. Les contextes législatifs français, européens et internationaux seront présentés et analysés. Il sagit de comprendre comment Internet est gouverné, qui fixe ses normes, règles et protocoles, de quelle manière et pour quels objectifs, comment sappliquent et sarticulent ses normes techniques, juridiques, politiques, économiques, sociales).
Nom : Ingénierie de trafic et qualité de service
Acronyme : ITQOS
Porteur : Serge Fdida
Descriptif :
Lobjectif de lUE est de fournir aux futurs ingénieurs les connaissances théoriques et pratiques nécessaires pour maîtriser les mécanismes et les outils de contrôle de trafic et de la qualité de service dans les réseaux. Les cours et les travaux dirigés traiteront les concepts de base des différents types de contrôle qui permettent doptimiser lutilisation des ressources du réseau tout en offrant des services de haute qualité aux utilisateurs. Plusieurs techniques seront étudiées afin que les étudiants maîtrisent leur conception et leur configuration. En particulier, ces techniques couvriront les mécanismes de limitation de débit et de séparation de trafic, les politiques de gestion de buffers et de partage de bande passante, et les architectures de qualité de service. Les réseaux visés sont les réseaux d'opérateurs, les réseaux de fournisseurs de services et les réseaux d'entreprises. Les travaux pratiques réalisés sur des routeurs CISCO illustreront lutilité de ces techniques et leur utilisation dans le cadre de scénarii concrets tels que la mise en uvre des services différenciés.
Nom : Modélisation et évaluation de performances de systèmes
Acronyme : MEPS
Porteur : Bruno Baynat
Descriptif :
Toute conception de système doit nécessairement s'accompagner d'une évaluation de performances préalable. Cette évaluation de performances passe par une étape de modélisation, étape à la fois délicate et très importante : délicate car aucune méthodologie de modélisation n'existe et que seule lexpérience peut aider à la conception d'un modèle valide ; très importante car toute l'analyse de performances et donc le dimensionnement du système reposent sur elle. L'objectif de cette UE est de sensibiliser les étudiants aux problèmes de la modélisation et de l'évaluation de performances des systèmes informatiques en général et principalement des réseaux de communication, et de leur donner des méthodes et des outils indispensables au dimensionnement de toute architecture ou protocole de réseaux.
Nom : Méthodes de travail pour la recherche en réseaux
Acronyme : METHO
Porteur : Marcelo Dias de Amorim
Descriptif :
La recherche moderne exige des chercheurs non seulement une forte capacité à proposer des solutions innovantes à forte valeur rajoutée, mais aussi tout un ensemble de compétences pour valoriser leurs travaux. Lobjectif de cette UE est de former les étudiants aux activités directement et indirectement liées à la recherche scientifique et au métier de chercheur, notamment dans le domaine des réseaux. Après une introduction au métier de chercheur (concepts et mots clés faisant partie du quotidien dun chercheur), les étudiants sont familiarisés avec les méthodes de lecture critique darticles scientifiques, décriture darticles scientifiques, danalyse de données et de présentation orale. Cette UE, réalisée exclusivement en langue anglaise, est composée de cours alternant les bases théoriques et leur mise en pratique en forme de devoirs réguliers et dun projet individuel à la fin du semestre.
Nom : Métrologie de lInternet
Acronyme : METRO
Porteur : Timur Friedman
Descriptif :
Chaque opérateur de réseau dans l'Internet a la maîtrise exclusive de son propre matériel (commutateurs, routeurs, ordinateurs hôtes) tandis que la qualité d'expérience de ses clients dépend en grande partie de la configuration des domaines connexes et des domaines distants, en matière de routage, de bande passante disponible, de délais de transit et de fiabilité. Aussi, la performance du réseau dépend de l'activité des utilisateurs : les applications qu'ils font tourner et les flux générés par ces applications. La bonne gestion d'un réseau, en ce qui concerne le routage, la maîtrise des flux, la sécurité et la planification, dépend d'une bonne compréhension de son comportement et du comportement d'autres réseaux, ce qui nécessite des mesures. Cette UE présente les mesures qui peuvent être effectuées dans les réseaux locaux, les réseaux d'accès et les réseaux de transit. Elle aborde les mesures qui peuvent être effectuées dans les couches réseau, transport et application, ou encore MAC. L'étudiant apprendra à effectuer des mesures en utilisant des outils de mesures actives et de mesures passives, avec des exercices pratiques déployés sur de grandes plates-formes d'expérimentation.
Nom : Réseaux dopérateurs
Acronyme : REOP
Porteurs : Stefano Secci, Guy Pujolle
Descriptif :
Ce cours a pour but de détailler les protocoles et les procédures mis en place actuellement par les opérateurs de télécommunications pour offrir et gérer de stricts niveaux de disponibilité, de QoS, de fiabilité et de résilience aux utilisateurs et aux services de réseau. Une attention particulière sera donnée aux protocoles propres aux réseaux d'opérateurs comme MPLS, Ethernet Carrier-Grade, aux architectures d'interconnexion entre opérateurs et aux dernières architectures réseaux en support à l'informatique en nuage. Le domaine technologique est celui des réseaux de cur et de transit Internet, de collecte mobile et DSL, daccès aux Clouds et aux data centers, avec les pratiques macroscopiques dingénierie de trafic, de dimensionnement, de gestion et de virtualisation.
Nom : Réseaux autonomes et ubiquitaires
Acronyme : RUBI
Porteur : Franck Petit
Descriptif :
Ce cours a pour objectif de comprendre les enjeux scientifiques et technologiques des réseaux autonomes et ubiquitaires, qui présentent plusieurs points communs entre eux et un certain nombre de divergences avec les réseaux "classiques", qu'ils soient filaires ou sans fils. Les notions d'auto-organisation, de mobilité active et passive y seront particulièrement détaillées et appliquées aux réseaux de capteurs, aux réseaux de robots, aux réseaux de contacts (RFID, NFC, DTN, etc.), et aux réseaux de véhicules (VANETs).
Nom : Structure et dynamique des réseaux
Acronyme : SDR
Porteur : Jean-Loup Guillaume
Descriptif :
Comprendre la structure et la dynamique des réseaux est crucial dans de nombreux contextes : conception de protocoles, optimisation ou évolution dun réseau. Ce cours a pour objectif de couvrir de manière assez large le domaine de létude structurelle des réseaux et de leur évolution, en allant de la mesure propre de la structure ou de la dynamique à lanalyse de cette structure afin de pouvoir la décrire le plus précisément possible. Le cours débutera par la présentation des propriétés classiques qui permettent de décrire un réseau ou sa dynamique, et en particulier didentifier les propriétés qui sont réellement pertinentes. Ensuite, nous présenterons plusieurs mécanismes de mesure de la structure dans le cas de lInternet en montrant que des mécanismes simples peuvent fournir des visions fortement biaisées. Enfin nous terminerons par létude de la dynamique des réseaux dans trois contextes : lInternet, les réseaux de contacts et les réseaux pair-à-pair, afin de montrer dans chaque cas comment décrire cette dynamique et les conséquences que cela peut avoir notamment dans la conception de protocoles.
Nom : Sécurité des réseaux
Acronyme : SECRES
Porteur : Jean Leneutre
Descriptif :
L'objectif de cet enseignement est d'approfondir les connaissances des étudiants en sécurité des réseaux. L'enseignement détaillera les attaques/intrusions spécifiques aux réseaux et leurs conséquences. Il présentera les concepts, techniques et méthodes de sécurité pour différents types de réseaux et infrastructures. Les étudiants devront étudier, analyser, expérimenter et concevoir au travers de projets des services ou applications de sécurisation.
Nom : Spécification et validation de protocoles et services
Acronyme : SPEC
Porteur : Elie Najm
Descriptif :
L'objectif de cet enseignement est de présenter les techniques de modélisation et de validation en les appliquant sur des cas d'étude de protocoles et services. Les langages de modélisation étudiés engloberont les algèbres de processus, les automates étendus communicants et la notation UML. Les méthodes de validation abordées seront la vérification par équivalence, la vérification sur modèle et le test de conformité.
Nom : Méthodes et outils pour la supervision de réseaux
Acronyme : MOSR
Porteur : CFA ITIN
Descriptif :
Laugmentation du nombre de composants actifs et de systèmes voire dobjets connectés aux réseaux oblige à approcher la supervision et ladministration avec des outils et des méthodes industrielles. Le cours a pour premier objectif de comprendre SNMP et les MIB et maitriser un outil industriel de supervision de réseaux comme HP OV ou Tivoli. Ce cours a comme second objectif de comprendre lutilité de lapproche ITIL et de maîtriser deux processus clés comme le « Service operation » et le « Service design ».
M2S4
Nom : Stage de fin détudes
Acronyme : Stage
Porteurs :
Descriptif :
Le stage de fin détudes sétend sur tout le second semestre et peut seffectuer dans un laboratoire de recherche ou dans une entreprise.
Annexe de la spécialité SAR
Equipe pédagogique de la spécialité SAR
Le tableau ci-dessous donne la liste et la qualité des enseignants (académiques ou industriels) intervenant au sein de la spécialité SAR.
Nom, PrénomStatutEtablissement dappartenanceAgon, CarlosPRUPMCAndreatta, MorenoCR HDRIRCAM-CNRSArantes, LucianaMCFLIP6 - UPMCBendraou, RedaMCFLIP6 - UPMCBérard, BéatricePRLIP6 - UPMCBesse, CédricMCFLIP6 - UPMCCont, ArshiaCRIRCAMDavid, BertrandMCFLTCI - Télécom ParisTechDutheillet, ClaudeMCFLIP6 - UPMCEncrenaz-Tiphene, EmmanuelleMCF HDRLIP6 - UPMCFabre, BenoîtPRLAM - UPMCFolliot, BertilPRLIP6 - UPMCHillah, Lom MessanMCFUniv. Paris 10Ilié, Jean-MichelMCFUniv. Paris 5Jean, MathieuIndustrielCEAKabassanov, KonstantinIRCNRSKordon, FabricePRLIP6 - UPMCLawal, JuliaDRINRIALe Roux, Pierre EmmanuelIRCNRSLegond-Aubry, FabriceMCFUniv. Paris 10Makpangou, MesaacCR HDRINRIAMalenfant, JacquesPRLIP6 - UPMCMalt, MikhailCRIRCAMMarin, OlivierMCFLIP6 - UPMCMonnet, SébastienMCFLIP6 - UPMCMuller, GillesDRINRIAPautet, LaurentPRLTCI - Télécom ParisTechPetit, FranckPRLIP6 - UPMCPotop-Butucaru, MariaPRLIP6 - UPMCRobert, ThomasMCFLTCI - Télécom ParisTechSaint-James, EmmanuelMCFLIP6 - UPMCSecci, StefanoMCFLIP6 - UPMCSens, PierrePRLIP6 - UPMCShapiro, MarcDRINRIASopena, JulienMCFLIP6 - UPMCSznajder, NathalieMCFLIP6 - UPMCThierry-Mieg, YannMCFLIP6 - UPMCThomas, GaëlMCFLIP6 - UPMCTrébuchet, PhilippeMCFLIP6 - UPMCVelu, Jean-PierreIndustrielSagemViaud-Delmon, IsabelleCRIRCAM-CNRSZiadi, TewfikMCFLIP6 - UPMC
Contenu des UE de la spécialité SAR
Cette section décrit le contenu des UE listées dans le document principal du dossier dhabilitation, dans la présentation de la spécialité SAR.
Les UE de cette formation sont organisées selon trois thématiques principales qui peuvent être combinées pour acquérir des compétences recherchées dans les métiers cibles de la spécialité :
- systèmes d'exploitation (OS),
- algorithmique et programmation dans le contexte réparti (AP),
- systèmes critiques (SC),
ainsi qu'une orientation spécifique vers les métiers de l'informatique répartie/embarquée pour les applications musicales (IM), qui commence en deuxième année pour un groupe fixe d'étudiants.
M1S1
Les deux UE décrites ci-dessous sont celles qui sont obligatoires pour la spécialité.
Nom : Architecture Avancée des Noyaux des Systèmes
Acronyme : NOYAU
Porteur : Pierre Sens
Descriptif :
Cette UE, de la thématique OS, étudiera les concepts avancés des noyaux des systèmes d'exploitation. Nous nous focaliserons sur la mise en uvre des stratégies internes des noyaux pour gérer l'accès aux processeurs, implémenter les mémoires virtuelles, organiser les disques et les caches, accéder aux fichiers. Nous analyserons et comparerons les techniques et algorithmes des principaux systèmes Unix (BSD, Linux...) et de Windows.
Nom : Programmation Répartie
Acronyme : PR
Porteur : Bertil Folliot
Descriptif :
Cette UE, de la thématique AP, a pour objectif de présenter et d'utiliser les appels et les services offerts par un système d'exploitation pour le développement d'applications concurrentes et réparties. Elle s'attache à montrer comment résoudre les problèmes de concurrence et de communication à l'aide des primitives systèmes accessibles par le standard POSIX. Ainsi, elle aborde les notions de processus et de threads, de sockets, d'IPC (signaux, mémoire partagée, sémaphores) et de temps réel.
Ces deux UEs sont à compléter par trois autres, choisies librement dans les UE disponibles des autres spécialités, par exemple en vue dune réorientation. Les UE suivantes sont plus spécialement conseillées en vue de la poursuite dans la spécialité SAR :
Architecture des réseaux (ARES, spécialité Réseaux), Architecture 1 (Archi1, spécialité SESI), Algorithmique Avancée des réseaux (ALGAV, spécialité STL), Ingénierie du Logiciel (IL, spécialité STL), Développement des Langages de Programmation (DLP, spécialité STL).
M1S2
Au deuxième semestre, parmi les 5 UE que doivent valider les étudiants, quatre au moins doivent être choisies dans la liste des UE proposées par la spécialité (ci-dessous). Une cinquième UE peut être choisie parmi les 3 suivantes :
Bases de Données Réparties (BDR, spécialité DAC), Programmation des périphériques (PERI, spécialité SESI), Programmation Parallèle (PPAR, spécialité SFPN). Cette liste peut-être élargie pour répondre à des projets spécifiques de certains étudiants.
Nom : Projet M1 SAR (UE mutualisée pour tout le M1)
Acronyme : Projet
Porteur : Emmanuel Saint-James
Descriptif :
Cette UE est un projet long, dont le but est de travailler sur un problème spécifique pendant tout un semestre. Les problèmes proposés sont différents d'une année sur l'autre et permettent aux étudiants de travailler seuls ou par binôme, sous l'encadrement d'un enseignant. Le travail est évalué par l'encadrant, l'étudiant doit de plus rendre un rapport écrit et faire une présentation orale en fin de semestre, également évalués.
Nom : Programmation au cur du Noyau Linux
Acronyme : PN
Porteur : Julien Sopena
Descriptif :
Le but de cette UE, de la thématique OS, est d'étudier le fonctionnement du noyau Linux et d'initier les étudiants à la "programmation noyau". S'appuyant sur les concepts introduits au premier semestre, elle étudie les algorithmes et les mécanismes qui sont mis en uvre dans les dernières versions du noyau. De plus, elle présentera la structure du noyau Linux, ses APIs ainsi que la méthodologie nécessaire au développement de nouvelles fonctionnalités. Enfin, elle insistera sur les problèmes de sécurité dans le noyau.
Nom : Algorithmique Répartie
Acronyme : AR
Porteur : Franck Petit
Descriptif :
Ce module, de la thématique AP, s'intéresse aux problèmes algorithmiques qui se posent lorsqu'une application est composée de processus qui s'exécutent sur des sites distants. Nous nous plaçons dans un contexte où les processus communiquent par message, sans accès à une mémoire partagée. Les solutions à plusieurs problèmes classiques sont présentées : construction de la relation de causalité, diffusion d'information par vagues, détection de la terminaison, reconstruction d'un état global, etc.
Nom : Systèmes Répartis et Clients/Serveurs
Acronyme : SRCS
Porteur : Sébastien Monnet
Descriptif :
Lobjectif de cette UE, de la thématique AP, est de présenter les différents concepts de la programmation répartie et des systèmes client/serveur. Après avoir montré les limites d'un développement fondé exclusivement sur les primitives systèmes (étudiées au premier semestre), nous introduisons progressivement les notions d'appel de procédures distantes, d'objet réparti et dintergiciel (middleware). Nous mettons aussi en perspective les différents paradigmes de communication : "requête/réponse" et envoi de message. Enfin, nous insistons sur l'importance des modèles de conception des applications réparties.
Nom : Sécurité et Administration des Systèmes
Acronyme : SAS
Porteur : Fabrice Legond-Aubry
Descriptif :
Ce module, de la thématique AP, vise à former des administrateurs de multi-systèmes, multi-postes et multi-utilisateurs. Il s'intéresse aux fonctions d'administrateur réseau et aux fonctions d'administrateur système. Il abordera la gestion des équipements informatiques (serveur, machine cliente, équipement réseau), le déploiement efficace de services, la maintenance d'un parc informatique et le rôle administratif/juridique/organisationnel des administrateurs systèmes. Nous étudierons aussi comment sécuriser des équipements informatiques pour limiter les risques d'attaques (logiciels et physiques) ainsi que la mise en place d'architectures réseaux fiables et sécurisés. Enfin, nous présenterons les rudiments de la cryptographie pour expliquer les protocoles les plus utilisés en sécurité informatique.
Nom : Architecture des Clients Internet Interactifs
Acronyme : ACII
Porteur : Emmanuel Saint-James
Descriptif :
(UE de la thématique AP) Dans l'architecture client-serveur, les clients concentrent l'essentiel des innovations et des difficultés. Cela s'explique par la dissymétrie du modèle : le serveur étant sollicité par une multitude de clients, souvent hétérogènes, il s'ensuit que changer les spécifications du serveur provoquerait une perte de compatibilité, et que lui demander un service trop compliqué alourdirait sa charge. Ce dernier point conduit certains serveurs à déléguer une partie de leur travail à un autre serveur dont ils sont alors eux-mêmes clients, voire au client demandeur lui-même. Ce glissement d'une architecture dissymétrique à une architecture symétrique montre que l'opposition entre client-serveur et pair-à-pair n'est pas qualitative mais quantitative, changement de point de vue d'ailleurs spécifique de l'approche scientifique d'un phénomène. Cet enseignement a pour but d'étudier l'évolution des clients Internet, de la messagerie au streaming en passant par les gestionnaires de fenêtres et les logiciels de gestion de versions, afin d'anticiper les évolutions à venir. Au cours des séances de travaux sur machine, on reprogrammera en particulier les parties principales d'un client Http, le navigateur tendant à devenir un client Internet universel.
Nom : Spécification des Systèmes
Acronyme : Spécif
Porteur : Claude Dutheillet
Descriptif :
La conception et la vérification de systèmes répartis passe par leur description dans un formalisme adapté aux outils existants. Cette UE, de la thématique SC, présente plusieurs de ces formalismes, que l'on peut ranger dans deux catégories :
- Les modèles formels à base de systèmes de transitions. Nous présenterons notamment les automates et les réseaux de Petri, ainsi que les mécanismes de composition qui leur sont associés, et qui rendent possible la conception modulaire de systèmes répartis.
- Les logiques, qui peuvent permettre à la fois de synthétiser des modèles corrects par construction et d'exprimer les propriétés attendues d'un système. Nous montrerons en particulier comment décrire des propriétés des états dun système ou de ses exécutions, à laide des logiques temporelles.
M2S3
Nom : Algorithmique Répartie Avancée
Acronyme : ARA
Porteur : Luciana Arantes
Descriptif :
Cette UE, de la thématique AP, a pour objectif l'acquisition de notions avancées sur les problématiques des algorithmes répartis notamment en présence de fautes (faute franche de processus, comportement byzantin, faute transitoire, etc.). Nous considérons les modèles de communication par passage de message et mémoire partagée. Dans ce contexte, nous étudierons des problèmes fondamentaux tels quels la détection de défaillances, les problèmes d'accord, les protocoles de diffusion fiables, ainsi que des techniques classiques de tolérance aux fautes comme les points de reprise, la réplication ou l'auto-stabilisation.
Nom : Applications et Systèmes Temps-réel Répartis Embarqués
Acronyme : ASTRE
Porteur : Laurent Pautet
Descriptif :
Cette UE, de la thématique SC, vise à donner aux étudiants les connaissances indispensables pour la conception d'applications et systèmes temps réel répartis embarqués. Notamment, l'enseignement se concentre sur les problèmes liés à la satisfaction de contraintes non-fonctionnelles (contraintes matérielles, temporelles, etc.) au sein de systèmes réels et souvent critiques. LUE se compose de deux parties :
Algorithmique pour la résolution de problèmes liés aux contraintes non fonctionnelles (ordonnancement, tolérance aux pannes), spécifications et standards pour les aspects architecturaux et comportementaux, et validation.
Conception de systèmes temps réel embarqués : infrastructures d'exécution (noyaux) et de communication (bus, réseaux etc.), langages de programmation et de modélisation.
Nom : Conception et Développement d'Applications d'Entreprise à Large Echelle
Acronyme : CoDEL
Porteur : Reda Bendraou
Descriptif :
Cette UE, de la thématique AP, présente les approches et les outils pour le développement d'applications d'entreprises à large échelle, principalement autour du langage Java et des standards JEE. Dans une première partie, l'UE aborde les frameworks - côté serveur- les plus utilisés dans l'industrie de nos jours, avec un objectif double :
- Comprendre les aspects théoriques sous-jacents à ces frameworks tels que l'inversion de contrôle, l'injection de dépendances, la programmation par aspects, la persistance d'objets et le mapping objet/relationnel ou bien le pattern architectural MVC dans le cadre des applications Web.
- Par la pratique et à l'aide de projets, faire en sorte que l'étudiant soit directement opérationnel sur ces technologies fortement demandées par le monde industriel.
Une seconde partie de l'UE sera consacrée au problème de la gestion intensive de larges données ainsi qu'à celui de l'élasticité de la mémoire dans les systèmes répartis. MapReduce, le framework Hadoop ainsi que la vision cloud computing y seront présentés.
Nom : Projet et Applications Musicales
Acronyme : PAM
Porteur : Emmanuel Saint-James
Descriptif :
Cette UE propose des applications et mises en uvre de l'acoustique, du traitement du signal et de l'informatique dans des problématiques ayant trait à la musique. Elle a pour objectif central damener les étudiants à intégrer des compétences issues de plusieurs champs scientifiques pour une étude appliquée à la musique. Basée sur une pédagogie par projet, elle contribuera à lapprentissage du travail en groupe et permettra à l'étudiant développer ses compétences dans une orientation choisie. Enfin, elle ouvrira sur des recherches récentes, notamment en se basant sur des publications du domaine, dont les étudiants pourront être amenés à intégrer les éléments dans un projet.
Nom : Informatique musicale
Acronyme : MI
Porteur : Carlos Agon
Descriptif :
Lobjectif de cette UE, de la thématique IM, est de développer une bonne compréhension et/ou maîtrise des principaux outils informatiques spécifiques à la musique, tant en termes de représentation symbolique que de langages de programmation. Il sagit en effet damener les étudiants à une bonne connaissance des différentes représentations symboliques des structures musicales, de développer la maîtrise quils ont du protocole midi dans lanalyse et la génération de la musique, mais aussi de les amener à identifier les différents langages de programmation pour la musique (temps réel / temps différé). Enfin, cette UE doit amener les étudiants à utiliser des outils issus du calcul algébrique (théorie des mots et des groupes) pour formaliser des structures et processus musicaux.
Les notions abordées sont :
Analyse et génération des fichiers midi ;
Apprentissage automatique ;
Systèmes réactifs temps réel ;
Langages de programmation pour la CAO ;
Modèles mathématiques pour linformatique musicale.
Nom : Ingénierie Dirigée par les Modèles
Acronyme : IDM
Porteur : Reda Bendraou
Descriptif :
(UE de la thématique SC) L'Ingénierie Dirigée par les Modèles (IDM), s'est imposée aujourd'hui comme une évolution logique des démarches classiques de programmation et de réalisation de logiciels. La complexité et l'hétérogénéité accrues des systèmes y sont abordées par une montée en abstraction grâce à l'utilisation de modèles. Ainsi, il s'agit d'engendrer tout ou partie du code d'un système à partir de plusieurs modèles représentant ses différents aspects (structurel, comportemental, persistance, sécurité, GUI, etc.). Se posent alors les problèmes de concevoir les langages de modélisation adéquats selon le domaine applicatif, de leur fournir une sémantique formelle à des fins d'analyse et de vérification, de proposer des techniques et des outils afin d'assurer le raffinement, la transformation, et la composition de modèles instances de ces langages ainsi que des générateurs de code fiables et certifiés. Cette UE propose d'aborder tous ces aspects en présentant les nouvelles approches et outils dans le domaine de la modélisation et de la génération de code.
Nom : Noyaux Multi-coeurs et Virtualisation
Acronyme : NMV
Porteur : Gaël Thomas
Descriptif :
Le but de cette UE, de la thématique OS, est d'approfondir les connaissances des étudiants sur les noyaux des systèmes d'exploitation au travers de l'étude des dernières avancées du domaine. Elle présentera d'un point de vue théorique et d'un point de vue pratique la virtualisation logicielle et les systèmes pour les architectures multi-curs, en se focalisant sur les aspects algorithmiques, architecturaux et d'implémentation de ces systèmes.
Nom : Programmation pour Plates-formes Mobiles
Acronyme : PPM
Porteur : Fabrice Kordon
Descriptif :
Cette unité d'enseignement, de la thématique AP, est consacrée à la programmation sur plates-formes mobiles. Les cours abordent successivement les principaux mécanismes offerts par les environnements majeurs pour le développement d'applications embarquées sur des terminaux mobiles de type "smartphone". Un parallèle avec la problématique du développement de systèmes embarqués est également fait car les ressources de ce type de terminaux, tant en mémoire qu'en processeur, sont limitées.
Nom : Sûreté de fonctionnement
Acronyme : SF
Porteur : Emmanuelle Encrenaz-Tiphène
Descriptif :
La conception de systèmes critiques nécessite l'usage de méthodes formelles pour garantir des propriétés de bon fonctionnement. En s'appuyant sur les langages synchrones et des outils de conception/vérification associés, cette UE, de la thématique SC, présente le flot de conception et les méthodes de vérification mises en uvre :
langage Lustre, compilation en automates (machines de Mealy), structures de Kripke,
propriétés de sûreté et de vivacité, logiques temporelles, observateurs,
algorithmes de model-checking, méthodes symboliques et abstractions,
systèmes temporisés.
Des travaux sur machines sont prévus pour illustrer ces méthodes, avec différents outils (par exemple lustre/xlesar, Uppaal, etc.). Des applications de ces méthodes à la vérification de systèmes matériels et de propriétés de sécurité pourront être présentées.
M2S4
Nom : Stage de fin détudes
Acronyme : Stage
Porteurs :
Descriptif :
Le stage de fin détudes sétend sur tout le second semestre et peut seffectuer dans un laboratoire de recherche ou dans une entreprise.
Annexe de la spécialité SESI
Equipe pédagogique de la spécialité SESI
Le tableau ci-dessous donne la liste et la qualité des enseignants (académiques ou industriels) intervenant au sein de la spécialité SESI.
Nom, PrénomQualitéEtablissement dappartenanceAboushady, HassanMCF HDRLIP6 - UPMCAlexandre, AnnickMCFLIP6 - UPMCBazargan-Sabet, PirouzMCFLIP6 - UPMCChaput, Jean-PaulIELIP6 - UPMCChotin-Avot, RoselyneMCFLIP6 - UPMCDenoulet, JulienMCFLIP6 - UPMCDesbarbieux, Jean-LouMCFLIP6 - UPMCDrach-Temam, NathaliePRLIP6 - UPMCEncrenaz, EmmanuelleMCF HDRLIP6 - UPMCFeruglio, SylvainMCFLIP6 - UPMCGalayko, DimitriMCFLIP6 - UPMCGarda, PatrickPRLIP6 - UPMCGenius, DanielaMCFLIP6 - UPMCGreiner, AlainPRLIP6 - UPMCHachicha, Khalil MCFLIP6 - UPMCHeydemann, Karine MCFLIP6 - UPMCIskander, RamyMCFLIP6 - UPMCKlisnick, GeoffroyMCFL2E - UPMCLeduc, YvesINDUSTexas InstrumentsLouërat, Marie-MinerveCRLIP6 - UPMCLoumeau, PatrickPRLTCI - Télécom ParisTechManez, NuriaINDUSStagoMehrez, HabibPRLIP6 - UPMCMeunier, QuentinMCFLIP6 - UPMCMigan, AnneMCF HDRLGEP - UPMCMunier, AlixPRLIP6 - UPMCNaviner, LiridaPRLTCI - Télécom ParisTechPêcheux, FrançoisMCF HDRLIP6 - UPMCPinna, AndreaMCFLIP6 - UPMCRenault, PatriciaMCFLIP6 - UPMCTalleb, HakeimMCFL2E - UPMCTuna, MatthieuMCFFlexRASVallette, FaroukMCFLIP6 - UPMCWajsbürt, FranckMCFLIP6 - UPMC
Contenu des UE de la spécialité SESI
Cette section décrit le contenu des UE listées dans le document principal du dossier dhabilitation, dans la présentation de la spécialité SESI.
M1S1
Nom : Architecture des processeurs RISC
Acronyme : ARCHI1
Porteur : P. Bazargan-Sabet
Descriptif :
Cette UE (obligatoire, pré-requis pour le S2) présente l'architecture interne des processeurs RISC en mettant l'accent sur l'exécution des instructions par le pipeline. L'UE introduit également les mécanismes de hiérarchie mémoire (cache) et les techniques d'optimisation de code.
Nom : Introduction à la conception VLSI de circuits numériques
Acronyme : VLSI1
Porteur : J.-L. Desbarbieux
Descriptif :
Cette UE (obligatoire, pré-requis pour le S2) a pour objectif, en partant d'une spécification papier, de présenter toutes les étapes nécessaires à la réalisation d'un circuit intégré numérique. Sont notamment abordés: La description comportementale en VHDL, la mise en place d'un jeu de test, le découpage structurel, la description en portes des blocs constitutifs de l'architecture, le placement et le routage du circuit, avant une phase de vérification des masques obtenus: Vérification fonctionnelle, vérification des règles de dessin et caractérisation temporelle du circuit.
Nom : Électronique des circuits analogiques
Acronyme : ELECANA1
Porteur : F. Vallette
Descriptif :
Cette UE aborde la structure et les caractéristiques des circuits intégrés analogiques (architecture et analyse des fonctionnalités). La modélisation et la simulation des circuits analogiques/mixtes à l'aide du langage VHDL-AMS sera abordée dans cette UE.
Nom : Modélisation objet pour la conception de circuit
Acronyme : MOBJ
Porteur : J.-P. Chaput
Descriptif :
Cette UE offerte en priorité aux étudiants provenant d'une licence d'électronique a pour objectif l'introduction à la structuration objet (absente en licence d'électronique). L'UE sera orientée dans ses applications vers la modélisation et la réalisation de circuits intégrés. Le C++ sera utilisé comme langage support.
Nom : Traitement du signal
Acronyme : SIGNAL
Porteur : H. Aboushady
Descriptif :
Cette UE présente aux étudiants les bases du traitement du signal (signaux discrets/échantillonnés), du filtrage (en particulier numérique), et de la modulation de signaux. Le contenu détaillé de cette UE a été défini en concertation avec l'équipe enseignante de la spécialité RES dans l'objectif d'être adapté aux deux publics.
M1S2
Nom : Implantation matérielle et logicielle des algorithmes de traitement du signal
Acronyme : ANUMDSP
Porteur : H. Mehrez
Descriptif :
Cette UE vise l'étude des techniques d'adéquation algorithme architecture pour les algorithmes numériques de traitement du signal et d'image. Pratiquement, elle permettra de pouvoir effectuer les meilleurs compromis d'implantation, dans un premier temps, sur des architectures matérielles spécifiques, puis, dans un second temps, de façon logicielle sur un processeur DSP. Les deux parties seront illustrées par deux micro-projets réels à réaliser en TP.
Nom : Architecture des systèmes multiprocesseurs
Acronyme : ARCHI2
Porteur : A. Greiner
Descriptif :
Cette UE analyse les difficultés liées à la cohérence entre la mémoire et les caches dans le cas de données partagées, les problèmes posés par le partage des périphériques ainsi que les mécanismes matériels supportant la communication et la synchronisation entre les tâches concurrentes dans les applications parallèles multi-tâches. Elle présente les différents mécanismes matériels utilisés par le système d'exploitation, pour fournir aux applications logicielles les différents services nécessaires : virtualisation de la mémoire, des périphériques, ou de la machine dans son ensemble.
Nom : Systèmes électroniques et fonctions analogiques
Acronyme : ELECANA2
Porteurs : H. Aboushady, G. Klisnick
Descriptif :
Cette UE présente les fonctions et systèmes de l'électronique analogique, apparaissant dans des ensembles simples ou complexes (alimentations, boucles à verrouillage de phase, conversion A/N). Elle propose également une initiation à la conception de circuits analogiques.
Nom : Systèmes programmables
Acronyme : FPGA1
Porteur : J. Denoulet
Descriptif :
Cette UE traite de l'implémentation de systèmes numériques sur plates-formes reconfigurables FPGA. Les thèmes abordés sont la modélisation VHDL comportementale, le développement d'IP matérielles (partie opérative/contrôle), la technologie des circuits FPGA et une introduction à la conception conjointe matérielle/logicielle
Nom : Programmation des périphériques
Acronyme : PERI
Porteur : F. Pêcheux
Descriptif :
Cette UE porte sur deux aspects de la gestion des périphériques~:
L'utilisation et l'écriture de drivers génériques de périphériques pour le système Linux (modules noyau caractère et USB).
La réalisation matérielle et logicielle d'un système embarqué (lecteur MP3 à base de processeur ARM ou Arduino avec interface graphique, carte mémoire, décodeur MP3 matériel, port USB) s'interfaçant avec le système Linux.
Les applications abordées (domotique, réseau de capteurs sans fil, lecteur mp3) ne demandent aucun pré-requis en électronique.
Nom : Projet M1 SESI (UE mutualisée pour tout le M1)
Acronyme : Projet
Porteur : E. Encrenaz
Descriptif :
Cette UE est un projet long, dont le but est de travailler sur un problème spécifique pendant tout un semestre. Les sujets proposés sont différents d'une année sur l'autre et permettent aux étudiants de travailler seuls ou en binôme (sous l'encadrement d'un enseignant), et de mener, de bout en bout, leur projet.
L'évaluation du projet est faite par un jury de la spécialité et repose sur 3 éléments principaux~:
Un rapport et une présentation de spécification se déroulant après le premier moi de projet
Un rapport et une présentation finale
L'appréciation de l'encadrant
Pour SESI cette UE n'est pas obligatoire pour peu que l'étudiant suive à ce semestre une UE ayant un caractère très appliqué et donnant lieu à une réalisation pratique de complexité significative.
M2S3
Nom : Modélisation des systèmes embarqués sur puce
Acronyme : MSOC
Porteur : F.Pêcheux
Descriptif :
Cette UE obligatoire porte sur le Prototypage Virtuel (modélisation, simulation et vérification) des systèmes électroniques et informatiques à différents niveaux d'abstraction. L'utilisation des langages de modélisation sera développée mais aussi les modèles de calculs qui leurs sont associés. Les étudiants seront sensibilisés à la problématique du test fonctionnel d'un système complexe, et une introduction aux techniques formelles leur sera présentée. Une large place sera faite à la présentation du langage Système C et de ses dérivées pour les systèmes hétérogènes et multi-physiques.
Nom : Architectures des processeurs hautes performances et du futur
Acronyme : ARCHI3
Porteur : N. Drach-Temam
Descriptif :
Dans un premier temps cette UE présentera les spécificités des architectures hautes performances: Exécution désordonnée, exécution spéculative, prédiction de branchement, renommage des registres, SMT, CMP... Dans un second temps seront abordées les architectures spécialisées (GPU) mais aussi les différentes branches explorées et qui pourraient devenir les architectures de demain. Cette UE abordera également la génération et l'optimisation de code pour la performance mais aussi pour le respect de contraintes embarquées ainsi que l'évaluation de la performance des applications parallèles.
Nom : Architectures massivement multi-curs
Acronyme : ARCHI4
Porteur : A. Greiner
Descriptif :
Cette UE présente les principes fondamentaux des architectures matérielles massivement multi-processeurs (plusieurs milliers de curs) construites autour d'un espace d'adresse partagé et une mémoire et des ressources de calcul physiquement distribuées. Elle analyse les problèmes liés aux communications (micro-réseaux intégrés sur puce), à la synchronisation (verrous et accès atomiques), aux mécanismes matériels permettant de supporter la mémoire virtuelle, et aux techniques permettant de garantir la cohérence des caches. Le problème du déploiement efficace d'applications sur ces architectures sera également traité et analysé finement en exploitant la plate-forme de prototypage de l'architecture TSAR.
Nom : Consommation, bruit et intégrité du signal
Acronyme : CBIS
Porteur : F. Vallette
Descriptif :
Cette UE propose de sensibiliser les étudiants aux problématiques de la consommation dans les systèmes embarqués (estimation, gestion et optimisation de la consommation), du bruit (origines des bruits intrinsèques, paramètres de bruit, calculs et techniques de conception bas bruit) et de l'intégrité du signal (lignes de transmission, diaphonie, signaux parasites, CEM).
Nom : Circuits pour les communications numériques
Acronyme : CCN
Porteur : H. Aboushady
Descriptif :
Dans ce module nous étudierons les différentes architectures de récepteurs RF pour les normes de communications sans fil (2G, 3G, 4G, WiFi, Bluetooth). Nous nous concentrerons sur les architectures dédiées a une intégration sur puce avec des technologies CMOS. Les spécifications en bruit et en linéarité des différents blocs RF et leur influence sur les performances d'un récepteur RF complet sera étudiées. La conception au niveau transistors CMOS des différents blocs d'un récepteur RF seront étudies en détails: Amplificateur Faible Bruit (LNA), Mélangeur, boucle a verrouillage de phase (PLL), filtres, convertisseur analogique numérique. Les circuits numériques de traitement de signal en bande de bases seront également abordés.
Nom : Circuits analogiques : méthodes de synthèse et outils
Acronyme : ELECANA3
Porteur : M.-M. Louerat
Descriptif :
Cette UE permet de former les étudiants aux méthodes et outils de conception analogique, notamment : modélisation compacte des transistors MOS, technologies CMOS récentes, principe de fonctionnement du simulateur SPICE, représentation du transistor MOS dans un simulateur SPICE, analyses des performances d'un circuit analogique. Nous appliquerons ces méthodes à la conception de différentes architectures de convertisseurs analogique-numérique en utilisant des outils académiques et industriels.
Nom : Platform Based Design & High Level Synthesis
Acronyme : FPGA2
Porteur : A. Pinna
Descriptif :
Cette UE forme les étudiants d'une part à la conception avancée de systèmes programmables sur puce (SOPC), notamment au travers d'un projet de conception conjointe HW/SW sur plate-forme FPGA, et d'autre part à la synthèse haut niveau (HLS), aux méthodes et outils pour passer d'une description haut niveau d'une application à son implémentation matérielle
Nom : OS et applications sur plates-formes embarquées et multi-coeurs
Acronyme : OSEM
Porteur : K.Hachicha, F. Wajsburt
Descriptif :
Cette UE abordera la programmation dapplications et létude de systèmes dexploitation pour des plates-formes matérielles contraintes. Seront abordés dans cette UE le développement dapplication pour des plates-formes mobiles sous Android, les contraintes des systèmes embarqués, les caractéristiques des systèmes pour architecture massivement multi-curs, les goulets détranglement des OS généralistes sur ce type de plate-forme.
Nom : Systèmes embarqués et environnements industriels
Acronyme : SEEI
Porteur : S. Feruglio
Descriptif :
Cette UE permet de sensibiliser les étudiants à un certain nombre de problématiques industrielles dans des secteurs tels que l'avionique, l'automobile, la bionique et les Systèmes Micro Electro-Mécaniques (MEMS). Les interventions seront largement assurées par des acteurs du monde industriel et comprendront conférences et études de cas. L'UE formera également les étudiants à la recherche bibliographique
Nom : Conception de circuits numériques avancée
Acronyme : VLSI2
Porteur : P. Bazargan-Sabet
Descriptif :
L'objectif de cette UE est de présenter de manière concrète la réalisation d'un circuit VLSI complexe. On prendra comme exemple le processeur Mips-32. D'un côté, on présente la méthode de conception des circuits numériques modernes et les outils qui permettent de concevoir ces circuits et d'en vérifier la réalisation pour les technologies de fabrication récentes. De l'autre côté, on détaille les techniques de réalisation qui permettent d'atteindre les objectifs de performance.
M2S4
Nom : Stage de fin détudes
Acronyme : Stage
Porteurs :
Descriptif :
Le stage de fin détudes sétend sur tout le second semestre et peut seffectuer dans un laboratoire de recherche ou dans une entreprise.
Annexe de la spécialité SFPN
Equipe pédagogique de la spécialité SFPN
Le tableau ci-dessous donne la liste et la qualité des enseignants (académiques ou industriels) intervenant au sein de la spécialité SFPN.
Nom, PrénomQualitéÉtablissement (équipe)Bajard, Jean-ClaudePRLIP6 - UPMCBerthomieu, JérémyMCFLIP6 - UPMCChesneaux, Jean-MariePRLIP6 - UPMCFaugère, Jean-CharlesDRLIP6 - INRIAFortin, PierreMCFLIP6 - UPMCGraillat, StefMCFLIP6 - UPMCHilaire, Thibault MCFLIP6 - UPMCJézéquiel, Fabienne MCF HDRLIP6 - UPMCLamotte, Jean-LucPRLIP6 - UPMCLauter, ChristophMCFLIP6 - UPMCMénissier-Morain, ValérieMCF LIP6 - UPMCPerret, LudovicMCFLIP6 - UPMCRenault, GuénaëlMCFLIP6 - UPMCSafey-El-Din, MohabPRLIP6 - UPMCTsigaridas, EliasCRLIP6 - INRIA
Contenu des UE de la spécialité SFPN
Cette section décrit le contenu des UE listées dans le document principal du dossier dhabilitation, dans la présentation de la spécialité SFPN.
M1S1
Nom : Modélisations numériques et symboliques
Acronyme : MODEL
Porteur : Stef Graillat
Descriptif :
Dans cette UE, on étudiera les grands paradigmes de résolution numériques et symboliques des problèmes algorithmiques standards se posant en calcul scientifique. Ces études se feront au travers de problématiques liées à la sécurisation des données et leur transmission, la fouille de données, l'imagerie, ou encore la robotique. Les réalisations pratiques s'effectueront par l'utilisation des logiciels Matlab et Maple utilises dans l'industrie.
Nom : Complexité, Algorithmes Probabilistes et Approchés
Acronyme : COMPLEX
Porteurs : Fanny Pascual et Ludovic Perret
Descriptif :
Dans cette UE, nous nous intéresserons aux ressources de calcul (temps, espace mémoire, ...) nécessaires pour résoudre les problèmes algorithmiques. Nous tâcherons en particulier de distinguer les problèmes dits "faciles", que l'on peut résoudre avec une quantité raisonnable de ressources (problèmes dont la complexité est une fonction polynomiale de la taille du problème), des problèmes dits "difficiles", qui sont hors de portée des ordinateurs existants, ou même des ordinateurs à venir (problèmes exponentiels). Nous introduirons les classes de complexité fondamentales P et NP et nous définirons la NP-complétude. La plupart des problèmes algorithmiques rencontrés en pratique sont NP-difficiles. Nous nous intéresserons alors aux compromis et relations entre différents "modes" de calculs : que se passe-t-il si l'on s'autorise à utiliser des algorithmes probabilistes, si l'on est satisfait de solutions approchées plutôt qu'exactes, si l'on est satisfait d'un algorithme qui marche seulement pour la plupart des entrées possibles, mais pas pour toutes, etc.). Ce cours introduira quelques techniques d'algorithmes d'approximation et de randomisation permettant de contourner la difficulté de résolution des problèmes difficiles, et permettant ainsi leur application en pratique avec des temps de calcul raisonnables (algorithme de type Las Vegas, Monte Carlo, approximation avec garantie de performance, etc.). Ces algorithmes seront illustrés sur un éventail de problèmes concrets relevant de diverses spécialités du master.
M1S2
Nom : Fondements de l'Algorithmique Algébrique
Acronyme : FLAG
Porteur : Mohab Safey El Din
Descriptif :
Dans cette UE, on étudiera les algorithmes algébriques fondamentaux traitant de problèmes arithmétiques sur les polynômes et les séries, l'algèbre linéaire, et la résolution de systèmes algébriques en deux variables. Une attention particulière sera portée aux algorithmes de complexité asymptotiquement rapides. Les notions vues dans cette UE sont fortement utilisées dans diverses branches de la cryptologie (cryptanalyse, courbes elliptiques et hyperelliptiques), la théorie des codes correcteurs d'erreurs, ainsi qu'en calcul formel.
Nom : Programmation parallèle
Acronyme : PPAR
Porteur : Jean-Luc Lamotte
Descriptif :
Cette UE a vocation à introduire les bases de la programmation parallèle. Les points suivants seront abordés : architecture des machines parallèles, algorithmique parallèle, parallélisme de données et de tâches, décomposition et équilibrage de charge, outils standards de parallélisation sur machines à mémoire distribuée ou partagée, programmation mixte multi-thread / multi-processus, introduction à la parallélisation automatique, techniques d'optimisation de code pour la haute performance. Mise en pratique sur une application réelle (mini projet).
Nom : Introduction à la Sécurité
Acronyme : ISEC
Porteurs : Ludovic Perret et Jean Leneutre
Descriptif :
L'objectif de cette UE est de présenter les concepts fondamentaux de la sécurité des systèmes information et des réseaux, ainsi qu'un panorama des différents chapitres de la sécurité. Cette UE fournira une introduction à la sécurité des systèmes d'information et des réseaux dans sa globalité en présentant les concepts fondamentaux de la sécurité, un panorama des menaces, des fonctions et mécanismes de sécurité. En particulier, l'UE ISEC comportera une introduction aux outils cryptographiques utilisés par un grand nombre de mécanismes de sécurité afin de garantir la confidentialité, l'intégrité ou l'authenticité d'une information.
Nom : Représentation des Nombres et Algorithmique
Acronyme : RNA
Porteur : Jean-Claude Bajard
Descriptif :
Points abordés dans cette UE :
Représentation IEEE 754, algorithmes de base ;
Systèmes redondants de représentation à base de chiffres signés (addition sans propagation des nombres, calcul online...) ;
Non Adjacent Form (recodage de Booth, exponentiation,...) ;
Systèmes modulaires, Residue Number System (multiplication modulaire,...) ;
Bases Adaptées au calcul modulaire (Réseaux Euclidiens, bases réduites, vecteurs proches...) ;
Cryptographie : Arithmétiques résistantes aux attaques par canaux cachés, Détection de fautes, Arithmétique sur les corps finis.
Nom : Projet M1 SFPN (UE mutualisée pour tout le M1)
Acronyme : Projet
Porteur : Valérie Ménissier-Morain
Descriptif :
Cette UE est un projet long, dont le but est de travailler sur un problème lié à la sécurité ou le calcul informatique pendant tout un semestre. Les problèmes proposés sont différents d'une année sur l'autre et permettent aux étudiants de travailler seuls (sous l'encadrement d'un enseignant), et de mener, de bout en bout, leur projet. Le travail est évalué par l'encadrant, et l'étudiant doit rendre un rapport écrit et faire une présentation orale en fin de semestre.
M2S3
Nom : Polynomial System Solving
Acronyme : PoSSo
Porteur : Jean-Charles Faugère
Descriptif :
Les systèmes polynomiaux modélisent des situations statiques non linéaires. Leur résolution est donc plus délicate que la résolution des systèmes linéaires mais néanmoins cruciales puisque ces systèmes apparaissent naturellement en cryptologie et diverses sciences de l'ingénieur (robotique, biologie, chimie, vision artificielle, etc.). Dans cette UE, on étudiera des algorithmes efficaces permettant de résoudre de tels systèmes et des exemples d'applications seront étudiés.
Nom : Calcul Haute Performance (S3)
Acronyme : CHP
Porteur : Pierre Fortin
Descriptif :
Cette UE a vocation à introduire les méthodes et techniques de programmation et de parallélisation avancées pour le calcul haute performance. Les points suivants seront abordés : calcul hybride sur architectures massivement parallèles (GPU...), introduction aux langages standards pour le calcul haute performance (extensions de langage et directives de compilation), optimisation de code dans un contexte hétérogène : multi-architecture et multi-paradigme, programmation SIMD, grille de calcul, algorithmique asynchrone. Mise en pratique sur une application réelle (projet).
Nom : Cryptologie Avancée et Appliquée
Acronyme : CAA
Porteur : Guénaël Renault
Descriptif :
Dans cette UE, on se propose de présenter les moyens algorithmiques permettant de sécuriser les données numériques (chiffrement, signature, authentification etc.) à l'aide des cryptosystèmes à clé publique les plus récents ou largement utilisés dans l'industrie. Les algorithmes les plus efficaces permettant leur évaluation (cryptanalyse) seront aussi présentés et des versions plus simples seront mises en pratique. Par exemple, on étudiera l'utilisation des courbes elliptiques en cryptographie et les meilleurs algorithmes permettant de résoudre le problème mathématique sous-jacent. Aussi, en restant à un haut niveau, nous présenterons l'utilisation de tels cryptosystèmes dans le cadre de la carte à puce.
Nom : Arithmétique Flottante et Analyse d'Erreurs
Acronyme : AFAE
Porteur : Christoph Lauter
Descriptif :
Cette UE est à l'intersection de l'algorithmique et des mathématiques. L'un des objectifs est de maîtriser les concepts liés aux erreurs d'arrondi et à leurs conséquences ainsi que d'apprendre à effectuer une analyse globale de qualité numérique pour tout code de simulation numérique. Nous présenterons l'arithmétique à virgule flottante (norme IEEE 754) des ordinateurs et ses conséquences sur les résultats numériques de codes de calcul scientifique. De même que la théorie et pratique des méthodes d'estimation ou de majoration de l'erreur d'arrondi en générale en utilisant en particulier l'arithmétique d'intervalle, l'arithmétique stochastique discrète et les méthodes compensées. Une présentation de la théorie du calcul des fonctions élémentaires sera aussi proposée.
Nom : Attaques Side Channel
Acronyme : SCA
Porteur : Pirouz Bazargan-Sabet et Guénaël Renault
Descriptif :
Les implémentations de protocoles cryptographiques peuvent reposés sur des algorithmes mathématiques supposés surs qu'ils ne sont pas moins vulnérables à des attaques liées aux matériels sur lesquels ils sont déployés. Le but de cette UE est de montrer comment des informations obtenues en effectuant des mesures physiques (consommation électrique, émanation magnétique, etc) lors de l'exécution de circuits intégrés permettent de retrouver les secrets de tels protocoles et ainsi mettre à mal la sécurité escomptée. Des rappels d'électronique et d'analyse des signaux seront prodiguées afin de comprendre et d'expérimenter de telles attaques et des contremesures seront aussi présentées. Des acteurs du monde industriel (cartes à puces) et des instituts gouvernementaux pourront intervenir lors de ce cours.
M2S4
Nom : Stage de fin détudes
Acronyme : Stage
Porteurs :
Descriptif :
Le stage de fin détudes sétend sur tout le second semestre et peut seffectuer dans un laboratoire de recherche ou dans une entreprise.
Annexe de la spécialité STL
Equipe pédagogique de la spécialité STL
Le tableau ci-dessous donne la liste et la qualité des enseignants (académiques ou industriels) intervenant au sein de la spécialité STL au 1er octobre 2012. On ne liste pas les enseignants dont les cours actuellement en STL se retrouveront dans la spécialité SFPN.
QualitéNom et organisme dappartenance des intervenantsPRC. Agon (Ircam), E. Chailloux, S. Doncieux (Isir), J. Malenfant, O. Sigaud (Isir), C. Queinnec, M. SoriaMC P. Aubry, R. Bendraou, C. Besse, M. Cheminaud, A. Genitrini, K. Heydemann, L-M. Hillah, T. Lieu (Ufr), P. Manoury (PPS), G. Nowak, M. Pelletier, F. Peschanski, P. Trébuchet, Y. Thiery-Meig, P. Weng, T. ZiadiDRM. Serrano (Inria)CRB-M. Bui-Xuan, T. Rezk (Inria), O. Bouissou (CEA)IRB. Lesueur (DSI UPMC)IndustrielsB. Beaupuy-Mouret (Expertime), X. Fornari (Esterel-technologies), C. Molly (Exakis), G. Pugnet (Avanade), J-Y. Rigolet (IBM), S. Zennou (EADS)
Les intervenants sont tous membres du LIP6, sauf mention contraire.
Contenu des UE de la spécialité STL
Cette section décrit le contenu des UE listées dans le document principal du dossier dhabilitation, dans la présentation de la spécialité STL.
Pour chaque semestre sont présentées dans cette annexe les UE proposées par la spécialité STL.
Deux UE de M1/S1 peuvent être considérées comme obligatoires car pré-requises à une inscription au semestre 2 dans la spécialité. Les autres UE peuvent être choisies librement par les étudiants, en fonction de leur projet professionnel.
M1S1
Nom : Algorithmique Avancée
Acronyme : ALGAV
Porteur : M. Soria
Descriptif :
L'objectif de ce cours (obligatoire, pré-requis pour le S2) est de montrer comment l'utilisation de structures de données avancées (files de priorité, arbres de recherche, hachage, arbres digitaux) permet d'optimiser les performances des algorithmes dans des domaines d'application variés comme la gestion et la compression de données massives.
Nom : Développement dun Langage de Programmation
Acronyme : DLP
Porteur : C. Queinnec
Descriptif :
Ce cours (obligatoire, pré-requis pour le S2) définit une succession grandissante de langages de programmation de la classe de JavaScript dont la syntaxe est XML. Interprète et compilateur sont écrits en Java, le compilateur produit du C: il y a donc un langage différent pour les divers aspects de la chaîne de compilation. Ce cours détaille également la construction incrémentielle de ces évaluateurs, leurs tests et exerce les facultés de lecture de code.
Nom : Ingénierie Logicielle
Acronyme : IL
Porteur : Y. Thierry-Mieg
Descriptif :
L'UE est conçue pour que les étudiants puissent acquérir à la fois des connaissances concernant les processus de développement du logiciel, la modélisation et l'architecture des systèmes à dominante logicielle en UML, les patrons de conception, l'analyse et la conception orientées objet, les techniques de tests et de validation des logiciels, la métrologie du logiciel et de son processus de développement, les componentiels, la mise en uvre d'un environnement industriel de développement de logiciel ou la rédaction de la documentation technique d'un logiciel. L'UE donne un aperçu des concepts, formalismes, méthodes et outils de spécification, de conception, de vérification et de réalisation de systèmes informatiques complexes aussi bien développés dans un contexte industriel qu'un contexte recherche.
M1S2
Nom : Analyse des Programmes et Sémantique
Acronyme : APS
Porteur : J. Malenfant
Descriptif :
Etude de différentes formes de sémantique des langages de programmation et d'analyses statiques des programmes. S'appuyant sur une première introduction à ces concepts, mais tout en restant accessible sans préalable, cette unité d'enseignement consolide les connaissances des étudiants dans le domaine de la spécification formelle et des langages de programmation et du traitement des programmes. L'utilisation d'outils pratiques (sémantiques exécutables, programmation effective) pour explorer ces concepts facilitera l'acquisition des connaissances par les étudiants.
Nom : Compilation Avancée
Acronyme : CA
Porteur : E. Chailloux
Descriptif :
Ce cours a un double objectif. D'une part on étudie la compilation de structures de contrôle de haut niveau (fermetures, exceptions, etc.) vers du code pour machines virtuelles ainsi que l'implantation de celles-ci en s'intéressant particulièrement à la gestion automatique de mémoire. D'autre part on effectue le passage au code natif en appliquant des méthodes d'analyse et d'optimisation du code engendré.
Nom : Conception Pratique de lAlgorithmique
Acronyme : CPA
Porteur : P. Trébuchet
Descriptif :
Cette UE consiste en l'étude et la mise en uvre efficace d'algorithmes usuels, i.e. non triviaux, en développement logiciel. Le spectre des problèmes abordés couvrira un vaste panorama allant du traitement de texte à la géométrie algorithmique. On étudiera tout autant le fondement structurel de ces domaines que solutions algorithmiques et un soin particulier sera pris pour leur implantation dans des langages de programmation modernes.
Nom : Composants
Acronyme : CPS
Porteur : F. Peschanski
Descriptif :
La complexité croissante des systèmes informatiques et leur évolution de plus en plus rapide suscitent un intérêt accru pour le développement logiciel à base de composants réutilisables. Cet intérêt est principalement motivé par la réduction des coûts de développement et l'augmentation de la fiabilité du logiciel. Cet enseignement propose d'étudier les concepts sous-jacents de la conception basée sur les composants (component-based software engineering ou CBSE). On s'intéresse en particulier à la modélisation précise -semi-formelle- des services requis et fournis par les composants. Pour relier ces modèles au code d'implémentation, les principes de la conception par contrat sont étudiés et mis en uvre. La problématique de validation des implémentations vis-à-vis de leurs contrats est également abordée : validation informelle dans le cadre du test basé sur les modèles (model-based testing MBT) puis validation formelle en logique de Hoare. Finalement, nous abordons la problématique complexe de la modélisation et de la vérification des aspects concurrents dans les systèmes multi-threadés.
Nom : Programmation Concurrente, Réactive et Répartie
Acronyme : PC2R
Porteur : T. Lieu
Descriptif :
L'objectif de ce cours est de comprendre la programmation concurrente et son utilisation pour l'expression d'algorithmes dans les modèles à mémoire partagée, distincte et répartie. Dans le modèle à mémoire partagée, on s'intéresse aux modèles de threads coopératifs et préemptifs puis à la programmation réactive pour récupérer la propriété de déterminisme. Dans le modèle à mémoire répartie on cherche à maîtriser le modèle client/serveur et de savoir déployer des objets répartis.
Nom : Projet M1 STL (UE mutualisée pour tout le M1)
Acronyme : Projet
Porteur : M. Pelletier
Descriptif :
Réalisation dun projet en équipe sur un sujet proposé par la spécialité ou dans un cadre inter-spécialité. Le projet donne lieu à une soutenance et à un rapport. Des rapports intermédiaires peuvent être demandés en fonction des sujets.
M2S3
Nom : Analyse dAlgorithmes et Génération Aléatoire
Acronyme : AAGA
Porteur : M. Soria
Descriptif :
Ce cours introduit des méthodes pour étudier la complexité moyenne des algorithmes et la génération aléatoire de structures combinatoires. Divers types d'applications seront traitées, en liaison avec les structures arborescentes et l'algorithmique probabiliste.
Nom : Architectures Logicielles Avancées pour les Systèmes Complexes auto-Adaptatifs
Acronyme : ALASCA
Porteur : J. Malenfant
Descriptif :
Etude des architectures logicielles appliquées aux systèmes informatiques complexes auto-adaptatifs, de leurs concepts, théories, techniques et méthodologies. Applications aux architectures auto-adaptatives à base de composants et fondées sur les services, aux architectures pour la robotique autonome, pour l'informatique autonomique, pour les systèmes cyber-physiques et plus généralement pour les systèmes embarqués et répartis à grande échelle.
Nom : Développement dApplications Réticulaires
Acronyme : DAR
Porteur : C. Queinnec
Descriptif :
Des bases du protocole HTTP jusqu'à la programmation côté clients et serveurs, les communications, la sécurisation et le test de ces applications. Ce cours utilise principalement Javascript et des architectures logicielles récentes (jQuery, Backbone, nodes, etc.).
Nom : Gestion de Projet STL
Acronyme : GPSTL
Porteur : O. Sigaud
Descriptif :
Réalisation d'un projet informatique, de l'étude préalable au démonstrateur, par des équipes de six à dix étudiant(e)s, avec pour objectif non seulement la mise en application des concepts, techniques et outils du développement d'applications logicielles, mais aussi la mise en uvre des compétences transversales requises pour la conduite de projet, le travail en équipe, la communication et le partage des informations, le respect des délais, le souci de la qualité du livrable et de sa documentation. Ce projet nécessite un encadrement spécifique et important, par des enseignants-chercheurs et des professionnels de l'industrie, et avec les méthodes de lAPP (Approche par Problèmes et par Projets). En raison des profils d'emploi visés, les thèmes principaux de ce projet sont la modélisation, le développement logiciel, et les bases de données.
Nom : Groupe de Recherche en Algorithmique
Acronyme : GRAL
Porteur : A. Genitrini
Descriptif :
Techniques de base pour la recherche dans le domaine de l'algorithmique : étude bibliographique, présentation scientifique, synthèse de séminaire, rédaction d'états de l'art. Compléments de cours.
Nom : Groupe de Recherche en Programmation
Acronyme : GRP
Porteur : F. Peschanski
Descriptif :
Techniques de base pour la recherche dans le domaine de la programmation: étude bibliographique, présentation scientifique, synthèse de séminaire, rédaction d'états de l'art. Compléments de cours.
Nom : Projet dingénierie STL
Acronyme : PiSTL
Porteur : J. Malenfant
Descriptif :
Projets d'ingénierie visant la production d'applications logicielles, réalisés en équipe et mettant en uvre des outils de développement typiques des bonnes pratiques en ingénierie logicielle dans l'industrie. Adoptant une approche pédagogique dite par projets, les enseignements dispensés dans cette UE seront intégrés à la réalisation du projet, en réponse aux besoins suscités par ce dernier.
Nom : Paradigmes de Programmation Concurrente
Acronyme : PPC
Porteur : C. Agon
Descriptif :
Ce cours présente les concepts avancés de programmation concurrente. Tout d'abord on étudie le grain fin par le modèle mémoire (structures de données sans attente, STM, etc.). Ensuite on aborde les paradigmes de plus haut niveau d'abstraction. On s'intéresse notamment aux modèles synchrones (réactif, dataflow, GALS, etc), aux modèles communicants (passage de messages, acteurs, etc.) ainsi qu'au data-parallélisme fonctionnel.
Nom : Spécification et Validation de Programmes
Acronyme : SVP
Porteur : P. Manoury
Descriptif :
Ce cours aborde le thème de la spécification et vérification des programmes sous l'angle de l'utilisation de théories et de langages logiques tels la théorie des ensembles et la logique d'ordre supérieur. Les spécifications sont données comme des formules logiques; les vérifications sont des preuves que les formules de la spécification sont satisfaites par un programme donné ou un programme à construire. Pour conduire ces preuves, nous nous appuierons sur les systèmes d'aide à la preuve tels PVS, Coq, Isabelle/HOL ou autre.
Nom : Typage et Analyse Statique
Acronyme : TAS
Porteur : E. Chailloux
Descriptif :
Ce cours présente dans le cadre de typage statique les différentes classes de polymorphisme des langages de programmation : paramétrique, objet, ad hoc, de rangées, borné, et leurs utilisations pour la conception de bibliothèques réutilisables. Il présente ensuite d'autres analyses statiques (systèmes de types étendus, systèmes d'effet, interprétation abstraite) pour vérifier des propriétés d'exécution des programmes.
Nom : Techniques Professionnelles Environnement de Développement
Acronyme : TPDEV
Porteur : P. Trébuchet
Descriptif :
Ce cours présente les différents aspects dun développement logiciel en sappuyant sur des environnements de développement et des environnements collaboratifs issus du monde du logiciel libre. Il sagit de montrer comment, à travers lutilisation de ces outils, doit se mener la conduite et la réalisation dun projet industriel. Les outils supports de cet enseignement seront des outils de modélisation, des environnements de développement (Eclipse, Netbeans, etc.), des outils collaboratifs et de déploiement (Ant, Maven, Subversion, Tomcat, Jboss, etc.) ; le tout étant encadré par lutilisation dune méthodologie.
Nom : Techniques Professionnelles Environnement de gestion de projets
Acronyme : TPGP
Porteur : T. Lieu
Descriptif :
Ce cours aborde lutilisation doutils propriétaires au cours du cycle de vie dun projet. Il vise à présenter différents outils propriétaires, issus des principaux outils du marché (Microsoft Visual studio, IBM RSA, etc.). Ces présentations se feront autour dintervention de professionnels et seront mis en uvre à travers des réalisations.
M2S4
Nom : Stage de fin détudes
Acronyme : Stage
Descriptif :
Le stage de fin détudes sétend sur tout le second semestre et peut seffectuer dans un laboratoire de recherche ou dans une entreprise.
PAGE 2
Masters
PAGE 2
Vague D : campagne dévaluation 2012-2013 Février 2012
PAGE 1
Masters
Vague D : campagne dévaluation 2012-2013 Février 2012
PAGE 1
Section des Formations et des Diplômes
Section des Formations et des Diplômes