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:

• 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.

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.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
2.29.1	Advanced Graph Theory Théorie des graphes avancée	view	24	1		Reza Naserasr	Discrete Math/Graphs, Algorithms
2.10	Algorithmic Aspects of Combinatorics Aspects algorithmiques de la combinatoire	view	48	1-2		Gilles Schaeffer	Algorithms, Discrete Math/Graphs
2.09.1	Algorithmic Aspects of Well Quasi-Order Theory Aspects algorithmiques de la théorie des beaux préordres	view	24	1		Jean Goubault-Larrecq	Automata/Games/Verification
2.09.2	Algorithmic Verification of Programs Vérification algorithmique de programmes	view	24	2		Ahmed Bouajjani	Automata/Games/Verification
2.38.1	Algorithms and Combinatorics for Geometric Graphs Algorithmique et combinatoire des graphes géométriques	view	24	1		Vincent Pilaud	Geometry/Visual Data, Discrete Math/Graphs
2.24.1	Algorithms and Uncertainty Algorithmes et incertitude	view	24	1		Spyros Angelopoulos	Algorithms
2.15	Analysis of Algorithms Analyse d'algorithmes	view	48	1-2		Élie de Panafieu	Algorithms, Discrete Math/Graphs
2.12.2	Arithmetic Algorithms for Cryptography Algorithmes arithmétiques pour la cryptologie	view	24	1		Ben Smith	Cryptography
2.19	Biochemical Programming Programmation biochimique	view	24	2		François Fages	Bio-info
2.33.3	Complexity over the reals Complexité sur les réels	view	24	1		Olivier Bournez	Complexity, Algorithms
2.14.1	Computational Geometry and Topology Géométrie et topologie algorithmiques	view	24	1		Marc Glisse	Geometry/Visual Data
2.27.1	Computational and Logical Structures for Linguistic Modeling Structures informatiques et logiques pour la modélisation linguistique	view	24	1		Benoît Crabbé	Natural Language, Logic/Proof
2.03.1	Concurrency Concurrence	view	24	2		Emmanuel Haucourt	Parallel/Distributed Algo., Semantic/Languages
2.08.2	Cyber-physical systems and their verification Systèmes cyber-physiques et leur vérification	view	48	1-2		Patricia Bouyer	Automata/Games/Verification
2.18.1	Distributed Algorithms for Networks Algorithmique distribuée pour les réseaux	view	24	1-2		Pierre Fraigniaud	Parallel/Distributed Algo.
2.18.2	Distributed algorithms on shared memory Algorithmique distribuée avec mémoire partagée	view	24	1		Carole Delporte	Parallel/Distributed Algo.
2.22	Efficient Algorithms in Computer Algebra Algorithmes efficaces en calcul formel	view	48	1-2		Vincent Neiger	Computer Algebra, Algorithms, Cryptography
2.13.2	Error-Correcting Codes and Applications to Cryptography Codes correcteurs d'erreurs et applications à la cryptographie	view	24	1-2		Anne Canteaut	Cryptography
2.16	Finite Automata Modeling Modèles de calcul et automates finis	view	48	1-2		Matthieu Picantin	Automata/Games/Verification
2.17.1	Foundations of Network Models Fondements sur la modélisation des réseaux	view	24	2		Ana Bušić	Parallel/Distributed Algo.
2.07.1	Foundations of Proof Systems Fondements des systèmes de preuves	view	24	1		Benjamin Werner	Logic/Proof
2.04	Functional Programming and Type Systems Programmation fonctionnelle et systèmes de types	view	48	1-2		François Pottier	Semantic/Languages
2.20.1	Game Theory in Computer Science Techniques de théorie des jeux en informatique	view	24	1		Olivier Serre	Automata/Games/Verification
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.11.1	Parameterized algorithms and complexity Algorithmes et complexité paramétrés	view	24	2		Valia Mitsou	Complexity, Algorithms, Discrete Math/Graphs
2.40	Probabilistic programming languages Langages de programmation probabilistes	view	24	2		Christine Tasson	Semantic/Languages
2.07.2	Proof Assistants Assistants de preuves	view	24	1		Théo Winterhalter	Logic/Proof
2.36.1	Proof of Programs Preuve de programmes	view	24	2		Jean-Marie Madiot	Logic/Proof
2.30	Proofs of Security Protocols Preuves de protocoles de sécurité	view	48	1-2		Bruno Blanchet	Cryptography, Semantic/Languages, Logic/Proof
2.34.1	Quantum Information and Applications Information quantique et applications	view	24	1		Sophie Laplante	Quantum
2.34.2	Quantum Information and Cryptography Information quantique et cryptographie	view	24	2		André Chailloux	Quantum, Cryptography
2.26.1	Querying Data: Foundations and Practice Requêtes sur les données : fondements et pratique	view	24	2		Leonid Libkin	Databases Logic/Proof
2.11.2	Randomness in Complexity Complexité randomisée	view	24	1		Adrian Vladu	Complexity, Algorithms
2.24.2	Solving Optimization Problems with Search Heuristics Résolution de problèmes d'optimisation avec heuristiques de recherche	view	24	2		Carola Doerr	Algorithms
2.20.2	Symbolic Dynamics Dynamique symbolique	view	24	1-2		Valérie Berthé	Discrete Math/Graphs
2.23.1	Synchronous Reactive Systems Systèmes réactifs synchrones	view	24	1		Marc Pouzet	Parallel/Distributed Algo., Semantic/Languages
2.12.1	Techniques in Cryptography and Cryptanalysis Techniques en cryptographie et cryptanalyse	view	24	1-2		Brice Minaud	Cryptography
2.29.2	Theory of Practical Graph Algorithms Algorithmes efficaces de graphes : aspects théoriques	view	24	2		Mauro Sozio	Discrete Math/Graphs, Algorithms