MPRI courses 2025-2026
This is a temporary page listing all MPRI courses in the academic year 2025-2026. Course details are subject to change.
The main MPRI website remains (for now) at the same location:
Usage tips
2025-2026 course list
Display: RESET Algorithms Complexity Parallel/Distributed Algo. Computer Algebra Automata/Games Verification Discrete Math/Graphs Geometry/Visual Data Semantic/Languages Logic/Proof Cryptography Quantum Bio-info Databases
| Acronym | Title | ECTS | Hours | H/week | Language | ↓ Manager | Themes |
|---|---|---|---|---|---|---|---|
| heu | Solving Optimization Problems with Search Heuristics Résolution de problèmes d'optimisation avec heuristiques de recherche | 3 | 24 | 3 |  | Carola Doerr | Algorithms, Complexity |
| podc | Principles of Distributed Computing Fondements du calcul distribué | 3 | 24 | 3 |  | Carole Delporte | Parallel/Distributed Algo., Complexity, Algorithms |
| probas | Probability and Algorithmic Applications Probabilités et applications algorithmiques | 3 | 24 | 3 | | Claire Mathieu | Algorithms, Complexity |
| quantum | Quantum Computing Calcul quantique | 3 | 24 | 3 | | Frédéric Magniez | Quantum, Complexity, Algorithms |
| fip | Foundations of Interactive Proofs Fondements des preuves interactives | 3 | 24 | 3 | | Geoffroy Couteau | Cryptography, Complexity |
| wqo | Algorithmic Aspects of Well Quasi-Order Theory Aspects algorithmiques de la théorie des beaux préordres | 3 | 24 | 3 | | Jean Goubault-Larrecq | Automata/Games, Verification, Complexity |
| qalco | Quantum Algorithms and Complexity Algorithmes et complexité quantiques | 3 | 24 | 3 | | Simon Apers | Quantum, Complexity, Discrete Math/Graphs |
| complb | Lower Bounds for Models of Computation Bornes inférieures pour modèles de calculs | 3 | 24 | 3 | | Sophie Laplante | Complexity, Algorithms |
| paramalg | Parameterized Algorithms and Complexity Algorithmes et complexité paramétrés | 3 | 24 | 3 | | Valia Mitsou | Algorithms, Complexity, Discrete Math/Graphs |
*: 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.)