v2.11.0 (5518)

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 ParisTech

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 d'approfondissement, UE de projet. 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 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 Samuel Mimram X-AN3-P1
CSC_51058_EP Introduction à la Cryptologie Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, UE d'approfondissement, UE de base. 5 36 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 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 Daniel Augot,
Constantin ENEA
X-AN3-P1
CSC_51073_EP Analyse d'Image et Vision par Ordinateur Programme d'approfondissement Informatique UE de base, UE d'approfondissement, PA - BIOINF - cours/EA INF. 5 Mathieu Bredif,
Vicky Kalogeiton
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 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 Sylvie Putot X-AN3-P1
CSC_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, UE de base, UE d'approfondissement. 5 Benjamin Doerr X-AN3-P2
CSC_52064_EP Compilation Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 Jean-Christophe Filliâtre X-AN3-P2
CSC_52068_EP Cryptologie Avancée Programme d'approfondissement Informatique UE de base, UE d'approfondissement, PA - MAT-INFO - cours/EA INF. 5 Benjamin Smith X-AN3-P2
CSC_52991_EP Stage de recherche en science informatique Stage Informatique 20 Benjamin Werner X-AN3-P3
LAN-LV1 LV1 - Anglais Langues Langues
LAR_51300_EP LU6 - Arabe niveau Intermédiaire avec X22 Langues Langues Steevens IPAS
LDE_51100_EP JE1 - Allemand Débutant Langues Langues Anne-Sophie De Groër
LDE_51300_EP Allemand B1 Langues Langues Sarah Gacem,
Stéphanie Schwerter,
Deborah Weber
LDE_51412_EP MA2 - B2 - Atelier théâtre Langues Langues Deborah Weber
LEN_51311_EP B2/C1 - X-News Langues Langues Annabelle Baroux-Marie,
Laura Hilary Langlois
LEN_51314_EP MA2 - B2/C1 - Persuasion Langues Langues Karin Morgan-Bate
LEN_51513_EP C1/C2 - US : Hard & Soft power Langues Langues Manuel Dorion-Soulié
LEN_51515_EP MA1 - C1/C2 - Persuasion Langues Langues Karin Morgan-Bate
LES_51100_EP JE1 - Espagnol Débutant Langues Langues FREDERIQUE VALAT
LFR_40LV1_EP LV1 - FLE Langues Langues
LFR_51520_EP MA2 - Art et politique XIXe-XXe siècles Langues Langues Julie André
LFR_51525_EP MA6 - La chanson française Langues Langues Julie André
LFR_51528_EP LU6 - Mythes de la technique et de la civilisation Langues Langues Julie André
LFR_51531_EP MA2 - Les subtilités du français Langues Langues Julie André,
Olivier Bertrand
LJA_51700_EP MA6 - Japonais niveau Intermédiaire 3 Langues Langues Kuniko Braghini
LRU_51200_EP Russe niveau Débutant 3 Langues Langues Polina De Mauny,
Xenia Khomyakova
LRU_51300_EP ME6 - Russe intermédiaire avec X22 Langues Langues Natalia DEI-CAS
LZH_51300_EP MA6 - Chinois niveau Intermédiaire 3 Langues Langues Lei WANG,
Jing Zhang
MDC_51005_EP Informatique quantique et applications Programme d'approfondissement Physique, Informatique UE d'approfondissement, UE de base. 5 Thomas Debris X-AN3-P1
Veuillez patienter