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
- P1 - AEFLP Période 1 : 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 Méthodes formelles pour les systemes cyber-physiques: des systèmes réactifs aux systèmes pilotés par l’IA
- 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 Introduction à la théorie de l'information
- CSC_51055_EP Modèles et algorithmes à base de contraintes pour l’aide à la décision
- MDC_51002_EP Information et Calcul Quantique : Fondements
- P2 - AEFLP Période 2 : 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_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
- CSC_52003_EP Diagrammes et programmes quantiques
- P3 - AEFLP Période 3 : Algorithmes et fondements des langages de programmation
- CSC_52991_EP Stage de recherche en science informatique
- P1 - AEFLP Période 1 : Algorithmes efficaces et fondements des langages de programmation
- PA_TH INF-FMFCPS Thématique : Formal Methods and Foundations of Cyber-Physical Systems (FMFCPS)
- P1 - FMFCPS Période 1 : Méthodes formelles et fondements des systèmes cyber-physiques
- CSC_51059_EP Architecture des ordinateurs et systèmes d'exploitation
- CSC_51075_EP Méthodes formelles pour les systemes cyber-physiques: des systèmes réactifs aux systèmes pilotés par l’IA
- 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_50P10_EP Projet de 3A Conception de systèmes autonomes intelligents
- CSC_51055_EP Modèles et algorithmes à base de contraintes pour l’aide à la décision
- APM_51055_EP Traitement du Signal : de Fourier à l'Apprentissage Machine
- MDC_51002_EP Information et Calcul Quantique : Fondements
- CSC_51063_EP Introduction à la théorie de l'information
- MDC_51006_EP Bases de l'Apprentissage Automatique
- P2 - FMFCPS Période 2 : 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_52068_EP Cryptologie Avancée
- CSC_52081_EP Apprentissage par renforcement 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
- P3 - FMFCPS Période 3 : Méthodes formelles et fondements des systèmes cyber-physiques
- CSC_52991_EP Stage de recherche en science informatique
- P1 - FMFCPS Période 1 : Méthodes formelles et fondements des systèmes cyber-physiques
- PA_TH INF-CS Thématique : Cybersécurité
- P1 - CS Période 1 : 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 Introduction à la 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
- P2 - CS Période 2 : 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
- P3 - CS Période 3 : Cybersécurité
- CSC_52991_EP Stage de recherche en science informatique
- P1 - CS Période 1 : Cybersécurité
- PA_TH INF-IVA Thématique : Image-vision-apprentissage
- P1 - IVA Période 1 : Image-vision-apprentissage
- CSC_51050_EP Algorithmique avancée
- CSC_51052_EP Visualisation des Données
- CSC_51054_EP Apprentissage profond
- CSC_51055_EP Modèles et algorithmes à base de contraintes pour l’aide à la décision
- 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 Computer Animation
- 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
- CSC_51076_EP Optimisation and Responsible AI
- P2 - IVA Période 2 : Image-vision-apprentissage
- CSC_52062_EP Géométrie algorithmique : de la théorie aux applications
- CSC_52081_EP Apprentissage par renforcement 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
- P3 - IVA Période 3 : Image-vision-apprentissage
- CSC_52994_EP Stages en IVA
- P1 - IVA Période 1 : Image-vision-apprentissage
- PA_TH INF-IOE4DS Thématique : The Internet of Everything for Digitized Society
- P1 - IOE4DS Période 1 : 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 Méthodes formelles pour les systemes cyber-physiques: des systèmes réactifs aux systèmes pilotés par l’IA
- MDC_51006_EP Bases de l'Apprentissage Automatique
- P2 - IOE4DS Période 2 : 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
- P3 - IOE4DS Période 3 : The Internet of Everything for Digitized Society
- CSC_52991_EP Stage de recherche en science informatique
- P1 - IOE4DS Période 1 : The Internet of Everything for Digitized Society
- PA_TH INF-Sur Mesure Thématique : Parcours informatique sur mesure
- P1 - SurMesure Période 1 : 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 Modèles et algorithmes à base de contraintes pour l’aide à la décision
- 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 Méthodes formelles pour les systemes cyber-physiques: des systèmes réactifs aux systèmes pilotés par l’IA
- CSC_51063_EP Introduction à la théorie de l'information
- CSC_51085_EP Computer Animation
- APM_51055_EP Traitement du Signal : de Fourier à l'Apprentissage Machine
- APM_51057_EP Recherche opérationnelle : aspects mathématiques et applications
- FMA_51052_EP Théorie algébrique des nombres
- FMA_51056_EP Groupes, anneaux, modules et représentations
- FMA_51057_EP Topologie algébrique
- MDC_51002_EP Information et Calcul Quantique : Fondements
- MDC_51006_EP Bases de l'Apprentissage Automatique
- CSC_51076_EP Optimisation and Responsible AI
- P2 - SurMesure Période 2 : 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_52081_EP Apprentissage par renforcement 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_52087_EP Advanced Deep Learning
- APM_52066_EP Statistique en Action
- FMA_52062_EP Introduction à la géométrie algébrique et courbes elliptiques
- FMA_52063_EP Groupes compacts et groupes de Lie
- PHY_52180_EP Information quantique : intrication, contrôle et plateformes pour les technologies quantiques
- CSC_52074_EP Capture the flag
- P3 - SurMesure Période 3 : Parcours sur mesure
- CSC_52991_EP Stage de recherche en science informatique
- P1 - SurMesure Période 1 : Parcours sur mesure
- PA - INFO-MAT Parcours d'approfondissement : Mathématiques et Informatique
- P1 - INFO-MAT Période 1 : 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 Modèles et algorithmes à base de contraintes pour l’aide à la décision
- CSC_51056_EP Analyse topologique de données
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51063_EP Introduction à la 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
- MDC_51002_EP Information et Calcul Quantique : Fondements
- P2 - INFO-MAT Période 2 : 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
- P3 - INFO-MAT Période 3 : 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
- P1 - INFO-MAT Période 1 : Mathématiques et Informatique
- PA_TH INF-CQ Thématique : Calcul quantique
- P1 - CQ Période 1 : 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 Introduction à la théorie de l'information
- CSC_52P01_EP Projet informatique en Calcul Quantique
- MDC_51002_EP Information et Calcul Quantique : Fondements
- P2 - CQ Période 2 : Calcul quantique
- CSC_52001_EP Sujets avancés en calcul quantique et Informations
- CSC_52003_EP Diagrammes et programmes quantiques
- CSC_52060_EP Algorithmique parallèle et distribuée
- CSC_52064_EP Compilation
- CSC_52068_EP Cryptologie Avancée
- PHY_52180_EP Information quantique : intrication, contrôle et plateformes pour les technologies quantiques
- CSC_52P01_EP Projet informatique en Calcul Quantique
- CSC_52071_EP Fondements de la vérification des logiciels
- P3 - CQ Période 3 : Calcul quantique
- CSC_52991_EP Stage de recherche en science informatique
- P1 - CQ Période 1 : Calcul quantique