M1 Master parisien de recherche en Informatique (Mpri)

Candidater à la formation
  • Capacité d'accueil
    55
  • Langue(s) d'enseignement
    Français, Anglais
Présentation
Objectifs pédagogiques de la formation

La formation prépare à une thèse en informatique théorique, et plus généralement à une carrière de recherche. L'objectif de l'année est d'approfondir les compétences fondamentales, de découvrir leurs nombreuses applications en informatique théorique et de faire l'expérience pratique de la recherche par le biais de stages.

Les principaux champs couverts sont : (1) l'algorithmique, (2) la calculabilité et la complexité, (3) la cryptologie et la sécurité, (4) la théorie des automates, (5) la combinatoire et l'algèbre effective, (6) la logique, la démonstration interactive et la démonstration automatique, (7) la sémantique des langages de programmation (7) l'analyse et la vérification de programmes et systèmes.

La formation est dispensée par des chercheurs du domaine, et se situe donc à la pointe des connaissances scientifiques actuelles, ce qui prépare au mieux les étudiants à une thèse.

Lieu(x) d'enseignement
ORSAY
Pré-requis, profil d’entrée permettant d'intégrer la formation

La formation s'adresse à des étudiants ayant de solides bases en informatique fondamentale : algorithmique, programmation, complexité, automates, logique, preuve.

Compétences
  • Développer une activité de recherche en informatique fondamentale.

  • Concevoir un langage, un algorithme...

  • Démontrer des propriétés d'un langage, d'un algorithme...

  • Formaliser un problème avec les outils et au niveau d'abstraction pertinents.

  • Exposer ses travaux à un public scientifique.

Profil de sortie des étudiants ayant suivi la formation

Les étudiants ayant suivi cette formation ont vocation à se diriger vers le M2 MPRI. Pour certains étudiants, un M2 plus spécialisé est également envisageable.

Débouchés de la formation

Recherche académique, enseignement supérieur, R&D.

Collaboration(s)
Laboratoire(s) partenaire(s) de la formation

Laboratoire Spécification et Vérification
Laboratoire de recherche en informatique.

Programme

Le M1 MPRI est une formation orientée vers la recherche en informatique théorique. Elle s'adresse à des étudiants ayant de solides connaissances en informatique fondamentale (algorithmique, complexité, automates, logique, preuve, programmation) et se destinant à une thèse. L'année M1 permet d'approfondir les connaissances fondamentales, de découvrir leurs applications dans divers domaines de l'informatique théorique, et de découvrir l'activité de recherche à travers un stage.

Les étudiants choisissent l'un des trois groupes d'UE et ce choix vaut pour les deux semestres.

Groupe 1 : UFR, filière universitaire
10 UE obligatoires à 2.5 crédits 1er semestre
2 UE d'ouverture à 2.5 crédits 1er semestre
4 UE obligatoires à 2.5 crédits 2ème semestre
2 UE d'ouverture à 2.5 crédits 2ème semestre
1 UE obligatoire stage 15 crédits 2ème semestre

Groupe 2 : Stage long
1 UE obligatoire initiation à la recherche 3 crédits 1er semestre
1 UE obligatoire informatique fondamentale 15 crédits 1er semestre
1 UE obligatoire informatique générale 6 crédits 1er semestre
1 UE obligatoire ouverture 6 crédits 1er semestre
1 UE obligatoire stage 30 crédits 2ème semestre

Groupe 3 : Stage court
1 UE obligatoire initiation à la recherche 3 crédits 1er semestre
1 UE obligatoire informatique fondamentale 21 crédits 1er semestre
1 UE obligatoire informatique générale 6 crédits 1er semestre
1 UE obligatoire ouverture 15 crédits 2ème semestre
1 UE obligatoire stage 15 crédits 2ème semestre.

Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
UE ouverture 2 2.5
UE ouverture 1 2.5
Langages de programmation et compilation 2.5 21
Lambda-calcul 2.5 21
Introduction à la théorie des types 2.5 21
Introduction à la preuve déductive de programmes 2.5 21
Complexité, décidabilité, modèles de calculs 2.5 21
Combinatoire et Calculs Algébriques 2.5 21
Automates & applications 2.5 21
Algorithmique probabiliste et jeux 2.5 21
Algorithmique de graphes 2.5 21
Algorithmique avancée 2.5 21
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Ouverture 6
Initiation à la recherche 3
Informatique générale 6
Informatique fondamentale 15
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Initiation à la recherche 3
Informatique générale 6
Informatique fondamentale 21

Voir la description du premier semestre.

Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Ue ouverture 4 2.5
UE ouverture 3 2.5
Test de protocoles 2.5
Stage court 15
Optimisation stochastique 2.5
Modèles de la nature 2.5
Algorithmique distribuée et parallèle 2.5
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Stage long 30
Matières ECTS Cours TD TP Cours-TD Cours-TP TD-TP A distance Projet Tutorat
Stage court 15
Ouverture 15
Modalités de candidatures
Période(s) de candidatures
Du 01/05/2020 au 01/07/2020
Pièces justificatives obligatoires
  • Curriculum Vitae.

  • Fiche de choix pour poursuite en M2 à télécharger sur la page de la formation.

  • Lettre de motivation.

  • Tous les relevés de notes des années/semestres validés depuis le BAC à la date de la candidature.

Pièces justificatives complémentaires
  • Dossier VAPP (obligatoire pour toutes les personnes demandant une validation des acquis pour accéder à la formation).

Contact(s)
Responsable(s) de la formation
David Baelde - baelde@lsv.fr
Sylvain Conchon - conchon@lri.fr