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 |
|---|---|---|---|---|---|---|---|
| bioprog | Biochemical Programming Programmation biochimique | 3 | 24 | 3 |   | François Fages | Bio-info, Semantic/Languages, Parallel/Distributed Algo. |
| disc | Distributed Computing for Graphs and Networks Calcul distribué sur graphes et réseaux | 3 | 24 | 3 | | Pierre Fraigniaud | Parallel/Distributed Algo., Discrete Math/Graphs |
| netmod | Foundations of Network Models Fondements sur la modélisation des réseaux | 3 | 24 | 2.5 | | Ana Bušić | Parallel/Distributed Algo., Discrete Math/Graphs |
| podc | Principles of Distributed Computing Fondements du calcul distribué | 3 | 24 | 3 | | Carole Delporte | Parallel/Distributed Algo., Complexity, Algorithms |
| sync | Synchronous Programming of Reactive Systems Programmation synchrone de systèmes réactifs | 3 | 24 | 3 | | Marc Pouzet | Parallel/Distributed Algo., Semantic/Languages, Verification |
| topics | Topological Methods in Computer Science Méthodes topologiques en informatique | 3 | 24 | 3 | | Matěj Stehlík | Discrete Math/Graphs, Parallel/Distributed Algo., Geometry/Visual Data |
| vcp | Verification of Concurrent Programs Vérification de programmes concurrents | 3 | 24 | 3 | | Ahmed Bouajjani | Parallel/Distributed Algo., Verification, Semantic/Languages |
*: 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.)