MPRI defense schedule 2025

All defenses will take place in room 1002, Sophie Germain building.

Defenses are public. Discussions during breaks are restricted to the advisors and members of the jury.

Information about how to prepare your report and your defense can be found here.

Morning session. Jury: Jean Goubault-Larrecq, Brice Minaud, Gilles Schaeffer.

• 09:30>10:00 - Sara Khichane: “Algorithms for structured approximation and interpolation”, with Vincent Neiger. Reviewer: Gilles Schaeffer.
• 10:00>10:30 - Mathis Degryse: “Gestion en ligne d’un entrepot avec prédiction sur les demandes”, with Christoph Dürr. Reviewer: Gilles Schaeffer.
• Break.
• 11:00>11:30 - Marie Coutereel: “Le problème de transitivité dans les (semi)groupes d’automates”, with Matthieu Picantin. Reviewer: Brice Minaud.
• 11:30>12:00 - Margaux Marseloo: “Reconfiguration de plongement de graphes”, with Louis Esperet. Reviewer: Gilles Schaeffer.
• 12:00>12:30 - Max Pont: “Embedded Machine Learning Programming”, with Dumitru Potop-Butucaru. Reviewer: Brice Minaud.

Afternoon session. Jury: Jean Goubault-Larrecq, Brice Minaud, Gilles Schaeffer.

• 14:00>14:30 - Kimon Böhmer: “Santa Claus Problem”, with Chien-Chung Huang. Reviewer: Brice Minaud.
• 14:30>15:00 - Pauline Bonnet: “Design of Source-to-Source Transformations for Optimizing Numerical Fluid Simulations”, with Andrea Thomann. Reviewer: Gilles Schaeffer.
• 15:00>15:30 - Thomas Filasto: “Twin-width and approximability”, with Édouard Bonnet. Reviewer: Gilles Schaeffer.
• Break.
• 16:00>16:30 - Serge Lechenne: “categorical foundations of continuous time probabilistic systems”, with Hugo Paquet. Reviewer: Jean Goubault-Larrecq.
• 16:30>17:00 - Sven Meyer: “Feedback Arc Set in Dense Digraphs”, with Alantha Newman. Reviewer: Gilles Schaeffer.
• 17:00>17:30 - Niranjan Nair: “Copoints enumeration in graph convexities”, with Oscar Defrain. Reviewer: Gilles Schaeffer.
• 17:30>18:00 - Vincent Peth: “Enumerating simple paths satisfying a regular path query”, with Antoine Amarilli. Reviewer: Gilles Schaeffer.

Morning session. Jury: Jean Goubault-Larrecq, Brice Minaud, Théo Winterhalter.

• 09:30>10:00 - Léopold Brasseur: “Différentiation et programmation par points fixes dans le lambda-calcul différentiel”, with Michele Pagani. Reviewer: Jean Goubault-Larrecq.
• 10:00>10:30 - Hugo Demaret: “Ensembles dominants dans les graphes planaires maximaux”, with Paul Dorbec. Reviewer: Brice Minaud.
• Break.
• 11:00>11:30 - Kelton OBrien: “Group Cohomology in Homotopy Type Theory”, with Aurélie Toutain. Reviewer: Théo Winterhalter.
• 11:30>12:00 - Quentin Schroeder: “Mnemetic monads, continuous algebras, and models of linear logic”, with Jonas Frey. Reviewer: Théo Winterhalter.
• 12:00>12:30 - Poyraz Yilan: “Monotonous multi-thread programming”, with Dumitru Potop-Butucaru. Reviewer: Brice Minaud.

Afternoon session. Jury: Jean Goubault-Larrecq, Brice Minaud, Théo Winterhalter.

• 14:00>14:30 - Dimitri Korkotashvili: “Link between bipartite and general toroidal maps”, with Jeremie Bettinelli. Reviewer: Brice Minaud.
• 14:30>15:00 - Yanni Lefki: “Optimisation interactive de programmes OCaml via des transformations source-à-source”, with Arthur Charguéraud. Reviewer: Théo Winterhalter.
• 15:00>15:30 - Emmanuel Mera: “Étude de cas dans cv2fstar”, with Aymeric Fromherz. Reviewer: Théo Winterhalter.
• Break.
• 16:00>16:30 - Titouan Quennet: “Mise à jour incrémentale de graphes à sites pour la biologie et la biochimie”, with Jean Krivine. Reviewer: Brice Minaud.
• 16:30>17:00 - Lucas Tabary-Maujean: “Leakage-aware extension of the IND-CMA security notion: machine-checked application to Dilithium”, with Benjamin Grégoire. Reviewer: Brice Minaud.
• 17:00>17:30 - Yee Jian Tan: “Implementing Multimodal Type Theory (MTT) in Agda”, with Andreas Nuyts. Reviewer: Théo Winterhalter.
• 17:30>18:00 - Viviane Ledoux: “Apprentissage d'un mouvement de redressement avec un robot bipède à roues”, with Nicolas Perrin-Gilbert. Reviewer: Brice Minaud.

Morning session. Jury: Jean Goubault-Larrecq, Gilles Schaeffer, Sylvain Schmitz.

• 09:30>10:00 - Jean Caspar: “Polarised sequent calculus, type theory, and second-class continuations”, with Guillaume Munch-Maccagnoni. Reviewer: Sylvain Schmitz.
• 10:00>10:30 - Pierre Gaillard: “Fast value iterations for energy games”, with Pierre Ohlmann. Reviewer: Sylvain Schmitz.
• Break.
• 11:00>11:30 - Micol Giacomin: “Dérandomisation du Problème de l'Identité Polynomiale”, with Sylvain Perifel. Reviewer: Sylvain Schmitz.
• 11:30>12:00 - Hélène Siboulet: “Graphical Conditions ensuring Equality between Differential and Mean Stochastic Dynamics”, with François Fages. Reviewer: Gilles Schaeffer.
• 12:00>12:30 - Roxane Van den Bossche: “Multi-Perspective Reasoning with Standpoint Logic”, with Lucia Gomez Alvarez. Reviewer: Sylvain Schmitz.

Afternoon session. Jury: Jean Goubault-Larrecq, François Pottier, Sylvain Schmitz.

• 14:00>14:30 - Tanguy Bozec: “Calcul de Superposition et Logique de Séparation”, with Nicolas Peltier. Reviewer: François Pottier.
• 14:30>15:00 - Vladislav de Haldat du Lys: “Solveur SMT dans l'othologique”, with Viktor Kunčak. Reviewer: François Pottier.
• 15:00>15:30 - Léo Juguet: “Safe Composition of Jasmin & Rust for High-Assurance Cryptography”, with Vincent Laporte. Reviewer: François Pottier.
• Break.
• 16:00>16:30 - Côme Neyrand: “Dynamic Epistemic Structures, Second-order automata and Dot-depth Hierarchy”, with Sophie Pinchinat. Reviewer: Sylvain Schmitz.
• 16:30>17:00 - Gaspard Reghem: “Compositional Reasoning about Randomized Distributed Protocols”, with Constantin Enea. Reviewer: François Pottier.
• 17:00>17:30 - Léo Soudant: “Élimination non-singleton: avec les faisceaux, c'est pas faux”, with Pierre-Marie Pédrot. Reviewer: François Pottier.

Morning session. Jury: Jean Goubault-Larrecq, Hieu Phan, Théo Winterhalter.

• 09:30>10:00 - Djamel Ouassim Ait-Moussa: “Extensions de l’algorithme d’unification de motifs en Coq/Rocq”, with Hugo Herbelin. Reviewer: Théo Winterhalter.
• 10:00>10:30 - Hubert de Groote: “Chiffrement par attributs post-quantique”, with Pierre-Alain Fouque. Reviewer: Hieu Phan.
• Break.
• 11:00>11:30 - Simon Dima: “On the performance of extracted code from proof assistants”, with Yannick Forster. Reviewer: Hieu Phan.
• 11:30>12:00 - Julien Joachim: “Towards Quantum Petri nets with event structure semantics”, with Marc de Visme. Reviewer: Jean Goubault-Larrecq.
• 12:00>12:30 - Jean Zablocki: “Étude et construction de lois distributives entre monades”, with Daniela Petrisan. Reviewer: Théo Winterhalter.

Afternoon session. Jury: Jean Goubault-Larrecq, Sophie Laplante, Théo Winterhalter.

• 14:00>14:30 - Thibaut Antoine: “Generic Quantification in CCSA Logics”, with David Baelde. Reviewer: Théo Winterhalter.
• 14:30>15:00 - Bahar Bagheri: “Bridging verification paradigms of quantum computing”, with Elham Kashefi. Reviewer: Sophie Laplante.
• 15:00>15:30 - Tilmann Berland: “Reconfiguration in the SLEEPING Model”, with Pierre Fraigniaud. Reviewer: Sophie Laplante.
• Break.
• 16:00>16:30 - Valentine Blanpain: “On the complexity of delegated quantum computation”, with Thomas Vidick. Reviewer: Sophie Laplante.
• 16:30>17:00 - Maëlle Gautrin: “Reaching as soon as possible in robust weighted timed games”, with Nathalie Bertrand. Reviewer: Jean Goubault-Larrecq.
• 17:00>17:30 - Antoine Guilmin: “Mesures dans le contrôle quantique”, with Renaud Vilmat. Reviewer: Sophie Laplante.
• 17:30>18:00 - Adrien Mathieu: “Foncteurs polynomiaux et modèles de la théorie des types”, with Paul-André Melliès. Reviewer: Théo Winterhalter.

Morning session. Jury: Jean Goubault-Larrecq, Christoph Dürr, Hieu Phan.

• 09:30>10:00 - Ali Almasi: “Drawing bridges between quantum and classical error correcting codes”, with Titouan Carette. Reviewer: Christoph Dürr.
• 10:00>10:30 - Alexandre Camelin: “Analyse du schéma de signature quantique HAWK”, with Phong Nguyen. Reviewer: Hieu Phan.
• Break.
• 11:00>11:30 - Nathan Deloire: “Le produit diagonal de Brieussel-Zheng”, with Anna Erschler. Reviewer: Christoph Dürr.
• 11:30>12:00 - Vivien Ducros: “Approche graphique des groupes pleins topologiques”, with Emmanuel Jeandel. Reviewer: Hieu Phan.
• 12:00>12:30 - Jérôme Guyot: “Uhlmann Transformation problem and zero-knolwedge proofs”, with Alex Bredariol-Grilo. Reviewer: Hieu Phan.

Afternoon session. Jury: Jean Goubault-Larrecq, Christoph Dürr, Hieu Phan.

• 14:00>14:30 - Jonathan Baumann: “Formally Secure Compilation Against Speculative Side-Channel Attacks”, with Cătălin Hrițcu. Reviewer: Hieu Phan.
• 14:30>15:00 - Baptiste Daumen: “Cryptanalyse algébrique de primitives symétriques définies nativement sur de grands corps”, with Léo Perrin. Reviewer: Hieu Phan.
• 15:00>15:30 - Jocelyn Fagard: “Estimation de la Probabilité d’un Distingueur Boomerang”, with Virginie Lallemand. Reviewer: Hieu Phan.
• Break.
• 16:00>16:30 - Dhrubajyoti Ghosh: “Comparing distributed computing models via topological simplicial complexes”, with Thomas Nowak. Reviewer: Christoph Dürr.
• 16:30>17:00 - Florent Krasnopol: “Vérification de propriétés sur les graphes temporels - vers un métathéorème”, with Binh-Minh Bui-Xuan. Reviewer: Christoph Dürr.
• 17:00>17:30 - César Mathéus: “Attaques génériques sur les constructions à base de fonction de hachage éponge (sponge)”, with Gaëtan Leurent. Reviewer: Hieu Phan.

Morning session. Jury: Jean Goubault-Larrecq, François Pottier, Sylvain Schmitz.

• 09:30>10:00 - Gurvan Debaussart: “Design and formal verification of a Network On Chip in a Coq-embedded DSL”, with Thomas Bourgeat. Reviewer: François Pottier.
• 10:00>10:30 - Laura Gruson: “Étude de l'expressivité de classes de règles existentielles”, with Michaël Thomazo. Reviewer: Sylvain Schmitz.
• Break.
• 11:00>11:30 - Balthazar Patiachvili: “A Type-Based Dependency Analysis and Inlining for a Verified Synchronous Language Compiler”, with Timothy Bourke. Reviewer: Jean Goubault-Larrecq.
• 11:30>12:00 - Henri Saudubray: “Hybrid System Models with Transparent Assertions”, with Marc Pouzet. Reviewer: Jean Goubault-Larrecq.
• 12:00>12:30 - Tom Soucies: “Using Model Checking for verifying Nuclear Power Plant Operating Procedures”, with Valentin Rychkov. Reviewer: François Pottier.

Afternoon session. Jury: Jean Goubault-Larrecq, François Pottier, Sylvain Schmitz.

• 14:00>14:30 - Mouloud Amara: “Tight monitorability of timed properties”, with Mohammed Foughali. Reviewer: Jean Goubault-Larrecq.
• 14:30>15:00 - Victor Deng: “An inductive semantics for JavaScript regexes, and its applications”, with Clément Pit-Claudel. Reviewer: Sylvain Schmitz.
• 15:00>15:30 - Vincent Lafeychine: “Modèle sémantique de Creusot : places, code fantôme, invariants de type”, with Jacques-Henri Jourdan. Reviewer: François Pottier.
• Break.
• 16:00>16:30 - Valéran Maytié: “Optimizing Programs with Sketch-Guided Polyhedral Compilation”, with Thomas Kœhler. Reviewer: François Pottier.
• 16:30>17:00 - Samar Rahmouni: “Formally verified proof of the decidability of IS4”, with Lutz Strassburger. Reviewer: Sylvain Schmitz.
• 17:00>17:30 - Letao Wang: “Exploring Physics-Informed Neural Networks (PINNs) in Quantum Finance Applications”, with Abdel Lisser. Reviewer: Sylvain Schmitz.

Morning session. Jury: Jean Goubault-Larrecq, Christoph Dürr, Sophie Laplante.

• 09:30>10:00 - Augustin Albert: “Theorie de la concurrence et homologie persistante”, with Goubault Éric. Reviewer: Jean Goubault-Larrecq.
• 10:00>10:30 - Sebastien Labbe: “Algebraic formalization of streams and databases aiming to abstract away the need for time in queries on infinite data”, with Riccardo Tommasini. Reviewer: Jean Goubault-Larrecq.
• Break.
• 11:00>11:30 - Louis Milhaud: “PageRank-like Measure in Temporal Networks”, with Julien Randon-Furling. Reviewer: Sophie Laplante.
• 11:30>12:00 - Hugo Peyraud-Magnin: “Fine grain analysis of the implementations of classical algorithms and data structures in various contemporary programming languages.”, with Cyril Nicaud. Reviewer: Christoph Dürr.
• 12:00>12:30 - Irina Šević: “SLEEPING Model beyond Synchronous Networks”, with Mikaël Rabie. Reviewer: Sophie Laplante.

Afternoon session. Jury: Jean Goubault-Larrecq, Christoph Dürr, Sophie Laplante.

• 14:00>14:30 - Juan Bravo: “Complexity classification of coloring problems with parity constraints”, with Rémy Belmonte. Reviewer: Christoph Dürr.
• 14:30>15:00 - Jacques Dreyfus: “NP (non-deterministic polynomial time) & Analog computations”, with Olivier Bournez. Reviewer: Christoph Dürr.
• 15:00>15:30 - Sylvain Gay: “Conception d'algorithmes distribués auto-stabilisants paramétrés”, with Lélia Blin. Reviewer: Christoph Dürr.
• Break.
• 16:00>16:30 - Joseph Marchand: “Quantum Advantage for LOCAL problem”, with François Le Gall. Reviewer: Sophie Laplante.
• 16:30>17:00 - Enzo Moreau: “Data deformations preserving underlying model classes”, with Adrien Hardy. Reviewer: Sophie Laplante.
• 17:00>17:30 - Edouard Nemery: “Structural Parametrizations for generalizations of Maximum Independent set”, with Michail Lampis. Reviewer: Christoph Dürr.