MPRI courses 2024-2025
This is a temporary page listing all MPRI courses in the academic year 2024-2025. It will be integrated into an upcoming new website for MPRI.
This page is made available early, for students wishing to browse courses by theme. The main MPRI website remains (for now) at the same location:
Usage tips
- Click on a theme to display courses with that theme.
- Click on a column to sort by that column.
- The schedule can be found here.
Course list
Display : RESET Algorithms Complexity Parallel/Distributed Algo. Computer Algebra Automata/Games/Verification Discrete Math/Graphs Semantic/Languages Logic/Proof Cryptography Quantum Bio-info Natural Language
| Number | Title | Link | Hours | Period | Language | Coordinator | ↓ Themes |
|---|---|---|---|---|---|---|---|
| 2.30 | Proofs of Security Protocols Preuves de protocoles de sécurité | view | 48 | 1-2 |   | Bruno Blanchet | Cryptography, Semantic/Languages, Logic/Proof |
| 2.03.1 | Concurrency Concurrence | view | 24 | 2 | | Emmanuel Haucourt | Parallel/Distributed Algo., Semantic/Languages |
| 2.23.1 | Synchronous Reactive Systems Systèmes réactifs synchrones | view | 24 | 1 | | Marc Pouzet | Parallel/Distributed Algo., Semantic/Languages |
| 2.02 | Models of Programming Languages: Domains, Categories, Games Modèles des langages de programmation: domaines, catégories, jeux | view | 48 | 1-2 | | Paul-André Melliès | Semantic/Languages |
| 2.04 | Functional Programming and Type Systems Programmation fonctionnelle et systèmes de types | view | 48 | 1-2 | | François Pottier | Semantic/Languages |
| 2.40 | Probabilistic programming languages Langages de programmation probabilistes | view | 24 | 2 | | Christine Tasson | Semantic/Languages |
| 2.06 | Abstract Interpretation: Application to Verification and Static Analysis Interprétation abstraite : application à la vérification et à l'analyses statique | view | 48 | 1-2 | | Antoine Miné | Semantic/Languages, Automata/Games/Verification |