AccueilMasterInformatiqueEnseignements

Master InformatiqueListe des enseignements

Code Nom Crédits Type Heures
Enseignements du semestre 1
S40BI1Z1 Fundamentals in biology 1 3 UE 18
S40BI1Z2 UE professionnalisante 1 : Professional perspectives for biological systems modelling 3 UE 18
S51IN1M1 Génie logiciel 6 UE 54
S51IN1Z1 Discrete modelling of dynamical biological systems 1 3 UE 18
S51IN1Z4 Computational Biology 3 UE 30
S51IN2Z4O Complexity and computability 6 UE 36
S53MA1Z1 Mathematics for modelling 6 UE
S53MA1Z1A Probabilities and statistics for modelling 1 EC 18
S54MA1Z1B Continuous dynamical systems and modelling : examples EC 18
S51AN1M1 Anglais S1 3 UE 18
S51IN1M2 Complexité 6 UE 54
S51IN1M3 Introduction à la sciences des données 3 UE 27
S51IN1M4 Programmation objet concurrente 3 UE 26
S51IN1M5 Réseaux 4 UE 38
S51IN1M6 Algorithmique et recherche opérationnelle 3 UE 27
S51PP1M2 Environnement et R&D en informatique 2 UE 18
Enseignements du semestre 2
S40BI2I4 Analysis of Omics Data 6 UE
S40BI2I4A Bioinformatics Analysis of Omics Data EC 30
S40BI2I4B Statistical Analysis of Omics Data EC 30
S40BI2Z1 Fundamentals of biology 2 4 UE 24
S51IN2Z1 Discrete mathematics 6 UE
S51IN2Z1A Discrete modelling of dynamical biological systems 2 EC 18
S51IN2Z1B Graph theory and algorithms 2 EC 18
S51IN2Z2 Statistical and computational tools for biological modelling 6 UE
S51IN2Z2A Graph theory and algorithms 1 EC 18
S53MA2Z2B Statistics for biology EC 18
S99XX2Z1 Research project and scientific communication 6 UE
S99XX2Z2 UE professionnalisante 2 : CenTuri Seminars 2 UE 12
S51PP2M02 Communication 3 UE 27
S51IN2A2 Introduction au traitement automatique du langage 3 UE 27
S51IN2A7 Cryptographie 3 UE 27
S51IN2B1 Modélisation géométrique et maillages 3 UE 27
S51IN2C1 Intégration des données 3 UE 27
S51IN2F1 Calculabilité avancée 3 UE 26
S51IN2M03 Interface homme-machine 3 UE 27
S51IN2M04 Informatique et calcul quantique 3 UE 27
S51IN2M05 Programmation des processeurs graphiques 3 UE 27
S51IN2M06 Programmation fonctionnelle 3 UE 30
S51IN2M07 Architecture Java Entreprise Edition et sécurité des applications 6 UE
S51IN2M07A Architecture JEE EC 27
S51IN2M07B Sécurité des applications EC 27
S51IN2M08 Méthodes numériques et probabilistes pour l’informatique 6 UE
S51IN2M08A Aspects probabilistes pour l’informatique EC 27
S51IN2M08B Méthodes numériques pour l’informatique EC 27
S51IN2F2 Algorithmes à performance garantie 3 UE 26
S51IN2F3 Théorie des graphes avancée 3 UE 26
S51IN2A5 Fiabilité logicielle 3 UE 27
S51IN2A6 Analyse de programmes 3 UE 27
S51IN2B2 Programmation graphique 3 UE 27
S51IN2B3 Modélisation de surfaces 3D 3 UE 27
S51IN2A1 Introduction à l’apprentissage artificiel 3 UE 27
S51IN2A4 Modélisation et résolution pour la décision 3 UE 27
S51IN2C2 Données post-relationnelles 3 UE 27
S51IN2M01 Travail d'étude et de recherche 6 UE
SUP100 Stage de M1 6 UE
Enseignements du semestre 3
S40BI3D7 Biological interaction networks 3 UE 30
S51IN3Z2 Discrete geometry and graphical models 3 UE 18
S51IN3Z3 Distributed algorithms for biology 3 UE 18
S51MA3C3 Modèles de calcul, systèmes dynamiques et théorie algorithmique des nombres 6 UE 56
S99XX3Z1 Interdisciplinary project in modelling 6 UE
S99XX4Z1 UE professionnalisante 3 : CenTuri Seminars 3 UE 30
S40BI3Z2A Advanced Biology : Developmental Biology 3 UE 18
S40BI3Z2B Advanced Biology : Immunology 3 UE 18
S40BI3Z4 Advanced biology : Neurobiology 3 UE 18
S51AN3M1 Anglais S3 3 UE 18
S51IN3A1 Sécurité internet réseaux 6 UE 54
S51IN3A2 Systèmes d'information d'entreprise 3 UE 27
S51IN3A4 Sécurité fonctionnelle et qualité 6 UE 54
S51IN3A6 Sécurité des applications 2 3 UE 27
S51IN3A7 Politiques et modèles de contrôle d'accès 3 UE 27
S51PP3M2 Communication 2 3 UE 27
S51IN3A8 Veille sécurité 3 UE
S51IN3C16O Vérification : de la théorie à la pratique 3 UE 20
S60IN3B3 Sécurité logicielle pour systèmes embarqués 3 UE 30
S51IN3B1 Fondamentaux pour l’informatique graphique 3 UE 27
S51IN3B2 Modèles géométriques : représentations et traitement 6 UE 54
S51IN3B3 Géométrie discrète 6 UE 54
S51IN3B4 Animation et rendu 3 UE 27
S51IN3B5 Programmation graphique et applications industrielles 6 UE 54
S51IN3E02 Modélisation et résolution pour l'optimisation 3 UE 27
S51IN3E03 Data science et deep learning 9 UE
S51IN3E3A Science des données EC 27
S51IN3E3B Deep learning EC 27
S51IN3E3C Maths pour l’intelligence artificielle EC 27
S51IN3E04 Traitement du langage naturel et linguistique 3 UE 27
S51IN3E06 Apprentissage par renforcement 3 UE 27
S51IN3E07 Signal, apprentissage et multimédia 3 UE 27
S51IN3E08 Prédictions structurées pour le traitement automatique du langage naturel 3 UE 27
S51IN3E09 Raisonnement automatique en milieu industriel 3 UE 27
S53IN3C7 Théorie de l'apprentissage et statistique non paramétrique 3 UE 24
S64AL1I1 Introduction aux sciences cognitives 3 UE 30
S64AL1I3 Langage et cognition 6 UE 60
S64BI1M2 Introduction à la neurobiologie 3 UE 30
S51IN3D01 Génie logiciel 2 et gestion de projets 6 UE 54
S51IN3D02 Big data 3 UE 27
S51IN3D04 Gestion des données 6 UE 54
S51IN3D11 Architecture des applications 3 UE 27
S51IN3D13 Qualité logicielle 3 UE 27
S51IN3D20 Analyse des données 3 UE 27
S51IN3D21 Analyse et reporting pour le décisionnel 3 UE 27
S51IN3D22 Conception d’applications décisionnelles 3 UE 27
S60IN3B2 Frameworks IoT 3 UE 30
S51IN3D23 Business process 3 UE 27
S51IN3D24 Cloud computing 3 UE 27
S51IN3C1 Algorithmique et complexité 6 UE 56
S51IN3C2 Logique et automates 3 UE 28
S51IN3C11 Introduction à la logique modale 3 UE 20
S51IN3C12 Modèles de calcul naturel - MOCANA 3 UE 20
S51IN3C13O Fondements de la PPC et SAT 3 UE 20
S51IN3C14O Théorie métrique des graphes 3 UE 20
S51IN3C15O Algorithmique distribuée 3 UE 20
S51IN3C17 Logiques computationnelles 3 UE 20
S51IN3C18 Ensembles ordonnés en combinatoire 3 UE 20
S51IN3C19 Optimisation combinatoire 3 UE 20
S51IN3C20 Théorie des automates : extensions et applications 3 UE 20
S51IN3C21 Modélisation et simulation à événements discrets 3 UE 20
S51IN3C22 ASP : fondements théoriques, calcul et applications 3 UE 20
S51MA3C23O Sémantique dénotationnelle et logique linéaire 3 UE 20
S51MA3C24O Dynamique symbolique 3 UE 20
S51MA3C25 Topologie algébrique discrète – topologie algorithmique 3 UE 20
S51MA3C26 Logique catégorique d'ordre supérieur 3 UE 20
S51MA3C27 Réalisabilité classique 3 UE 20
S51MA3C28 Combinatoire des mots 3 UE 20
S51MA3C29 Théorie algorithmique des nombres 3 UE 20
S51MA3C30 Théorie de l'information : algorithmique pour la cryptographie et le codage 3 UE 20
S51MA3C31 Introduction aux systèmes dynamiques et à la théorie ergodique 3 UE 20
S51MA3C32 Théorie de Ramsey 3 UE 20
Enseignements du semestre 4
S99XX4Z2 Master thesis 30 UE
S51IN4M1 Travail d'étude et de recherche S4 6 UE
S51IN4M2 Stage de cinq à six mois 24 UE
S51IN4C0 Logique et automates 3 UE 28
S51IN4C5 Initiation à la recherche IMD 24 UE
S51PP4M1 PPPE : communication scientifique en anglais 3 UE 30

UE : unité d'enseignement, EC : élément constitutif (partie d'une UE),
ST : stage, PT : projet encadré, CA : unité transverse (catalogue).

Code Nom Crédits Type Heures
S51IN3C22 ASP : fondements théoriques, calcul et applications 3 UE 20
S40BI3Z2A Advanced Biology : Developmental Biology 3 UE 18
S40BI3Z2B Advanced Biology : Immunology 3 UE 18
S40BI3Z4 Advanced biology : Neurobiology 3 UE 18
S51IN2F2 Algorithmes à performance garantie 3 UE 26
S51IN3C15O Algorithmique distribuée 3 UE 20
S51IN3C1 Algorithmique et complexité 6 UE 56
S51IN1M6 Algorithmique et recherche opérationnelle 3 UE 27
S51IN2A6 Analyse de programmes 3 UE 27
S51IN3D20 Analyse des données 3 UE 27
S51IN3D21 Analyse et reporting pour le décisionnel 3 UE 27
S40BI2I4 Analysis of Omics Data 6 UE
S51AN1M1 Anglais S1 3 UE 18
S51AN3M1 Anglais S3 3 UE 18
S51IN3B4 Animation et rendu 3 UE 27
S51IN3E06 Apprentissage par renforcement 3 UE 27
S51IN2M07A Architecture JEE EC 27
S51IN2M07 Architecture Java Entreprise Edition et sécurité des applications 6 UE
S51IN3D11 Architecture des applications 3 UE 27
S51IN2M08A Aspects probabilistes pour l’informatique EC 27
S51IN3D02 Big data 3 UE 27
S40BI2I4A Bioinformatics Analysis of Omics Data EC 30
S40BI3D7 Biological interaction networks 3 UE 30
S51IN3D23 Business process 3 UE 27
S51IN2F1 Calculabilité avancée 3 UE 26
S51IN3D24 Cloud computing 3 UE 27
S51MA3C28 Combinatoire des mots 3 UE 20
S51PP2M02 Communication 3 UE 27
S51PP3M2 Communication 2 3 UE 27
S51IN2Z4O Complexity and computability 6 UE 36
S51IN1M2 Complexité 6 UE 54
S51IN1Z4 Computational Biology 3 UE 30
S51IN3D22 Conception d’applications décisionnelles 3 UE 27
S54MA1Z1B Continuous dynamical systems and modelling : examples EC 18
S51IN2A7 Cryptographie 3 UE 27
S51IN3E03 Data science et deep learning 9 UE
S51IN3E3B Deep learning EC 27
S51IN3Z2 Discrete geometry and graphical models 3 UE 18
S51IN2Z1 Discrete mathematics 6 UE
S51IN1Z1 Discrete modelling of dynamical biological systems 1 3 UE 18
S51IN2Z1A Discrete modelling of dynamical biological systems 2 EC 18
S51IN3Z3 Distributed algorithms for biology 3 UE 18
S51IN2C2 Données post-relationnelles 3 UE 27
S51MA3C24O Dynamique symbolique 3 UE 20
S51IN3C18 Ensembles ordonnés en combinatoire 3 UE 20
S51PP1M2 Environnement et R&D en informatique 2 UE 18
S51IN2A5 Fiabilité logicielle 3 UE 27
S51IN3B1 Fondamentaux pour l’informatique graphique 3 UE 27
S51IN3C13O Fondements de la PPC et SAT 3 UE 20
S60IN3B2 Frameworks IoT 3 UE 30
S40BI1Z1 Fundamentals in biology 1 3 UE 18
S40BI2Z1 Fundamentals of biology 2 4 UE 24
S51IN3D04 Gestion des données 6 UE 54
S51IN2Z2A Graph theory and algorithms 1 EC 18
S51IN2Z1B Graph theory and algorithms 2 EC 18
S51IN1M1 Génie logiciel 6 UE 54
S51IN3D01 Génie logiciel 2 et gestion de projets 6 UE 54
S51IN3B3 Géométrie discrète 6 UE 54
S51IN2M04 Informatique et calcul quantique 3 UE 27
S51IN4C5 Initiation à la recherche IMD 24 UE
S99XX3Z1 Interdisciplinary project in modelling 6 UE
S51IN2M03 Interface homme-machine 3 UE 27
S51IN2A2 Introduction au traitement automatique du langage 3 UE 27
S64AL1I1 Introduction aux sciences cognitives 3 UE 30
S51MA3C31 Introduction aux systèmes dynamiques et à la théorie ergodique 3 UE 20
S51IN3C11 Introduction à la logique modale 3 UE 20
S64BI1M2 Introduction à la neurobiologie 3 UE 30
S51IN1M3 Introduction à la sciences des données 3 UE 27
S51IN2A1 Introduction à l’apprentissage artificiel 3 UE 27
S51IN2C1 Intégration des données 3 UE 27
S64AL1I3 Langage et cognition 6 UE 60
S51MA3C26 Logique catégorique d'ordre supérieur 3 UE 20
S51IN3C2 Logique et automates 3 UE 28
S51IN4C0 Logique et automates 3 UE 28
S51IN3C17 Logiques computationnelles 3 UE 20
S99XX4Z2 Master thesis 30 UE
S53MA1Z1 Mathematics for modelling 6 UE
S51IN3E3C Maths pour l’intelligence artificielle EC 27
S51IN3C12 Modèles de calcul naturel - MOCANA 3 UE 20
S51MA3C3 Modèles de calcul, systèmes dynamiques et théorie algorithmique des nombres 6 UE 56
S51IN3B2 Modèles géométriques : représentations et traitement 6 UE 54
S51IN2B3 Modélisation de surfaces 3D 3 UE 27
S51IN3E02 Modélisation et résolution pour l'optimisation 3 UE 27
S51IN2A4 Modélisation et résolution pour la décision 3 UE 27
S51IN3C21 Modélisation et simulation à événements discrets 3 UE 20
S51IN2B1 Modélisation géométrique et maillages 3 UE 27
S51IN2M08 Méthodes numériques et probabilistes pour l’informatique 6 UE
S51IN2M08B Méthodes numériques pour l’informatique EC 27
S51IN3C19 Optimisation combinatoire 3 UE 20
S51PP4M1 PPPE : communication scientifique en anglais 3 UE 30
S51IN3A7 Politiques et modèles de contrôle d'accès 3 UE 27
S53MA1Z1A Probabilities and statistics for modelling 1 EC 18
S51IN2M05 Programmation des processeurs graphiques 3 UE 27
S51IN2M06 Programmation fonctionnelle 3 UE 30
S51IN2B2 Programmation graphique 3 UE 27
S51IN3B5 Programmation graphique et applications industrielles 6 UE 54
S51IN1M4 Programmation objet concurrente 3 UE 26
S51IN3E08 Prédictions structurées pour le traitement automatique du langage naturel 3 UE 27
S51IN3D13 Qualité logicielle 3 UE 27
S51IN3E09 Raisonnement automatique en milieu industriel 3 UE 27
S99XX2Z1 Research project and scientific communication 6 UE
S51MA3C27 Réalisabilité classique 3 UE 20
S51IN1M5 Réseaux 4 UE 38
S51IN3E3A Science des données EC 27
S51IN3E07 Signal, apprentissage et multimédia 3 UE 27
SUP100 Stage de M1 6 UE
S51IN4M2 Stage de cinq à six mois 24 UE
S40BI2I4B Statistical Analysis of Omics Data EC 30
S51IN2Z2 Statistical and computational tools for biological modelling 6 UE
S53MA2Z2B Statistics for biology EC 18
S51IN3A2 Systèmes d'information d'entreprise 3 UE 27
S51IN2M07B Sécurité des applications EC 27
S51IN3A6 Sécurité des applications 2 3 UE 27
S51IN3A4 Sécurité fonctionnelle et qualité 6 UE 54
S51IN3A1 Sécurité internet réseaux 6 UE 54
S60IN3B3 Sécurité logicielle pour systèmes embarqués 3 UE 30
S51MA3C23O Sémantique dénotationnelle et logique linéaire 3 UE 20
S51MA3C29 Théorie algorithmique des nombres 3 UE 20
S51MA3C32 Théorie de Ramsey 3 UE 20
S53IN3C7 Théorie de l'apprentissage et statistique non paramétrique 3 UE 24
S51MA3C30 Théorie de l'information : algorithmique pour la cryptographie et le codage 3 UE 20
S51IN3C20 Théorie des automates : extensions et applications 3 UE 20
S51IN2F3 Théorie des graphes avancée 3 UE 26
S51IN3C14O Théorie métrique des graphes 3 UE 20
S51MA3C25 Topologie algébrique discrète – topologie algorithmique 3 UE 20
S51IN3E04 Traitement du langage naturel et linguistique 3 UE 27
S51IN2M01 Travail d'étude et de recherche 6 UE
S51IN4M1 Travail d'étude et de recherche S4 6 UE
S40BI1Z2 UE professionnalisante 1 : Professional perspectives for biological systems modelling 3 UE 18
S99XX2Z2 UE professionnalisante 2 : CenTuri Seminars 2 UE 12
S99XX4Z1 UE professionnalisante 3 : CenTuri Seminars 3 UE 30
S51IN3A8 Veille sécurité 3 UE
S51IN3C16O Vérification : de la théorie à la pratique 3 UE 20

UE : unité d'enseignement, EC : élément constitutif (partie d'une UE),
ST : stage, PT : projet encadré, CA : unité transverse (catalogue).