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

Show all (remove filter/sort)

Number	Title	Link	↑ Hours	Period	Language	Coordinator	Themes
2.22	Efficient Algorithms in Computer Algebra Algorithmes efficaces en calcul formel	view	48	1-2		Vincent Neiger	Computer Algebra, Algorithms, Cryptography
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.2	Quantum Information and Cryptography Information quantique et cryptographie	view	24	2		André Chailloux	Quantum, 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.12.2	Arithmetic Algorithms for Cryptography Algorithmes arithmétiques pour la cryptologie	view	24	1		Ben Smith	Cryptography
2.12.1	Techniques in Cryptography and Cryptanalysis Techniques en cryptographie et cryptanalyse	view	24	1-2		Brice Minaud	Cryptography