v2.11.0 (5518)

Master (DNM) - M2 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 en 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.
- E
tre initié à la recherche actuelle en informatique.
- A
cqué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

- Réalisation d'une première année d'un Master en informatique ou domaine connexe à 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.
- Se préparer à poursuivre un doctorat à l'Institut Polytechnique de Paris.
- Construire une carrière réussie dans le milieu universitaire ou en R&D industriel.

débouchés

Les étudiants qui terminent avec succès le programme de deux ans seront équipés pour :
- Poursuivre un doctorat menant à une carrière universitaire : un poste d'enseignant-chercheur dans une université ou un poste de chercheur à temps plein dans un établissement de recherche.
- Construire une carrière dans leur domaine d'expertise dans le secteur privé, par ex. dans un Département 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_50602_UP Aspects algorithmiques de la combinatoire Cours scientifiques Informatique 6 48
INT_53001_EP Stage M2 Stage Mathématiques appliquées, Biologie, Chimie, Informatique, Mathématiques, Mécanique, Management, Innovation et Entrepreneuriat, Physique, Economie 30
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
Veuillez patienter