Descriptif
L’informatique est présente dans toutes les activités professionnelles que les polytechniciens exerceront: de la gestion des entreprises à la conduite de projets de recherche et au développement de produits industriels, ils auront à utiliser des outils informatiques et à en penser de nouveaux.
Les cours de troisième et de quatrième années du département d’informatique – niveau Master – ont pour but de permettre aux élèves d’acquérir les connaissances nécessaires pour appréhender les changements technologiques dans le vaste domaine des Sciences et Technologies de l’Information et de la Communication qui constituent le paysage dans lequel les ingénieurs, les cadres et les chercheurs évoluent aujourd’hui.
Objectifs
Le PA Informatique a une triple vocation :
- donner aux élèves les éléments fondamentaux de la discipline en les mettant au niveau des meilleures universités mondiales,
- commencer une spécialisation qui se poursuivra en quatrième année soit dans la direction de l’ingénierie soit dans celle de la formation par la recherche,
- donner aux élèves des éléments de la discipline qui, combinés à d’autres cours sélectionnés dans des disciplines partenaires (tous départements confondus), donneront une véritable double compétence permettant de dominer les enjeux innovants de l’industrie, de l’administration et de la recherche.
Diplômes concernés
Pré-requis
• Avoir suivi au moins 2 cours d’info en 2A (hors modal) • Avoir validé un projet en cours d’info de 2A (modal compris)Composition du parcours
- PA_Th INF-AEFLP Thématique Algorithmes efficaces et fondements des langages de programmation
- AEFLP P1 Algorithmes efficaces et fondements des langages de programmation
- CSC_51050_EP Algorithmique avancée
- CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l'Absence d'erreurs
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51071_EP Structures de données distribuées, avec un focus sur les blockchains
- CSC_51073_EP Analyse d'Image et Vision par Ordinateur
- CSC_51074_EP Représentations Numériques et Analyse de Formes
- CSC_51075_EP Systèmes Intelligents Sûrs
- CSC_50P13_EP Projet de 3A Algorithmes efficaces et fondements des langages de programmation
- APM_51057_EP Recherche opérationnelle : aspects mathématiques et applications
- CSC_51063_EP Théorie de l'information
- CSC_51055_EP IA formelle en programmation logique avec contraintes
- AEFLP P2 Algorithmes efficaces et fondements des langages de programmation
- CSC_52060_EP Algorithmique parallèle et distribuée
- CSC_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes
- CSC_52062_EP Géométrie algorithmique : de la théorie aux applications
- CSC_52064_EP Compilation
- CSC_52068_EP Cryptologie Avancée
- CSC_52080_EP Optimisation mathématique à large échelle
- CSC_52084_EP Image Synthesis
- CSC_52089_EP Computational analysis of high-throughput sequencing data
- CSC_50P13_EP Projet de 3A Algorithmes efficaces et fondements des langages de programmation
- CSC_52070_EP Vérification logique des systèmes hybrides
- CSC_52071_EP Fondements de la vérification des logiciels
- AEFLP P3 Algorithmes et fondements des langages de programmation
- CSC_52991_EP Stage de recherche en science informatique
- AEFLP P1 Algorithmes efficaces et fondements des langages de programmation
- PA_Th INF-FMFCPS Formal Methods and Foundations of Cyber-Physical Systems (FMFCPS)
- FMFCPS P1 Méthodes formelles et fondements des systèmes cyber-physiques
- CSC_51059_EP Architecture des ordinateurs et systèmes d'exploitation
- CSC_51075_EP Systèmes Intelligents Sûrs
- CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l'Absence d'erreurs
- CSC_51054_EP Apprentissage profond
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51071_EP Structures de données distribuées, avec un focus sur les blockchains
- CSC_50P10_EP Projet de 3A Conception de systèmes autonomes intelligents
- CSC_51055_EP IA formelle en programmation logique avec contraintes
- MDC_51006_EP Bases de l'Apprentissage Automatique
- APM_51055_EP Traitement du Signal : de Fourier à l'Apprentissage Machine
- FMFCPS P2 Méthodes formelles et fondements des systèmes cyber-physiques
- CSC_52064_EP Compilation
- CSC_52060_EP Algorithmique parallèle et distribuée
- CSC_52065_EP Sécurité des Systèmes d'Information
- CSC_52067_EP Réseaux sans fil : du Cellulaire aux Objets Connectés
- CSC_52068_EP Cryptologie Avancée
- CSC_52080_EP Optimisation mathématique à large échelle
- CSC_52081_EP Apprentissage Automatique Avancé et Agents Autonomes
- CSC_50P10_EP Projet de 3A Conception de systèmes autonomes intelligents
- CSC_52070_EP Vérification logique des systèmes hybrides
- CSC_52071_EP Fondements de la vérification des logiciels
- CSC_52003_EP Diagrammes et programmes quantiques
- CSC_52087_EP Advanced Deep Learning
- FMFCPS P3 Méthodes formelles et fondements des systèmes cyber-physiques
- CSC_52991_EP Stage de recherche en science informatique
- FMFCPS P1 Méthodes formelles et fondements des systèmes cyber-physiques
- PA_Th INF-Cyber Thématique Informatique-Cybersécurité
- CS P1 Cybersécurité
- CSC_51057_EP De l'Internet à l'IoT : Principes fondamentaux du réseau informatique moderne
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51059_EP Architecture des ordinateurs et systèmes d'exploitation
- CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l'Absence d'erreurs
- CSC_51053_EP Système de Gestion de Base de Données
- CSC_51054_EP Apprentissage profond
- CSC_51063_EP Théorie de l'information
- CSC_51071_EP Structures de données distribuées, avec un focus sur les blockchains
- CSC_50P20_EP Projet de 3A de Cyber-sécurité
- MDC_51006_EP Bases de l'Apprentissage Automatique
- CS P2 Cybersécurité
- CSC_52064_EP Compilation
- CSC_52065_EP Sécurité des Systèmes d'Information
- CSC_52068_EP Cryptologie Avancée
- CSC_52086_EP Sécurité des réseaux
- CSC_50P20_EP Projet de 3A de Cyber-sécurité
- CSC_52071_EP Fondements de la vérification des logiciels
- CSC_52074_EP Capture the flag
- CS P3 Cybersécurité
- CSC_52991_EP Stage de recherche en science informatique
- CS P1 Cybersécurité
- PA_Th INF-IVA Thématique Image-vision-apprentissage
- IVA P1 Image-vision-apprentissage
- CSC_51050_EP Algorithmique avancée
- CSC_51052_EP Visualisation des Données
- CSC_51054_EP Apprentissage profond
- CSC_51055_EP IA formelle en programmation logique avec contraintes
- CSC_51056_EP Analyse topologique de données
- CSC_51073_EP Analyse d'Image et Vision par Ordinateur
- CSC_51074_EP Représentations Numériques et Analyse de Formes
- CSC_51085_EP Animation par ordinateur
- MDC_51006_EP Bases de l'Apprentissage Automatique
- APM_51055_EP Traitement du Signal : de Fourier à l'Apprentissage Machine
- CSC_50P15_EP Projet de MAP-INFO en Image, Vision, Apprentissage
- IVA P2 Image-vision-apprentissage
- CSC_52062_EP Géométrie algorithmique : de la théorie aux applications
- CSC_52080_EP Optimisation mathématique à large échelle
- CSC_52081_EP Apprentissage Automatique Avancé et Agents Autonomes
- CSC_52087_EP Advanced Deep Learning
- CSC_52082_EP Introduction à la Fouille de Textes et au Traitement Automatique des Langues(NLP)
- CSC_52084_EP Image Synthesis
- CSC_52002_EP IA générative multimodale
- APM_52066_EP Statistique en Action
- CSC_50P15_EP Projet de MAP-INFO en Image, Vision, Apprentissage
- IVA P3 Image-vision-apprentissage
- CSC_52994_EP Stages en IVA
- IVA P1 Image-vision-apprentissage
- PA_Th INF-IOE4DS Thématique The Internet of Everything for Digitized Society
- IOE4DS P1 The Internet of Everything for Digitized Society
- CSC_51057_EP De l'Internet à l'IoT : Principes fondamentaux du réseau informatique moderne
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51059_EP Architecture des ordinateurs et systèmes d'exploitation
- CSC_51053_EP Système de Gestion de Base de Données
- CSC_51054_EP Apprentissage profond
- CSC_51075_EP Systèmes Intelligents Sûrs
- MDC_51006_EP Bases de l'Apprentissage Automatique
- IOE4DS P2 The Internet of Everything for Digitized Society
- CSC_52066_EP Des fondamentaux à la réalité : comment fonctionne réellement Internet et comment l'améliorer
- CSC_52067_EP Réseaux sans fil : du Cellulaire aux Objets Connectés
- CSC_52086_EP Sécurité des réseaux
- CSC_52083_EP Systèmes pour les Mégadonnées
- IOE4DS P3 The Internet of Everything for Digitized Society
- CSC_52991_EP Stage de recherche en science informatique
- IOE4DS P1 The Internet of Everything for Digitized Society
- PA_Th INF-OPT Thématique Optimisation
- OPT P1 Optimisation
- CSC_51055_EP IA formelle en programmation logique avec contraintes
- APM_51057_EP Recherche opérationnelle : aspects mathématiques et applications
- CSC_51054_EP Apprentissage profond
- APM_51050_EP Théorie des jeux
- MDC_51006_EP Bases de l'Apprentissage Automatique
- APM_52116_EP Sujet émergents dans l'Apprentissage Machine - Théorie Statistique et Méthodes Arborescente
- CSC_50P16_EP projet de 3A MAP-INFO Optimisation
- OPT P2 Optimisation
- CSC_52069_EP Theorie de la décision, avec applications aux systèmes d'énergie
- CSC_52080_EP Optimisation mathématique à large échelle
- CSC_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes
- CSC_52081_EP Apprentissage Automatique Avancé et Agents Autonomes
- APM_52062_EP Conception Optimale de Structures
- APM_52065_EP Modélisation aléatoire et statistique des processus
- CSC_50P16_EP projet de 3A MAP-INFO Optimisation
- OPT P3 Optimisation
- CSC_52991_EP Stage de recherche en science informatique
- OPT P1 Optimisation
- PA_Th INF-Sur Mesure Parcours informatique sur mesure
- MES - P1 Parcours sur mesure
- CSC_50P14_EP Projet de 3A Parcours sur Mesure
- CSC_51050_EP Algorithmique avancée
- CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l'Absence d'erreurs
- CSC_51052_EP Visualisation des Données
- CSC_51053_EP Système de Gestion de Base de Données
- CSC_51054_EP Apprentissage profond
- CSC_51055_EP IA formelle en programmation logique avec contraintes
- CSC_51056_EP Analyse topologique de données
- CSC_51057_EP De l'Internet à l'IoT : Principes fondamentaux du réseau informatique moderne
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51059_EP Architecture des ordinateurs et systèmes d'exploitation
- CSC_51071_EP Structures de données distribuées, avec un focus sur les blockchains
- CSC_51073_EP Analyse d'Image et Vision par Ordinateur
- CSC_51074_EP Représentations Numériques et Analyse de Formes
- CSC_51075_EP Systèmes Intelligents Sûrs
- CSC_51063_EP Théorie de l'information
- CSC_51085_EP Animation par ordinateur
- MES - P2 Parcours sur mesure
- CSC_50P14_EP Projet de 3A Parcours sur Mesure
- CSC_52060_EP Algorithmique parallèle et distribuée
- CSC_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes
- CSC_52062_EP Géométrie algorithmique : de la théorie aux applications
- CSC_52064_EP Compilation
- CSC_52065_EP Sécurité des Systèmes d'Information
- CSC_52066_EP Des fondamentaux à la réalité : comment fonctionne réellement Internet et comment l'améliorer
- CSC_52067_EP Réseaux sans fil : du Cellulaire aux Objets Connectés
- CSC_52068_EP Cryptologie Avancée
- CSC_52069_EP Theorie de la décision, avec applications aux systèmes d'énergie
- CSC_52070_EP Vérification logique des systèmes hybrides
- CSC_52071_EP Fondements de la vérification des logiciels
- CSC_52080_EP Optimisation mathématique à large échelle
- CSC_52081_EP Apprentissage Automatique Avancé et Agents Autonomes
- CSC_52082_EP Introduction à la Fouille de Textes et au Traitement Automatique des Langues(NLP)
- CSC_52083_EP Systèmes pour les Mégadonnées
- CSC_52084_EP Image Synthesis
- CSC_52086_EP Sécurité des réseaux
- CSC_52089_EP Computational analysis of high-throughput sequencing data
- CSC_52001_EP Sujets avancés en calcul quantique et Informations
- CSC_52002_EP IA générative multimodale
- CSC_52003_EP Diagrammes et programmes quantiques
- CSC_52072_EP Graph Machine and Deep Learning for Generative AI
- CSC_52073_EP Optimisation and Responsible AI
- CSC_52087_EP Advanced Deep Learning
- MES - P3 Parcours sur mesure
- CSC_52991_EP Stage de recherche en science informatique
- MES - P1 Parcours sur mesure
- PA - MAT-INFO PA - Mathématiques et Informatique
- MI P1 Mathématiques et Informatique
- CSC_51050_EP Algorithmique avancée
- CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l'Absence d'erreurs
- CSC_51055_EP IA formelle en programmation logique avec contraintes
- CSC_51056_EP Analyse topologique de données
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51063_EP Théorie de l'information
- FMA_51052_EP Théorie algébrique des nombres
- FMA_51056_EP Groupes, anneaux, modules et représentations
- FMA_51057_EP Topologie algébrique
- CSC_50P19_EP Projet 3A MAT-INFO
- MI P2 Mathématiques et Informatique
- CSC_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes
- CSC_52068_EP Cryptologie Avancée
- FMA_52062_EP Introduction à la géométrie algébrique et courbes elliptiques
- FMA_52063_EP Groupes compacts et groupes de Lie
- CSC_50P19_EP Projet 3A MAT-INFO
- CSC_52001_EP Sujets avancés en calcul quantique et Informations
- CSC_52003_EP Diagrammes et programmes quantiques
- CSC_52070_EP Vérification logique des systèmes hybrides
- CSC_52071_EP Fondements de la vérification des logiciels
- MI P3 Mathématiques et Informatique
- CSC_52991_EP Stage de recherche en science informatique
- FMA_52991_EP Stage - Groupes et représentations, Théorie des nombres, géométrie algébrique
- FMA_52992_EP Stage - Analyse, Probabilités et applications
- FMA_52993_EP Stage - Géométrie et systèmes dynamiques
- MI P1 Mathématiques et Informatique
- PA_Th INF-CQ Thématique Calcul quantique
- CQ P1 Thématique Calcul quantique
- CSC_51050_EP Algorithmique avancée
- CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l'Absence d'erreurs
- CSC_51054_EP Apprentissage profond
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51059_EP Architecture des ordinateurs et systèmes d'exploitation
- CSC_51071_EP Structures de données distribuées, avec un focus sur les blockchains
- CSC_51063_EP Théorie de l'information
- CQ P2 Thématique Calcul quantique
- CSC_52001_EP Sujets avancés en calcul quantique et Informations
- CSC_52003_EP Diagrammes et programmes quantiques
- APM_52061_EP Modélisation mathématique des ordinateurs quantiques
- CSC_52060_EP Algorithmique parallèle et distribuée
- CSC_52064_EP Compilation
- CSC_52068_EP Cryptologie Avancée
- PHY_52180_EP Information et calcul quantiques: implémentations expérimentales
- CQ P3 Thématique Calcul quantique
- CSC_52991_EP Stage de recherche en science informatique
- CQ P1 Thématique Calcul quantique