v2.11.0 (5509)

Master - M1 Fondements de l'Informatique MPRI

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.

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
INF513 Projet de 3A Algorithmes efficaces et fondements des lang... Programme d'approfondissement Informatique UE d'approfondissement, UE de projet. 5 Gilles Schaeffer AN3-P1P2
INF550 Algorithmique avancée Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, UE d'approfondissement, UE de base, PA - BIOINF - cours/EA INF. 5 Gilles Schaeffer AN3-P1
INF551 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 AN3-P1
INF554 Apprentissage Automatique et Profond Programme d'approfondissement Mathématiques appliquées, Informatique UE d'approfondissement, UE de base, PA - BIOINF - cours/EA INF, PA-MAP XOR (INF554, MAP553). 5 Michalis Vazirgiannis AN3-P1
INF555 Modélisation basée sur des Contraintes et Algorithme pour... Programme d'approfondissement Informatique UE d'approfondissement, UE de base, PA - BIOINF - cours/EA INF. 5 François Fages,
Mathieu Hemery
AN3-P1
INF556 Analyse de Données Topologiques Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, UE d'approfondissement, UE de base, PA - BIOINF - cours/EA INF. 5 Steve Oudot AN3-P1
INF558 Introduction à la Cryptologie Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, UE d'approfondissement, UE de base. 5 36 François Morain AN3-P1
INF559 Architecture des ordinateurs et systèmes d'exploitation Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 Francesco Zappa Nardelli AN3-P1
INF561 Randomisation en Informatique : Jeux, Réqeaux, Epidemie e... Programme d'approfondissement Informatique UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. 5 Benjamin Doerr AN3-P2
INF562 Géométrie algorithmique : de la théorie aux applications Programme d'approfondissement Informatique UE de base, UE d'approfondissement. Luca Castelli Aleardi AN3-P2
INF563 Théorie de l'information Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, UE d'approfondissement, UE de base. 5 Thomas Debris AN3-P2
INF564 Compilation Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 Jean-Christophe Filliâtre AN3-P2
INF568 Cryptologie Avancée Programme d'approfondissement Informatique PA - MAT-INFO - cours/EA INF, UE d'approfondissement, UE de base. 5 Benjamin Smith AN3-P2
INF571 Calcul Distribué Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 Bernadette Charron-Bost AN3-P1
INF573 Analyse d'Image et Vision par Ordinateur Programme d'approfondissement Informatique UE de base, PA - BIOINF - cours/EA INF, UE d'approfondissement. 5 Mathieu Bredif,
Johannes Lutzeyer
AN3-P1
INF574 Représentations Numériques et Analyse de Formes Programme d'approfondissement Informatique UE de base, UE d'approfondissement. 5 Mathieu DESBRUN,
Pooran Memari
AN3-P1
INF575 Systèmes Intelligents Sûrs Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 Sylvie Putot AN3-P1
INF587 Informatique quantique et applications Programme d'approfondissement Informatique UE d'approfondissement, UE de base. 5 Thomas Debris AN3-P2
INF591 Stage de recherche en science informatique Stages Informatique 20 Benjamin Werner AN3-P3
MAP550 Théorie des jeux Programme d'approfondissement Mathématiques appliquées 5 Charles Bertucci AN3-P1
MAP557 Recherche opérationnelle : aspects mathématiques et appli... Programme d'approfondissement Mathématiques appliquées 5 Stéphane Gaubert AN3-P1
MAP575 Sujets Avancés sur la Probabilité Programme d'approfondissement Mathématiques appliquées EA PA-MAP (au moins 1), UE d'approfondissement. 5 Igor Kortchemski AN3-P1
Veuillez patienter