M1 Master parisien de recherche en Informatique (Mpri) - voie ENS

Apply for the degree
  • Places available
    55
  • Language(s) of instruction
    French, English
Présentation
Objectives

This programme prepares students for a doctorate in computer science theory, and more generally for a research career. The year’s objective is to perfect fundamental skills, discover their various applications in computer science theory and to apply research through internships
 

The main fields covered are: (1) algorithmics, (2) computability and complexity, (3) cryptology and security, (4) automata theory, (5) combinatorial and effective algebra, (6) logic, interactive and automatic demonstration, (7) semantics of programming languages, analysis and verification of systems and programmes.

 

The programme is taught by researchers in the field and stands at the cutting age of current scientific knowledge. It prepares students optimally for a PhD.

Location
ORSAY
Course Prerequisites

The programme is aimed at students with a solid foundation in fundamental informatics: algorithms, programming, complexity, automata, logic, proof.

Skills
  • Develop a research activity in fundamental computer science.

  • Design a language, an algorithm, etc.

  • Demonstrate properties of a language, of an algorithm, etc.

  • Formalise a problem using the relevant tools and level of abstraction.

  • Exhibit work to a scientific audience.

Post-graduate profile

After completing this programme, students tend to go on to the MPRI M2. Some students may opt for a more specialised M2.

Career prospects

Academic research, teaching at tertiary level, R&D.

Collaboration(s)
Laboratories

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
Application period
From 01/05/2020 to 01/07/2020
Compulsory supporting documents
  • Motivation letter.

  • All transcripts of the years / semesters validated since the high school diploma at the date of application.

  • Curriculum Vitae.

  • Selection sheet for continuation in M2 to download on this web page.

Additional supporting documents
  • VAP file (obligatory for all persons requesting a valuation of the assets to enter the diploma).

Contact(s)
Course manager(s)
David Baelde - baelde@lsv.fr
Sylvain Conchon - conchon@lri.fr