MPRI

Level 2 modules

Level 2 modules offer a specialised training constitutive of a true introduction to research; they require a good knowledge of the contents of the level 1 modules. Each level 2 full module is taught over the course of a semester, represents 75 student-hours (typically 50 contact hours and 25 hours of private study), and entitles students to 6 ECTS credits. Half modules are taught either 1.5h/week over the course of the semester or 3h/week over half the semester. Each such module represents 37.5 student-hours and entitles students to 3 ECTS credits.

At least twenty level 2 modules will be made available for the first semester exclusively. The MPRI's Executive Committee will set a list of level 2 modules each year; the modules thus selected will of course only be actually maintained if they attract a sufficient number of students. The level 2 modules will be taught preferably on the premises of the university of Paris 7. The table herebelow contains a list of titles and heads of level 2 modules as well as links to a description of each module.

List of level 2 modules

Courses marked with a (S) are suspended in the academic year 2024-2025.

Module	Title	Nb. H	ECTS	Period(s)	Nb. Week	H/Week	Person(s) in charge	Teaching Language	Breakable
2.1 (S)	Logique linéaire et paradigmes logiques du calcul Linear logic and logical paradigms of computation	48	6	1-2	16	3	D. Kesner	English upon request
2.2	Modèles des langages de programmation: domaines, catégories, jeux Models of programming languages: domains, categories, games	48	6	1-2	16	3	P.-A. Melliès	English upon request
2.3.1	Concurrence Concurrency	24	3	2	8	3	E. Haucourt	French
2.3.2 (S)	Fondements de la confidentialité des données Foundations of privacy	24	3	2	8	3	C. Palamidessi	English
2.4	Programmation fonctionnelle et systèmes de types Functional programming and type systems	48	6	1-2	20	2.5	F. Pottier	English upon request
2.5.1 (S)	Démonstration automatique Automated deduction	24	3	2	8	3	R. Treinen	French by default
2.6	Interprétation abstraite: application à la vérification et à l'analyse statique Abstract interpretation: application to verification and static analysis	48	6	1-2	16	3	A. Miné	English upon request
2.7.1	Fondements des systèmes de preuves Foundations of proof systems	24	3	1	8	3	B. Werner	English upon request
2.7.2	Assistants de preuves Proof assistants	24	3	1	8	3	Th. Winterhalter	English by default
2.8.2	Systèmes cyber-physiques et leur vérification Cyber-physical systems and their verification	24	3	1	8	3	P. Bouyer	English upon request
2.9.1	Aspects algorithmiques de la théorie des beaux préordres Algorithmic aspects of well quasi-order theory	24	3	1	8	3	J. Goubault-Larrecq	English upon request
2.9.2	Vérification algorithmique des programmes Algorithmic verification of programs	24	3	2	8	3	A. Bouajjani	English upon request
2.10	Aspects algorithmiques de la combinatoire Algorithmic aspects of combinatorics	48	6	1-2	20	2.5	G. Schaeffer	French
2.11.1	Algorithmes et complexité paramétrés Parameterized algorithms and complexity	24	3	2	8	3	V. Mitsou	English
2.11.2	Complexité randomisée Randomness in complexity	24	3	1	8	3	A. Vladu	English
2.12.1	Techniques en cryptographie et cryptanalyse Techniques in cryptography and cryptanalysis	24	3	1-2	16	1.5	B. Minaud	English
2.12.2	Algorithmes arithmétiques pour la cryptologie Arithmetic algorithms for cryptology	24	3	1	8	3	B. Smith	English
2.13.1 (S)	Systèmes polynomiaux, calcul formel et applications Polynomial systems, computer algebra and applications	24	3	2	8	3	J.-C. Faugère	English upon request
2.13.2	Codes correcteurs d'erreurs et applications à la cryptographie Error-correcting codes and applications to cryptography	24	3	1-2	16	1.5	A. Canteaut	French by default
2.14.1	Géométrie et topologie algorithmiques Computational geometry and topology	24	3	1	10	2.5	M. Glisse	English upon request
2.15	Analyse d'algorithmes Analysis of algorithms	48	6	1-2	16	3	E. de Panafieu	French
2.16	Modélisation par automates finis Finite automata modelling	48	6	1-2	16	3	M. Picantin	English upon request
2.17.1	Fondements sur la modélisation des réseaux Foundations of network models	24	3	2	10	2.5	A. Busic	English upon request
2.18.1	Algorithmique distribuée pour les réseaux Distributed algorithms on networks	24	3	1-2	16	1.5	P. Fraigniaud	1/2 French by default 1/2 English
2.18.2	Algorithmique distribuée avec mémoire partagée Shared-memory distributed computing	24	3	1	8	3	C. Delporte	English and French
2.19	Programmation biochimique Biochemical programming	24	3	2	10	3	F. Fages	French by default
2.20.1	Techniques de théorie des jeux en informatique Game theory techniques in computer science	24	3	1	8	3	O. Serre	French
2.20.2	Dynamique symbolique Symbolic dynamics	24	3	1-2	16	1.5	V. Berthé	English upon request
2.22	Algorithmes efficaces en calcul formel Efficient algorithms in computer algebra	48	6	1-2	16	3	V. Neiger	French by default	Yes
2.23.1	Systèmes réactifs synchrones Synchronous reactive systems	24	3	1	8	3	M. Pouzet	English upon request
2.24.1	Algorithmes et incertitude Algorithms and uncertainty	24	3	1	8	3	S. Angelopoulos	English
2.24.2	Résolution de problèmes d'optimisation avec heuristiques de recherche Solving optimization problems with search heuristics	24	3	2	8	3	C. Doerr	English
2.26.1	Requêtes sur les données: fondements et pratique Querying data: Foundations and Practice	24	3	2	8	3	L. Libkin	English
2.26.2 (S)	Gestion de données du web Web data management	24	3	2	8	3	A. Amarilli	English
2.27.1	Structures informatiques et logiques pour la modélisation linguistique Computational structures and logics for natural language modelling	24	3	1	8	3	B. Crabbé	English upon request
2.29.1	Théorie des graphes avancée Advanced graph theory	24	3	1	8	3	R. Naserasr	English
2.29.2	Algorithmes efficaces de graphes : aspects théoriques Theory of practical graph algorithms	24	3	2	8	3	M. Sozio	English
2.30	Preuves de protocoles de sécurité Proofs of security protocols	48	6	1-2	16	3	B. Blanchet	English upon request	Yes
2.33.1 (S)	Calculabilité dans les systèmes multi-agents Computability in multi-agent systems	24	3	1	10	2.5	B. Charron-Bost	English upon request
2.33.2 (S)	Complexité de circuits Circuit complexity	24	3	1	10	2.5	S. Perifel	English upon request
2.33.3	Complexité sur les réels Complexity over the reals	24	3	1	10	2.5	O. Bournez	English upon request
2.34.1	Information quantique et applications Quantum information and applications	24	3	1	8	3	S. Laplante	English upon request
2.34.2	Information quantique et cryptographie Quantum information and cryptography	24	3	2	8	3	A. Chailloux	English upon request
2.35.1 (S)	Programmation par contraintes Constraint programming	24	3	1	8	3	S. Soliman	French by default
2.36.1	Preuve de programmes Proofs of programs	24	3	2	8	3	J.-M. Madiot	English upon request
2.37.1 (S)	Programmation des machines multicœurs à mémoire partagée Programming shared memory multicore machines	24	3	2	8	3	L. Maranget	English upon request
2.38.1	Algorithmique et combinatoire des graphes géométriques Algorithms and combinatorics for geometric graphs	24	3	1	8	3	V. Pilaud	French by default
2.39 (S)	Informatique graphique et visualisation scientifique Visual data analysis	24	3	1-2	8	3	J. Tierny	English upon request
2.40	Langages de programmation probabilistes Probabilistic programming languages	24	3	2	8	3	C. Tasson

Semantics of the teaching languages annotations:

“English upon request” means that the module will be taught in French, unless one non-French speaking student requests English
“French by Default” means that the module is taught in French, unless at least one non-French speaking student requests English and no French speaking students requests French
“English by Default” is obtained by transposing “French” and “English” in the above case.
“English” (resp. “French”) means that the module will be taught in English (resp. French) independently of the students attending. Most of the time, however, some of the teaching material is available in French (resp. English)

For a more detailed information on the teaching language of each module, as well as concerning the language of the exams, please look at the web page of the module.

Experimental

Please have a look at this view of the same information, with a nicer look and feel, and (more important) a categorization through broad themes. Please give us feedback! Constructive criticism and gentle words are always appreciated.

Level 2 modules

List of level 2 modules

Semantics of the teaching languages annotations:

Experimental

The previous years