This is a preview of the upcoming MPRI website. For now, the official website remains at the old location. Until further notice, please update the webpage of your course there, and not here. Here is for preview only. Comments are very welcome! Please send them to MPRI directors.

©Christian Morel ©Christian Morel ©Christian Morel ©Christian Morel

September 30 Submission of a study plan on the administrative server
Nov. 24–Dec. 5 First exam period
January 31 Submission of an internship choice on the administrative server
Mar. 2–Mar. 13 Second exam period
August 20 Internship report upload on the administrative server
Early Sep. 2026 Internship defense (in person)

Overview

The Parisian Master of Research in Computer Science, in French Master Parisien de Recherche en Informatique (MPRI), is a research-oriented master's program in fundamental computer science, run jointly by several schools and universities. See here for the list of partner institutions. Its purpose is to train future scientists through intensive exposure to contemporary research in the foundations of computer science.

MPRI is a two-year master's program. The first year (M1) is organized independently by each partner institution. This website focuses on the second year (M2), which is common to all students.


M2 MPRI course list 2025-2026

Usage tips. Click on a theme to filter by that theme, or on a column to sort by that column. Click on the acronym to go to the course page.

Display: RESET Algorithms Complexity Parallel/Distributed Algo. Computer Algebra Automata/Games Verification Discrete Math/Graphs Geometry Semantic/Languages Logic/Proof Cryptography Quantum Bio-info

AcronymTitleECTSPeriodLanguageManager Themes
geomgraphsAlgorithms and Combinatorics of Geometric Graphs
Algorithmique et combinatoire des graphes géométriques
31 Luca Castelli AleardiDiscrete Math/Graphs, Geometry
cgtComputational Geometry and Topology
Géométrie et topologie algorithmiques
31 Steve OudotGeometry, Algorithms

*: Courses marked with an asterisk are breakable: students can choose to validate only the first half of the course. In that case, the course counts for 3 ECTS.

Language: means the course is in English, means it is in French. means the teachers will adapt to the students. (Typically, this means course materials are in English, but the language during lectures will be adapted to the audience; see the course page for more information.)

Below is a list of courses that are not taught in 2025-2026, but might be taught in the coming years. This is purely for information.

Suspended courses


M2 calendar and schedule 2025–2026

M2 lectures are divided in two periods of 10 weeks. Each period is followed by 2 weeks of examinations.

There will be a winter break from October 25th, 2025, to November 2nd, 2025 (included), and from Saturday, December 20th, 2025 until Sunday, January 4th, 2026 (included). There is no other break.

  • Monday September 15th, 2025 at 10:00: kickoff meeting, in the Turing amphitheater, on the ground floor of the Sophie Germain building. (The main entrance is shown on this map.) Here are the slides of the kickoff meeting 2024-2025.
  • Tuesday, September 16th, 2025, at 8:45: start of the lectures.
  • From September 16th, 2025 until November 21th, 2025, except October 27th to 31st (Fall holidays): first lecture period.
  • From November 24th, 2025 until December 5th, 2025: exams.
  • From December 8th, 2025 until February 27th, 2026, except December 22nd to January 2nd (Winter holidays): second lecture period.
  • From March 2nd, 2026 until March 13, 2026: exams.

Research internships last 4.5 months (at least) and may start from March 16th, 2026. Internships are typically defended during the first two weeks of September.

All courses take place in room 1002 or 1004 of Batiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris.

Period 1

Day Slot Room 1002 Room 1004
Monday8:458:45>11:45 - [CGT] Computational Geometry and Topology9:45>11:45 - [PRFA] Proof Assistants (part 2)
12:4513:45>15:45 - [QUANTUM] Quantum Computing (course)12:45>15:45 - [AISAV] Abstract Interpretation: Application to Static Analysis and Verification
16:1516:15>19:15 - [AOFA] Analysis of Algorithms16:15>19:15 - [SECURE] Proofs of Security Protocols
Tuesday8:458:45>11:45 - [SYDY] Symbolic Dynamics8:45>11:45 - [SYNC] Synchronous Programming of Reactive Systems
12:4512:45>15:45 - [ECOLO] Exploring Computational Models through Linear Logic12:45>15:45 - [PODC] Principles of Distributed Computing
16:1516:15>19:15 - [PRFSYS] Foundations of Proof Systems16:15>19:15 - [NETMOD] Foundations of Network Models
Wednesday8:458:45>10:15 - [CODES] Error-Correcting Codes and Applications to Cryptography8:45>11:45 - [WQO] Algorithmic Aspects of Well Quasi-Order Theory
10:15>11:45 - [LCRYPT] Lattice-based Cryptography and Cryptanalysis
12:4512:45>15:45 - [COMPLB] Lower Bounds for Models of Computation12:45>15:45 - [FUN] Functional Programming and Type Systems
16:1516:15>19:15 - [PROBAS] Probability and Algorithmic Applications16:15>19:15 - [COMPALG] Efficient Algorithms in Computer Algebra
Thursday8:458:45>11:45 - [GEOMGRAPHS] Algorithms and Combinatorics of Geometric Graphs8:45>11:45 - [MATA] Finite Automata Modeling
12:4513:00>14:00 - [QUANTUM] Quantum Computing (tutorial)12:45>15:45 - [ADVERIF] Advanced Techniques of Verification
16:1516:15>19:15 - [SEMPL] Models of Programming Languages: Domains, Categories, Games16:15>19:15 - [HEU] Solving Optimization Problems with Search Heuristics
Friday8:458:45>11:45 - [CRYPTALG] Arithmetic Algorithms for Cryptography10:45>11:45 - [PRFA] Proof Assistants (part 1)
12:4512:45>15:45 - [COMBIAA] Algorithmic Aspects of Combinatorics12:45>15:45 - [PPL] Probabilistic Programming Languages

Period 2

Day Slot Room 1002 Room 1004
Monday8:458:45>11:45 - [QCC] Quantum Coding and Cryptography
12:4512:45>15:45 - [JEUXSTO] Algorithms for Stochastic Games12:45>15:45 - [AISAV] Abstract Interpretation: Application to Static Analysis and Verification
16:1516:15>19:15 - [AOFA] Analysis of Algorithms16:15>19:15 - [SECURE] Proofs of Security Protocols
Tuesday8:458:45>11:45 - [QD] Querying Data: Foundations and Practice8:45>11:45 - [CTRLVERIF] Analysis of Control Systems
12:4512:45>15:45 - [ECOLO] Exploring Computational Models through Linear Logic12:45>15:45 - [QALCO] Quantum Algorithms and Complexity
16:1516:15>19:15 - [PROGPROOFS] Proofs of Programs
Wednesday8:458:45>10:15 - [CODES] Error-Correcting Codes and Applications to Cryptography8:45>11:45 - [HOTT] Homotopy Type Theory
10:15>11:45 - [LCRYPT] Lattice-based Cryptography and Cryptanalysis
12:4512:45>15:45 - [FIP] Foundations of Interactive Proofs12:45>15:45 - [FUN] Functional Programming and Type Systems
16:1516:15>19:15 - [BIOPROG] Biochemical Programming16:15>19:15 - [COMPALG] Efficient Algorithms in Computer Algebra
Thursday8:4510:15>11:45 - [PARAMALG] Parameterized Algorithms and Complexity (first half)8:45>11:45 - [MATA] Finite Automata Modeling
12:4512:45>15:45 - [APPROX] Approximation Algorithms12:45>15:45 - [ADVERIF] Advanced Techniques of Verification
16:1516:15>19:15 - [SEMPL] Models of Programming Languages: Domains, Categories, Games16:15>19:15 - [VCP] Verification of Concurrent Programs
Friday8:4510:15>11:45 - [PARAMALG] Parameterized Algorithms and Complexity (second half)8:45>11:45 - [DISC] Distributed Computing for Graphs and Networks
12:4512:45>15:45 - [COMBIAA] Algorithmic Aspects of Combinatorics


M2 MPRI begins with a first semester dedicated to courses, divided into two trimesters (Period 1 and Period 2). The second semester is devoted to an introductory research internship with a French or foreign laboratory.

Students must validate 60 ECTS credits during M2 in order to be awarded the MPRI Master's Degree, divided into 30 ECTS of courses, and 30 ECTS for a compulsory internship.

  • M2 courses: 30 ECTS.

Each M2 MPRI course is worth either 3 ECTS credits (for 24-hour courses) or 6 ECTS credits (for 48-hour courses). 6-credit courses are taught over the course of a semester at a pace of 3h/week, and represent 75 student-hours (typically 50 contact hours and 25 hours of private study). 3-credit courses are taught either 1.5 h/week during the whole semester, or else 2.5 or 3h/week during half a semester.

  • M2 internship: 30 ECTS.

Award of the ECTS credits is subject to approval of a written report and of a viva voce examination by a board of examiners set up by the MPRI's Studies Committee.

  • External courses.

Out of the 30 course ECTS credits necessary to obtain the MPRI degree, at least 18 must come from M2 MPRI courses. Up to 12 ECTS may be chosen among courses from other Master's programs, subject to the approval of the MPRI Studies Committee. When a course from an external Master's program is used to validate the MPRI degree in this way, the number of ECTS it is worth within MPRI is decided by the MPRI Studies Committee. Note that it may differ from its original ECTS value.

The rules of ethics that apply to researchers also apply to students of the M2 MPRI. Plagiarism, whether during exams or during the internship, rigging results, failing to cite previous results, denigrating others, harassment, are all unacceptable. Please consult the French charter of ethics for research professionals.

See also:

Every student at M2 MPRI is affiliated to one of the MPRI partner institutions (see management for the list of partner institutions). Each partner institution has a dedicated MPRI study director (see contact for the list of study directors). The study director supervises students affiliated with the corresponding institution, and also serves as a point of contact for students, together with the MPRI director(s).

The administrative server (formerly “pedagogical server”) is used to keep track of which student is registered to which course, enter grades, and indicate choices of internships. At the start of the year, students are registered on the administrative server by their study director, and receive an account. Students use this account to enter their choice of courses by the end of September (see the calendar), subject to the approval of the study director. Similary, students enter their choice of internship on the server by the end of January.

Student assessment for M2 courses will take the form of a written examination and/or an oral examination and/or a project. Student assessment may also include a mark obtained within the framework of continuous assessment.

Teachers enter grades on the administrative server. Each student can see their own grades on the server. Note that grades entered by teachers are technically not final. Final grades are validated by the Studies Committee. However, they are very unlikely to change. The Studies Committee will only act in case that a serious issue is identified.

The final MPRI jury typically occurs shortly after internship defenses, in early September. Final grades and attestations for validating the MPRI program are usually available by mid September. Until that time, partial attestations reflecting current grades are available on request by contacting the MPRI director(s).

New in 2025-2026: In previous years, after all grades were entered, a harmonization algorithm was run. Its purpose was to adjust grades to compensate for courses where grades may be too low or too high. The Studies Committe has decided, on an experimental basis, not to harmonize grades in 2025-2026. This is in keeping with feedback from a number of students and teachers. It avoids the undesirable situation where grades were altered “after the fact” by the harmonization algorithm. The lack of harmonization also gives teachers more power to determine grades themselves. MPRI management (mainly, the Studies Committee) will assess the success of this experiment at the end of the academic year.


Internships

Finding an internship

Students are of encouraged to take steps towards finding an internship during the first trimester, aiming to have found an internship by January. Possible avenues for finding internships include looking at the list of internship offers (see below), or talking to teachers, many of whom may be able to offer internships. Students may also contact their MPRI study director, or any other point of contact they may have, such as tutors or the study director of their home institution. Other sources of internship are also accepted.

Important: a student's choice of internship is subject to approval by their study director. Minimal criteria include: (1) the internship should be in computer science; (2) it should contain a substantial research component; (3) it should last at least 4.5 months, between March and August; (4) students should be available to defend the internship in early September. Also note that an internship supervisor may be the main supervisor for at most one MPRI internship per year. It is advisable to have a back-up proposal in case your first choice is not approved, although this is not compulsory.

Administrative process

Students should submit a choice of internship on the administrative server by January 31. Students must fill in an internship agreement before beginning the internship. The relevant forms are available on request at the MPRI secretariats within the institutions where the students are enrolled (see contact). These forms will typically need to be agreed upon and signed by the student's home institution, and the institution where the internship happens. This process may take time. It may be wise to start the administrative process at least a month before the planned start date of the internship.

Students doing their internship abroad should start taking the necessary steps well in advance, because the office of internships has to request the prior approval of the French state health insurance office (CPAM).

For students enrolled at Université Paris Cité: students must return to the secretariat a copy of the internship agreement filled in, signed and stamped by the body with which they will be doing the internship. They must enclose a photocopy of their student card as well as a certificate of civil liability insurance providing cover for the whole length of the internship in case of accident WITHIN THE FRAMEWORK OF THE INTERNSHIP WITH THE COMPANY/PUBLIC BODY. The students and the body with which they will be doing the internship will each be given a copy of the internship agreement signed by both the person in charge of the MPRI course and the head of the university.

Evaluation

Internships are evaluated on the basis of an internship report, and an oral defense.

Each student report is assigned a reviewer, who is a member of the MPRI Studies Committee. This assignment is displayed in the planning (link below). The reviewer may ask for external expertise, and must fill the reviewer evaluation form.

Internship reports

Internship reports must be submitted by students on the administrative server by August 20. Reports or their modifications that are submitted after the deadline may or may not be considered by the committee. If they are considered, there will be a penalty on the final mark.

The report must start with a 2-page summary with the following outline: TEX file (PDF version).

Reports must be at most 20 pages, including the 2 pages of summary, in a standard format: LaTeX, article, 11pt, A4. Optionally, these 20 pages can be augmented with appendices, detailing for instance some of the proofs. Appendices have no page limit. However, the committee may or may not read the appendices. The report must therefore be understandable without them. Appendices should be clearly marked as such.

Reports may be written in French or in English. Writing quality is judged independently of the language: if you choose to write in English, it is your responsibility to ensure that the report is clear and well-written.

Here is a randomly selected example of a report that has received a good evaluation.

Internship supervisors should also fill an evaluation form by August 20, and send it to the reviewer. See the information for supervisors section below for more details. Students should remind their supervisor of this task.

Internship defenses

Oral defenses will take place in early September, in front of a jury set up by the MPRI Studies Committee. Each presentation will last 30 minutes (20 minutes of presentation + 10 minutes of questions). For the schedule and reviewer assignment information, see:

Please send your slides in PDF before 6PM the day before the defense, to: mpricontact--dir@sympa.lmf.cnrs.fr

Although this practice is discouraged, you may also bring your own laptop with an HDMI connection, with the caveat that it may or may not work properly with the video projector. A backup solution with PDF slides is advisable.

Students should inform their internship supervisor of the date of their defense. Supervisors are welcome to attend. If they attend, the jury will discuss with them at the end of the ongoing series of defenses (which typically lasts between 90 and 120 minutes). They can also attend online. In that case, it is up to the student to set up the video call with them; and you should leave it open afterwards for discussions with the jury.

Defenses are public: other students are encouraged to attend. (Except in the rare case of a defense marked [NOT PUBLIC] in the planning.) For each session, the jury consists of a subset of the MPRI Studies Committee, and the supervisors (if present).

Students requiring some degree of confidentiality and/or the signature of a non-disclosure agreement should contact the Master's Director at least 2 months before the defense.

Role of a supervisor

  • Supervisors are expected to provide a topic for the intern to work on, and to meet with them regulary. Interns should not have to find their own internship topic. The topic should involve research in computer science. Internships that are limited to implementation for example, with no substantial research aspect, may be graded poorly, or not accepted by the study director of the student (this validation happens before the start of the internship).
  • Supervisors should fill a (simple) supervisor evaluation form and send it by August 20. It is not necessary to be formal or very detailed; the goal is to get the supervisor's opinion of the performance of the student. The form should be sent by email in text format, to the reviewer. The reviewer for the internship is indicated in the planning, see the link in the section just above. In doubt, it may also be sent to the MPRI director(s), see contact.
  • If available, supervisors are welcome to attend internship defenses in early September, either in person or online. This is not mandatory, but appreciated. If supervisors are present (in person or online), the jury will discuss with them at the end of the current session of defenses (which may include up to 4 defenses), to ask for their opinion of the internship, and potentially ask questions.

Practical information

Internships should last at least 4.5 months, between mid-March and the end of August. Defenses will be in early September.

Administratively, internship agreements are signed directly between the supervisor's institution, and the institution where the student is affiliated. As a consequence, the administrative process depends on the student's school or university. It is typically fairly lightweight, and consists mainly of an agreement that needs be signed by both parties.

A supervisor may be the main supervisor for at most one MPRI internship per year. See the relevant rule here for more details.

If you wish to propose an internship, see the next section.

We provide a server where researchers from all over the world may submit an internship proposal for M2 MPRI students. Please note that these proposals are NOT MODERATED. For internships that take place in an industrial environment, make sure to discuss them ahead of time with your study director to ensure that they correspond to what is expected from an internship.

Previous years


Contact

Email: mpricontact--dir@sympa.lmf.cnrs.fr

For matters related to MPRI, please use the address above rather than contacting MPRI director(s) separately.

  • Jean GOUBAULT-LARRECQ, LMF, ENS Paris-Saclay.
    Postal address: Bâtiment 650 Ada Lovelace - Université Paris-Saclay
    Rue Raymond Castaing
    91190 Gif-sur-Yvette, France
  • Brice MINAUD, EPI CASCADE, ENS Paris and Inria.
    Postal address: École normale supérieure
    Département Informatique
    45 rue d'Ulm
    75230 Paris Cedex 05, France
  • Sylvain SCHMITZ, IRIF, Université Paris Cité.
    Postal address: IRIF, casier 7014
    Université Paris Cité
    75205 Paris Cedex 13, France

Thomas Béraud. Email: thomas.beraud-contact@univ-paris-diderot.fr Tel: 01 57 27 68 92. Mail: Université Paris Cité, UFR d'Informatique, Case 7024, Place Aurélie Nemours 75205 PARIS cedex 13.

For M2 MPRI students enrolled at University Paris Cité

For M2 MPRI students enrolled at ENS, Université PSL

For M2 MPRI students enrolled at IP Paris Ecole Polytechnique

For M2 MPRI students enrolled at IP Paris at Telecom Paris

For all remaining M2 MPRI students and students enrolled at University Paris Saclay

For UPMC Master students attending M2 MPRI as auditors