Voici le catalogue entier des 246 unités d'enseignement du master d'informatique. Ces unités ne sont pas dispensées à tous les semestres; leur ouverture dépend également des ressources humaines de l'UFR d'informatique.

Le tableau qui suit vous indique pour chaque unité son niveau (400 pour la première année et 500 pour la seconde), son nom, le nombre d'ECTS qu'elle permet d'acquérir, sa spécialité de rattachement et, entre crochets, son code dans la mention et son identifiant unique CASPER. Une unité est rattachée à une spécialité pour sa gestion, mais elle peut être accessible dans les parcours de plusieurs spécialités. Consultez les pages de chaque spécialité pour plus d'informations.

Semestre 1

• Systèmes analogiques - 6 ects (SDI) [sysana, ]
• Traitement du signal - 6 ects (SESI) [signal, MI001]
• Architecture des processeurs et optimisations - 6 ects (SESI) [archi, MI003]
• Initiation à la conception VLSI - 6 ects (SESI) [vlsi, MI004]
• Modèles avancés pour les bases de données - 6 ects (IAD) [mabd, MI005]
• Modélisation par les graphes - 6 ects (IAD) [mog, MI008]
• Reconnaissance des formes et introduction à la décision - 6 ects (IAD) [rfidec, MI009]
• Architecture des réseaux - 6 ects (RES) [ares, MI011]
• Réseaux de télécommunications - 6 ects (RES) [rtel, MI012]
• Architecture avancée des noyaux des systèmes - 6 ects (SAR) [noyau, MI013]
• Programmation avancée sous Posix - 6 ects (SAR) [posix, MI014]
• Algorithmique avancée - 6 ects (STL) [algav, MI015]
• Implantation des langages de programmation - 6 ects (STL) [ilp, MI016]
• Ingénierie logiciel - 6 ects (STL) [il, MI017]
• Programmation concurrente réactive et répartie - 6 ects (STL) [pc2r, MI019]
• Gestion des périphériques - 6 ects (SESI) [peri, MI037]
• Mise à niveau en programmation - 6 ects (IMA) [prog, MI051]
• Introduction à la biologie et aux algorithmes sur les arbres et les graphes en bioinformatiques - 6 ects (BIM) [aagb, MI064]
• Logique pour l'informatique avancée - 6 ects (STL) [lia, MI067]
• Bases du traitement des images - 6 ects (IMA) [bima, MI068]
• Systèmes de transmission - 6 ects (RES) [strans, MI069]
• Électronique des circuits analogiques - 6 ects (SESI) [elecana, MI072]

Semestre 2

• Langue étrangère (anglais) - 6 ects ( toutes ) [langue, ]
• Projet - 6 ects ( toutes ) [projet, ]
• Modélisation et évaluation des performances - 6 ects (RES) [meps, MI010]
• Internet nouvelle génération - 6 ects (RES) [ing, MI020]
• Internet mobile et ambiant - 6 ects (RES) [mob, MI021]
• Projet RES - 6 ects (RES) [pres, MI022]
• Méthodes pour l'intelligence artificielle - 6 ects (IAD) [mia, MI023]
• Projet IAD - 6 ects (IAD) [piad, MI024]
• Modèles quantitatifs en IA pour la recherche d'information sur le web - 6 ects (IAD) [mqia, MI027]
• Algorithmique graphique et modélisation - 6 ects (IMA) [agm, MI029]
• Analyse des programmes et sémantique - 6 ects (STL) [aps, MI030]
• Bases de données réparties - 6 ects (SAR) [bdr, MI034]
• Systèmes répartis clients-serveurs - 6 ects (SAR) [srcs, MI036]
• Algorithmes pour les outils de conception - 6 ects (SESI) [cao, MI038]
• Conception de circuits intégrés analogiques - 6 ects (SESI) [ccia, MI039]
• Traitement numérique du signal - 6 ects (SESI) [numDSP, MI040]
• Projet SAR - 6 ects (SAR) [psar, MI041]
• Projet STL - 6 ects (STL) [pstl, MI042]
• Projet SESI - 6 ects (SESI) [psesi, MI043]
• MOdélisation et REprésentation des Connaissances - 6 ects (IAD) [MOREC, MI045]
• Résolution de problèmes - 6 ects (IAD) [rp, MI046]
• Composants - 6 ects (STL) [cps, MI047]
• Algorithmique répartie - 6 ects (SAR) [ar, MI048]
• Projet IMA - 6 ects (IMA) [pima, MI049]
• Statistiques en bioinformatique et algorithmes sur les séquences - 6 ects (BIM) [sbas, MI065]
• Projet BIM - 6 ects (BIM) [pbim, MI066]
• Architecture des Clients Internet Interactifs - 6 ects (SAR) [acii, MI070]
• Administration systèmes et réseaux - 6 ects (SAR) [asr, MI071]
• Architecture des systèmes multiprocesseurs - 6 ects (SESI) [multi, MI073]
• OS embarqué - 6 ects (SESI) [os, MI074]
• Systèmes programmables - 6 ects (SESI) [sysprog, MI075]
• Introduction à la sécurité - 6 ects (STL) [isec, MI076]
• Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et Matlab - 6 ects (STL) [model, MI077]
• Algèbre linéaire et applications - 6 ects (STL) [ala, MI078]
• Compilation avancée - 6 ects (STL) [ca, MI190]
• Décision et jeux - 6 ects (IAD) [dj, MI191]

Semestre 3

• Méthodologie de conception VLSI - 3 ects (SESI) [mvlsi, NI100]
• Analyse temporelle des circuits numériques et des mémoires - 3 ects (SESI) [time, NI101]
• Outils CAO pour la conception VLSI - 3 ects (SESI) [tools, NI102]
• Réalisation d'un processeur Mips R3000 - 3 ects (SESI) [mips, NI103]
• Conception en vue du test - 3 ects (SESI) [dft, NI105]
• Prototypage d'architectures multicoeurs sur FPGA - 3 ects (SESI) [fpga, NI106]
• Circuits intégrés radio fréquence - 3 ects (SESI) [cirf, NI119]
• Déploiement d'une application logicielle sur MPSoC - 3 ects (SESI) [mjpeg, NI124]
• Circuits analogique intégrés réutilisables et optimisés - 3 ects (SESI) [cairo, NI126]
• Bruit dans les composants et systèmes électroniques - 3 ects (SESI) [bruit, NI128]
• Conception à base de plate-forme - 3 ects (SESI) [concp, NI129]
• Systèmes hétérogènes/AMS - 3 ects (SESI) [heter, NI131]
• Architecture des systèmes multi-processeurs intégrés sur puce - 3 ects (SESI) [mpsoc, NI133]
• Méthodes de conception au niveau système - 3 ects (SESI) [msys, NI134]
• Systèmes d'exploitation embarqués pour architectures multi-processeurs à mémoire partagée - 3 ects (SESI) [osemb, NI135]
• Modélisation SystemC des systèmes intégrés sur puce - 3 ects (SESI) [sc, NI136]
• Prototypage virtuel de SoC en SystemC/SocLib - 3 ects (SESI) [sclib, NI137]
• Techniques de simulation - 3 ects (SESI) [simul, NI138]
• Vérification de systèmes matériels - 3 ects (SESI) [verif, NI139]
• Ingénierie des SMA et des Agents appRenants - 3 ects (IAD) [ismaar, NI200]
• Algorithmes de la fouille de données - 3 ects (IAD) [afd, NI201]
• Apprentissage automatique apprentissage statistique - 3 ects (IAD) [apas, NI202]
• Apprentissage symbolique, découverte et créativité - 3 ects (IAD) [as, NI203]
• Outils de bases de données pour l'intelligence artificielle - 3 ects (IAD) [bdia, NI204]
• Décision multicritères et décision collective - 3 ects (IAD) [dmdc, NI206]
• Ingénierie des connaissances - 3 ects (IAD) [ic, NI207]
• Ingénierie multimedia et web - 3 ects (IAD) [imw, NI208]
• Logiques classiques et non-classiques et programmation logique - 3 ects (IAD) [lcnc, NI209]
• Méthodologies agents intelligents apprentissage et décision - 3 ects (IAD) [maiad, NI211]
• Ingénierie objet - 3 ects (IAD) [ming, NI212]
• Modèles décisionnels - 3 ects (IAD) [mode, NI214]
• Modélisation du raisonnement - 3 ects (IAD) [mora, NI215]
• Optimisation continue et applications industrielles - 3 ects (IAD) [ocai, NI216]
• Initiation à la recherche - 3 ects (IAD) [irec, NI219]
• Résolution de problèmes et programmation par contraintes - 3 ects (IAD) [rppc, NI220]
• Traitement d'incertitude d'imprécision approche probabiliste pour l'IA et la décision - 3 ects (IAD) [tiiapiad, NI221]
• Traitement et reconnaissance d'images - 3 ects (IAD) [teri, NI222]
• Théorie de la complexité et algorithmes approchés - 3 ects (IAD) [tcaa, NI223]
• Programmation discrète et modèles linéaires - 3 ects (IAD) [pdml, NI224]
• Modèles de localisaton et applications - 3 ects (IAD) [mla, NI225]
• Systèmes multi-agents - 3 ects (IAD) [sma, NI233]
• Introduction aux agents cognitifs et autonomes - 3 ects (IAD) [iaca, NI236]
• Traitement des images - 3 ects (IMA) [tdi, NI238]
• Synthèse d'images - 3 ects (IAD) [si, NI239]
• Analyse d'images et vision - 3 ects (IAD) [aiv, NI242]
• Coopération homme-machine - 3 ects (IAD) [cpm, NI244]
• Modèles de base en ordonnancement et planification - 3 ects (IAD) [mop, NI247]
• Méthodologies aide à la décision et recherche opérationnelle - 3 ects (IAD) [madro, NI250]
• Optimisation dans les graphes - 3 ects (IAD) [ogr, NI251]
• Exploitation industrielle de données et business intelligence - 3 ects (IAD) [eidbi, NI253]
• Systèmes de recommandation et réseaux sociaux - 3 ects (IAD) [syrres, NI255]
• Multimédia et qualité de service - 3 ects (RES) [mmqos, NI302]
• Management des systèmes d'information - 3 ects (RES) [mnsi, NI303]
• Parole téléphonique - 3 ects (RES) [ptel, NI305]
• Routage et routeurs - 3 ects (RES) [rout, NI306]
• Sécurité des réseaux - 3 ects (RES) [secur, NI307]
• Trafic et contrôle des réseaux - 3 ects (RES) [tcont, NI310]
• Supervision de réseaux - 3 ects (RES) [superv, NI312]
• Communications numériques - 3 ects (RES) [comnum, NI313]
• Performances des réseaux - 3 ects (RES) [perf, NI317]
• Transferts multimédia sur réseaux IP - 3 ects (RES) [mmip, NI324]
• Création d'entreprise - 3 ects (RES) [crea, NI326]
• Grands graphes de terrain - 3 ects (RES) [ggt, NI327]
• Méthodes de travail pour la recherche en réseaux - 3 ects (RES) [metho, NI331]
• Résistance aux attaques distribuées - 3 ects (RES) [rad, NI332]
• Réseaux carrier-grade - 3 ects (RES) [rcg, NI333]
• Services d'annuaires - 3 ects (RES) [sa, NI334]
• Services mobiles - 3 ects (RES) [smob, NI337]
• Algorithmique répartie avancée - 3 ects (SAR) [ara, NI402]
• Conception d'applications réparties - 3 ects (SAR) [car, NI403]
• Middlewares orientés composants - 3 ects (SAR) [mdoc, NI404]
• Modélisation de systèmes répartis - 3 ects (SAR) [msr, NI405]
• Programmation parallèle avancée - 3 ects (SAR) [ppa, NI406]
• Paradigmes de programmation en informatique musicale - 3 ects (SAR) [ppim, NI407]
• Réalisation assistée d'applications réparties - 3 ects (SAR) [raar, NI408]
• Sécurité des systèmes informatiques - 3 ects (SAR) [ssi, NI409]
• Science et technologies de l'information musicale - 3 ects (SAR) [stim, NI410]
• Vérification formelle de systèmes répartis - 3 ects (SAR) [vfsr, NI411]
• Environnements pour les systèmes répartis embarqués ou temps-réel - 3 ects (SAR) [eter, NI412]
• Fondement des systèmes embarqués temps-réel - 3 ects (SAR) [fset, NI413]
• Plates-formes pour les systèmes informatiques avancés - 3 ects (SAR) [psia, NI414]
• Bases de données réparties avancées - 3 ects (SAR) [bdra, NI415]
• Acoustique générale - 3 ects (SAR) [ag, NI416]
• Acoustique musicale - 3 ects (SAR) [am, NI417]
• Applications de l'acoustique du traitement du signal et de l'informatique à la création musicale contemporaine - 3 ects (SAR) [cmc, NI420]
• Musique et science au XXème siècle - 3 ects (SAR) [msv, NI421]
• Programmation parallèle - 3 ects (SAR) [ppar, NI431]
• Introduction des bases de données avec Internet - 3 ects (SAR) [ibdi, NI432]
• Répartition et client-serveur - 3 ects (SAR) [rcs, NI433]
• Modélisation et génie logiciel - 3 ects (SAR) [mglo, NI434]
• Langages synchrones - 3 ects (SAR) [ls, NI435]
• Noyaux multi-coeurs et virtualisation - 3 ects (SAR) [nmv, NI436]
• Programmation sur plateformes mobiles : application à iOS et Android - 3 ects (SAR) [ppm, NI438]
• Analyse d'algorithmes - 3 ects (STL) [aa, NI500]
• Architectures logicielles pour l'autoadaptabilité dynamique - 3 ects (STL) [aladyn, NI501]
• Conception des langages - 3 ects (STL) [cl, NI503]
• Interprétation abstraite - 3 ects (STL) [intabs, NI505]
• Méthodes de résolution des grands systèmes linéaires - 3 ects (STL) [rgsl, NI508]
• Sémantique de la concurrence et de la mobilité - 3 ects (STL) [sacc, NI509]
• Typage et polymorphisme - 3 ects (STL) [tep, NI512]
• Techniques professionnelles 1 - atelier de composition - 3 ects (STL) [tp1, NI513]
• Techniques professionnelles 2 - environnement de gestion de projet - 3 ects (STL) [tp2, NI514]
• Validation des logiciels numériques - 3 ects (STL) [vln, NI515]
• Pratique professionnelle 1 - organisation des équipes - 3 ects (STL) [pp1, NI555]
• Architecture d'applications réticulaires - 3 ects (STL) [aar, NI584]
• Architectures logicielles pour la robotique - 3 ects (STL) [alrob, NI587]
• Arithmétique des ordinateurs - 3 ects (STL) [aror, NI588]
• Algorithmes et implantations pour la localisation des solutions réelles et applications - 3 ects (STL) [asra, NI589]
• Cryptologie appliquée - 3 ects (STL) [crypta, NI590]
• Génération aléatoire - 3 ects (STL) [genal, NI591]
• Génération et réécriture automatique d'applications logicielles - 3 ects (STL) [graal, NI592]
• Approches multi-échelles et ondelettes - 3 ects (IMA) [amo, NI600]
• Acquisition des images médicales - 3 ects (IMA) [acimed, NI601]
• Séminaire de traitement des images - 3 ects (IMA) [conf, NI602]
• Applications en imagerie médicale - 3 ects (IMA) [apimed, NI607]
• Imagerie biologique - 3 ects (IMA) [ibio, NI609]
• Méthodologie en imagerie médicale - 3 ects (IMA) [mimed, NI610]
• Représentations discrètes et morphologie mathématique - 3 ects (IMA) [rdmm, NI612]
• Génétique, génomes et évolution - 3 ects (BIM) [evol, NI702]
• Génomique comparative et évolution - 3 ects (BIM) [gcomp, NI703]
• Génétique des populations - 3 ects (BIM) [gpop, NI704]
• Phylogénie et méthodes de reconstruction phylogénétique : théorie mathématique et algorithmes - 3 ects (BIM) [phy, NI708]
• Statistique et classification en bio-informatique - 3 ects (BIM) [sclass, NI709]
• Algorithmes en bioinformatique structurale - 3 ects (BIM) [struct, NI710]
• Fouille de données complexes : génomiques, transcriptomiques et clinique - 3 ects (BIM) [mineplex, NI711]
• Modélisation de circuits mixtes et multidomaines - 3 ects (SESI) [ams, NS003]
• Circuits mixtes analogiques et numériques - 3 ects (SESI) [ciman, NS005]

Semestre 4

• Chaînes de CAO industrielles - 3 ects (SESI) [indus, NI111]
• Architecture programmation et compilation des processeurs embarqués haute-performance - 3 ects (SESI) [apc, NI112]
• Test des systèmes intégrés sur puce - 3 ects (SESI) [soctest, NI114]
• Architectures pour le traitement numérique - 3 ects (SESI) [anum, NI117]
• Optimisation combinatoire pour la conception de circuits - 3 ects (SESI) [ocav, NI118]
• Conception d'interfaces A/N pour les télécommunications - 3 ects (SESI) [ciacom, NI125]
• Bionique - 3 ects (SESI) [bioniq, NI127]
• Groupe de recherche systèmes électroniques systèmes informatiques - 3 ects (SESI) [gsesi, NI130]
• Systèmes microélectromécaniques (MEMS) - 3 ects (SESI) [mems, NI132]
• Java embarquée - 3 ects (SESI) [ejava, NI140]
• Réalisation de circuits de sécurité et les techniques d'attaque - 3 ects (SESI) [secure, NI141]
• Gestion de la consommation - 3 ects (SESI) [conso, NI142]
• Intégrité du SIGnal - 3 ects (SESI) [ISIG, NI143]
• Conception d'interfaces et ergonomie - 3 ects (IAD) [cie, NI205]
• Optimisation des réseaux application aux télécommunications et aux transports - 3 ects (IAD) [oratt, NI217]
• Projet d'ingénierie - 3 ects (IAD) [ping, NI218]
• Interactions homme-machine - 3 ects (IAD) [ihm, NI226]
• Modèles graphiques pour la décision - 3 ects (IAD) [mgde, NI227]
• Ordonnancement pour l'informatique - 3 ects (IAD) [oi, NI228]
• Parole multimedia et sons - 3 ects (IAD) [ps, NI230]
• Apprentissage pour la recherche d'information textuelle et multimedia - 3 ects (IAD) [ari, NI231]
• Recherche heuristique et algorithmes pour la décision - 3 ects (IAD) [rhad, NI232]
• Analyse de Données et Méthodes à Noyaux (ex TADTI) - 3 ects (IAD) [admn, NI237]
• Animat - 3 ects (IAD) [animat, NI243]
• Moteur de recherche - 3 ects (IAD) [mr, NI245]
• Ingénierie des connaissances approfondie et traitement automatique de la langue - 3 ects (IAD) [icatal, NI246]
• Bases de données multi-dimensionnelles - 3 ects (IAD) [bdmd, NI248]
• Outils industriels du datamining - 3 ects (IAD) [oidm, NI249]
• Intelligence artificielle et jeux - 3 ects (IAD) [iaj, NI254]
• Conduite de projet - 3 ects (RES) [cproj, NI314]
• Applications multimédia - 3 ects (RES) [apmm, NI322]
• Sécurité avancée des réseaux - 3 ects (RES) [secura, NI325]
• Gouvernance et régulation d'Internet - 3 ects (RES) [gri, NI328]
• Groupe de travail 1 - 3 ects (RES) [gt1, NI329]
• Groupe de travail 2 - 3 ects (RES) [gt2, NI330]
• Systèmes embarqués communicants - 3 ects (RES) [sec, NI335]
• Simulation et émulation de réseaux - 3 ects (RES) [simres, NI336]
• Groupe de recherche applications réparties - 3 ects (SAR) [grar, NI422]
• Groupe de recherche en bases de données - 3 ects (IAD) [grbd, NI423]
• Groupe de recherche embarqué et temps-réel - 3 ects (SAR) [gretr, NI424]
• Groupe de recherche systèmes informatiques - 3 ects (SAR) [grsi, NI425]
• Ingénierie des bases de données réparties - 3 ects (SAR) [ibdr, NI426]
• Ingénierie des systèmes répartis - 3 ects (SAR) [isr, NI427]
• Ingénierie des systèmes embarquées - 3 ects (SAR) [ise, NI430]
• Techniques de prise de son et électro-acoustique - 3 ects (SAR) [tpse, NI437]
• Techniques professionnelles 3 - environnements de développement 1 - 3 ects (STL) [tp3, NI554]
• Tests - 3 ects (STL) [test, NI557]
• Techniques professionnelles 4 - environnements de développement 2 - 3 ects (STL) [tp4, NI560]
• Pratique professionnelle 2 - relations contractuelles - 3 ects (STL) [pp2, NI561]
• Groupe recherche 1- algorithmique - 3 ects (STL) [gr1algo, NI562]
• Groupe recherche 2 - programmation - 3 ects (STL) [gr2prog, NI563]
• Accessibilité et ergonomie des interfaces informatiques - 3 ects (STL) [aeii, NI593]
• Groupe de recherche - 3 ects (IMA) [grec, NI603]
• Projet de traitement d'images - 3 ects (IMA) [projima, NI604]
• Indexation des images - 3 ects (IMA) [indix, NI613]
• Modélisation et bioinformatique de l'ARN - 3 ects (BIM) [arn, NI700]
• Dynamique moléculaire - 3 ects (BIM) [dymo, NI701]
• Grands et petits réseaux biologiques : reconstruction et analyse - 3 ects (BIM) [gres, NI705]
• Interaction et docking des protéines - 3 ects (BIM) [indo, NI706]
• Nanotechnologies de l'ADN et ses problèmes algorithmiques - 3 ects (BIM) [nano, NI707]
• Perception et cognition musicale - 3 ects (SAR) [pcm, NS825]