Soutenances

Emmanuel Franck

Méthodes numériques pour les systèmes hyperboliques raides.

Arthur Chargueraud

A modern eye on separation logic for sequential programs

Khalef Yaddaden

Structures algébriques associées aux relations de double mélange entre valeurs polylogarithme multiples aux racines de l'unité

Romane Hélie

Schéma de relaxation pour la simulation de plasmas dans les tokamaks

Basile Coron

Algebraic invariants of matroids and generalized operads

Fatima Fahs

Analyse des courbes de charge d'électricité et prédiction à court terme dans les secteurs résidentiel et tertiaire

Hao Fu

La diminution de niveau pour les formes automorphes sur les surfaces modulaires de Picard

Suzanne Schlich

Actions de Bowditch et primitives-stables sur les espaces Gromov-hyperboliques

Archia Ghiasabadi

Essentially finite G bundles

Raoul Hallopeau

Microlocalisation des D-modules coadmissibles sur une courbe formelle

Yohann Le Floch

Quantification de Berezin-Toeplitz et systèmes semi-toriques

Clément Chenevière

Enumerative study of intervals in lattices of Tamari type

Mickael Bestard

Optimal control of nonlinear hyperbolic systems on networks: gradient-based and deep Learning approaches

Victoria Callet

Modélisation topologique des structures et processus musicaux

Léo Bois

Méthodes numériques basées sur l'apprentissage pour les EDP hyperboliques et cinétiques

Clarence Kineider

Partial abelianization of GL_n-local systems and non-commutative A-coordinates