v2.11.0 (5757)

Master (DNM) - M1 MPRI - Fondements de l'Informatique

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.

Domaines d'enseignement IP-Paris

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

Unités d'enseignement

UE Type d'enseignement Domaines Catégorie d'UE Credit Ects Volume horaire Responsables Periode de programmation Site pédagogique
CSC_50P13_EP Projet de 3A Algorithmes efficaces et fondements des lang... Programme d'approfondissement Informatique UE de projet, UE d'approfondissement. 5 Gilles Schaeffer X-AN3-P1,
X-AN3-P2
CSC_51050_EP Algorithmique avancée Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, PA - BIOINF - cours/EA INF, UE de base, UE d'approfondissement. 5 36 Gilles Schaeffer X-AN3-P1
CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l... Programme d'approfondissement Informatique UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. 5 36 Samuel Mimram X-AN3-P1
CSC_51054_EP Machine and Deep learning Programme d'approfondissement Informatique, Mathématiques appliquées UE de base, UE d'approfondissement, PA-MAP XOR (INF554, MAP553), PA - BIOINF - cours/EA INF. 5 36 Michalis Vazirgiannis X-AN3-P1
CSC_51056_EP Analyse de Données Topologiques Programme d'approfondissement Informatique UE d'approfondissement, UE de base, PA - BIOINF - cours/EA INF, PA - MAT-INFO - cours/EA INF. 5 36 Steve Oudot X-AN3-P1
CSC_51058_EP Introduction à la Cryptologie Programme d'approfondissement Informatique UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. 5 36 Estelle Blin,
François Morain
X-AN3-P1
CSC_51063_EP Théorie de l'information Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, UE de base, UE d'approfondissement. 5 36 Thomas Debris X-AN3-P1
CSC_51071_EP Structures de données distribuées, avec un focus sur les ... Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 36 Daniel Augot,
Bernadette Charron-Bost,
Constantin ENEA
X-AN3-P1
CSC_51073_EP Analyse d'Image et Vision par Ordinateur Programme d'approfondissement Informatique PA - BIOINF - cours/EA INF, UE de base, UE d'approfondissement. 5 36 Mathieu Bredif X-AN3-P1
CSC_51074_EP Représentations Numériques et Analyse de Formes Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 36 Mathieu DESBRUN,
Pooran Memari
X-AN3-P1
CSC_51075_EP Systèmes Intelligents Sûrs Programme d'approfondissement Informatique UE de base, UE d'approfondissement. 5 36 Sylvie Putot X-AN3-P1
CSC_52001_EP Thèmes avancés de l'informatique et de l'information quan... Programme d'approfondissement Informatique 5 Thomas Debris,
Marc-Olivier Renou
X-AN3-P2
CSC_52003_EP Circuits quantiques avancés Programme d'approfondissement Informatique 5 36 Titouan CARETTE X-AN3-P2
CSC_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes Programme d'approfondissement Informatique UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. 5 36 Benjamin Doerr X-AN3-P2
CSC_52062_EP Géométrie algorithmique : de la théorie aux applications Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 36 Luca Castelli Aleardi X-AN3-P2
CSC_52064_EP Compilation Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 36 Jean-Christophe Filliâtre X-AN3-P2
CSC_52068_EP Cryptologie Avancée Programme d'approfondissement Informatique UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. 5 36 Benjamin Smith X-AN3-P2
CSC_52080_EP Optimisation mathématique à large échelle Programme d'approfondissement Informatique PA - BIOINF - cours/EA INF, UE d'approfondissement, UE de base. 5 36 Leo Liberti X-AN3-P2
CSC_52991_EP Stage de recherche en science informatique Stage Informatique 20 Benjamin Werner X-AN3-P3
CSC_53540_EP Sujets avancés en informatique et information quantiques Cours scientifiques Informatique 5 36 X-AN3-P1
FMA_51057_EP Topologie algébrique Programme d'approfondissement Mathématiques PA - MAT-INFO - cours/EA MAT. 5 36 Grégory Ginot X-AN3-P1
FMA_52062_EP Introduction à la géométrie algébrique et courbes ellipti... Programme d'approfondissement Mathématiques PA - MAT-INFO - cours/EA MAT. 5 36 Diego IZQUIERDO,
Nicolas-CLMS Perrin
X-AN3-P2
LAN_40LV1_EP LV1 - Anglais Langues Langues
LAN_50680_PS Langues - Paris Saclay Langues Langues X-AN3-P1P2
LAR_51200_EP Arabe Débutant 3 Langues Langues 2 Assia Barchiche X-AN3-P1P2
LAR_51300_EP LU6 - Arabe niveau Intermédiaire avec X22 Langues Langues 30 Steevens IPAS X-AN3-P1P2
LDE_51100_EP JE1 - Allemand Débutant Langues Langues Heidi Knörzer X-AN3-P1P2
LDE_51200_EP Allemand Débutant 3 Langues Langues Andrea Fuchs,
Heidi Knörzer
X-AN3-P1P2
LDE_51300_EP Allemand B1 Langues Langues UE d'approfondissement. 2 Heidi Knörzer X-AN3-P1P2
LDE_51412_EP MA2 - B2 - Atelier théâtre Langues Langues Heidi Knörzer,
Deborah Weber
X-AN3-P1P2
LEN_50512_EP JE1 - Games and society Langues Langues Laura Hilary Langlois X-AN3-P1P2
LEN_51311_EP B2/C1 - X-News Langues Langues Annabelle Baroux-Marie,
Laura Hilary Langlois
X-AN3-P1P2
LEN_51313_EP B1B2 - Language improvement & exam prep Langues Langues 30 Edward BELL,
Laura Hilary Langlois
X-AN3-P1P2
LEN_51314_EP Persuasion - LEN_5134_EP Langues Langues Laura Hilary Langlois,
Karin Morgan-Bate
X-AN3-P1P2
LEN_51510_EP MA1 - C1/C2 - Others and Otherness Langues Langues Meghann Cassidy,
Laura Hilary Langlois
X-AN3-P1P2
LEN_51511_EP C1/C2 - Capitalism & Popular Culture Langues Langues KEVIN KENNEDY,
Laura Hilary Langlois
X-AN3-P1P2
LEN_51513_EP C1/C2 - US : Hard & Soft power Langues Langues Manuel Dorion-Soulié,
Laura Hilary Langlois
X-AN3-P1P2
LEN_51514_EP C1/C2 - Negotiation Bootcamp Langues Langues Laura Hilary Langlois X-AN3-P1P2
LES_51100_EP JE1 - Espagnol Débutant Langues Langues Jean-Baptiste Thomas,
FREDERIQUE VALAT
X-AN3-P1P2
LES_51101_EP Espagnol niveau Débutant 3 Langues Langues Jean-Baptiste Thomas X-AN3-P1P2
LES_51305_EP MA2 - B2C1 - Architecture et poésie : des formes qui dise... Langues Langues 30 Monique Plaa,
Jean-Baptiste Thomas
X-AN3-P1P2
LFR_40LV1_EP LV1 - FLE Langues Langues
LFR_50101_EP Cours de Français - PhD Track/MASTER/PEI - A0/A1 Langues Langues Julie André LAN - MASTER
LFR_50108_EP Cours de Français - PhD Track/MASTER/PEI - A0/A1 Langues Langues Julie André LAN - MASTER
LFR_50200_EP Cours de Français - PhD Track/MASTER/PEI - A2/B1 Langues Langues 30 Julie André LAN - MASTER
LFR_50204_EP Cours de Français - PhD Track/MASTER/PEI - A2/B1 Langues Langues Julie André LAN - MASTER
LFR_51517_EP C1C2 - Le cinéma de Nouvelle Vague à aujourd'hui Langues Langues 2 Isabelle Schaffner X-AN3-P1P2
LFR_51520_EP MA2 - C1C2 - Art et politique XIXe-XXe siècles Langues Langues 30 Julie André X-AN3-P1P2
LFR_51525_EP MA6 - C1C2 - Atelier d'écriture littéraire Langues Langues Julie André X-AN3-P1P2
LFR_51528_EP MA6 - C1C2 - Mythes de la technique et de la civilisation Langues Langues Julie André,
Jean-Christophe Sampieri
X-AN3-P1P2
LFR_51531_EP MA2 - Les subtilités du français Langues Langues Julie André,
Olivier Bertrand
X-AN3-P1P2
LJA_51300_EP Japonais niveau Débutant 3 Langues Langues Itsuko Ferragut,
Nobuko Temma
X-AN3-P1P2
LJA_51400_EP MA2 - Japonais niveau Intermédiaire 3 Langues Langues Kuniko Braghini X-AN3-P1P2
LRU_41300_EP ME6 - Russe intermédiaire - B1B2 Langues Cédric Pernette X-AN2-P1
LRU_42300_EP Russe intermédiaire avec les X22 - B1B2 Langues Langues Natalia DEI-CAS X-AN2-P2
LRU_51200_EP Russe niveau Débutant 3 Langues Langues Maria Emanovskaya,
Xenia Khomyakova,
Cédric Pernette
X-AN3-P1P2
LRU_51300_EP ME6 - Russe intermédiaire avec X22 Langues Langues Natalia DEI-CAS,
Cédric Pernette
X-AN3-P1P2
LZH_41200_EP LU6 - Chinois niveau Intermédiaire Langues Langues Yanyan Cao X-AN2-P1
LZH_42200_EP Chinois intermédiaire Langues Langues Yanyan Cao,
Na SONG
X-AN2-P2
LZH_51300_EP MA6 - Chinois niveau Intermédiaire 3 Langues Langues Yanyan Cao,
Lei WANG,
Jing Zhang
X-AN3-P1P2
LZH_51500_EP ME6 - Chinois niveau Avancé 3 avec X23 Langues Langues Ting Li X-AN3-P1P2
MDC_51002_EP Information et Calcul Quantique Programme d'approfondissement Physique, Informatique 5 36 Thomas Debris-Alazard,
Laurent Sanchez-Palencia
X-AN3-P1
Veuillez patienter