Contexte
Tout le monde est régulièrement confronté à des programmes informatiques inefficaces ou qui plantent. Afin d’éviter cela, il est nécessaire de définir et d’étudier correctement ce que signifie pour une machine de calculer quelque chose. Ce programme de master de 2 ans couvre certaines des approches théoriques de l'informatique abordant ce sujet, souvent basées sur des outils mathématiques, en vue d'applications.
Objectif
- Acquérir des connaissances fondamentales en informatique théorique.
- Être initié à la recherche actuelle en informatique.
- Acquérir une expérience pratique grâce à des stages de recherche.
contenu
Les sujets des cours comprennent :
- théorie du calcul : calculabilité, logique, sémantique, combinatoire,
- modèles de calcul : automates, programmation concurrente et distribuée, programmation quantique, systèmes hybrides,
- sécurité des programmes : vérification, analyse statique,
- efficacité des programmes : algorithmes, complexité, compilation,
- sûreté des programmes : cryptographie, codage.
Le master est orienté vers la recherche, avec un accent sur les fondements : il vise à initier les étudiants à l'informatique théorique contemporaine et la plupart des étudiants font un doctorat après le master, bien qu'il ouvre également sur de nombreuses carrières possibles dans l'industrie.
Ce master correspond au Master parisien de recherche en informatique (MPRI), porté conjointement par les établissements suivants : Université de Paris (coordinateur), ENS Ulm, ENS Paris-Saclay, École polytechnique et Télécom Paris. La première année se déroule majoritairement à l'École polytechnique, tandis que la deuxième année se déroule majoritairement à l'Université de Paris.
domaines d'enseignement
Informatique.Département OSE
Département d'Informatique.niveau requis
- Diplôme d'un Bachelor/Licence en sciences à l'Institut Polytechnique de Paris ou équivalent en France ou à l'étranger.
- Anglais.
atouts
- Bénéficier d’une exposition intensive à la recherche contemporaine en informatique.
- Poursuivre des opportunités de doctorat à l'Institut Polytechnique de Paris.
- Construire une carrière réussie dans le milieu universitaire ou dans le département R&D d'entreprises privées.
débouchés
Les étudiants qui terminent avec succès le programme de deux ans seront capables de :
- Poursuivre un doctorat menant à une carrière universitaire, par ex. un poste d'enseignant-chercheur dans une université ou un poste de recherche à temps plein dans un établissement de recherche.
- Construire une carrière dans leur domaine d'expertise dans le secteur privé, par ex. en R&D.
Parcours
- M1MPRI-MAST1A M1 - Fondements de l'Informatique - Master 1A
- M1MPRI - S1 M1MPRI - Semestre 1
- M1MPRI - S1 - TC M1MPRI - Semestre 1 - Tronc Commun
- CSC_51050_EP Algorithmique avancée
- CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l'Absence d'erreurs
- M1MPRI - S1 - TC M1MPRI - Semestre 1 - Tronc Commun
- M1MPRI - S2 M1MPRI - Semestre 2
- M1MPRI - S2 - TC M1MPRI - Semestre 2 - Tronc Commun
- CSC_52991_EP Stage de recherche en science informatique
- M1MPRI - S2 - TC M1MPRI - Semestre 2 - Tronc Commun
- M1MPRI - Electifs M1MPRI - Electifs
- CSC_51056_EP Analyse de Données Topologiques
- CSC_51058_EP Introduction à la Cryptologie
- CSC_51063_EP Théorie de l'information
- MDC_51002_EP Information et Calcul Quantique : Fondements
- FMA_51057_EP Topologie algébrique
- CSC_51071_EP Structures de données distribuées, avec un focus sur les blockchains
- CSC_50P13_EP Projet de 3A Algorithmes efficaces et fondements des languages de programmation
- 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_52003_EP Circuits quantiques avancés
- CSC_53540_EP Sujets avancés en informatique et information quantiques
- 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_51054_EP Machine and Deep learning
- FMA_52062_EP Introduction à la géométrie algébrique et courbes elliptiques
- M1MPRI - Electifs H.M. M1MPRI - Electifs hors maquette
- CSC_51601_NS Complexité avancée
- CSC_52001_EP Thèmes avancés de l'informatique et de l'information quantiques
- CSC_52080_EP Optimisation mathématique à large échelle
- CSC_54601_PS Calculabilité, Complexité, Modèles de Calcul
- CSC_52089_EP Computational analysis of high-throughput sequencing data
- APM_51053_EP Bases de l'Apprentissage Automatique
- CSC_52060_EP Algorithmique parallèle et distribuée
- CSC_52085_EP L'IA en temps réel dans les jeux vidéo : actions décisives & collaboratives
- CSC_52086_EP Sécurité des réseaux
- FMA_52065_EP Surfaces de Riemann
- APM_52061_EP Modélisation mathématique des ordinateurs quantiques
- M1MPRI - S1 M1MPRI - Semestre 1
- Lan-Masters Langues Vivantes
- LFR_50101_EP Cours de Français - PhD Track/MASTER/PEI - A0/A1
- LFR_50200_EP Cours de Français - PhD Track/MASTER/PEI - A2/B1
- LRU_51200_EP Russe débutant
- LDE_51300_EP Allemand B1
- LAR_51300_EP Arabe intermédiaire
- LZH_51300_EP Chinois intermédiaire
- LJA_51400_EP Japonais intermédiaire
- LRU_51300_EP Russe intermédiaire
- LDE_51412_EP Allemand intermédiaire supérieur - Atelier théâtre
- LEN_51311_EP Anglais niveau intermédiaire supérieur - X-News
- LEN_51314_EP Persuasion - LEN_5134_EP
- LEN_51513_EP C1/C2 - US : Hard & Soft power
- LFR_51528_EP MA6 - C1C2 - Mythes de la technique et de la civilisation
- LFR_51520_EP Français avancé / très avancé - Art et politique XIXe-XXe siècles
- LFR_51525_EP MA6 - C1C2 - Atelier d'écriture littéraire
- LFR_51531_EP MA2 - Les subtilités du français
- LDE_51100_EP Allemand Débutant
- LES_51100_EP JE1 - Espagnol Débutant
- LAN_50680_PS Langues - Paris Saclay
- LFR_50204_EP Cours de Français - PhD Track/MASTER/PEI - A2/B1
- LFR_50108_EP Cours de Français - PhD Track/MASTER/PEI - A0/A1
- LEN_51511_EP Anglais avancé - Capitalisme et culture populaire
- LEN_51514_EP Anglais avancé - Stage intensif de négociation
- LEN_51313_EP Anglais intermédiaire - Perfectionnement et préparation aux examens
- LAR_51200_EP Arabe Débutant
- LDE_51200_EP Allemand Débutant 3
- LEN_50512_EP Anglais - Jeux et société
- LEN_51510_EP Anglais C1/C2 - Les autres et l'altérité
- LES_51101_EP Espagnol Débutant - Langue et culture hispaniques à travers le cinéma
- LES_51305_EP Espagnol intermédiaire avancé - Architecture et poésie : des formes qui disent l'Histoire
- LFR_51517_EP Français avancé / très avancé - Le cinéma de la Nouvelle Vague à aujourd'hui
- LJA_51300_EP Japonais débutant
- LRU_41300_EP ME6 - Russe intermédiaire - B1B2
- LRU_42300_EP Russe intermédiaire avec les X22 - B1B2
- LZH_41200_EP LU6 - Chinois niveau Intermédiaire
- LZH_42200_EP Chinois intermédiaire
- LZH_43200_EP Chinois intermédiaire
- LZH_51500_EP Chinois avancé
- LHE_51100_EP Hébreux
