Soutenances de thèse

Pierre Vuillemot

Pierre Vuillemot soutiendra sa thèse intitulée Lemmes de zéros et distribution des valeurs des fonctions méromorphes le mardi 06 Novembre 2018 à 14h00. Le jury sera composé de :
  • M. Georges COMTE, Université Savoie Mont Blanc, Directeur de these
  • M. Yosef YOMDIN, Weizmann Institute of Science, Rapporteur
  • M. Gal BINYAMINI, Weizmann Institute of Science, Rapporteur
  • M. Carlo GASBARRI, Université de Strasbourg, Rapporteur
  • M. Antoine CHAMBERT-LOIR, Université Paris-Diderot, Examinateur
  • M. Tanguy RIVOAL, Université Grenoble Alpes, Examinateur
Résumé :
Cette thèse porte sur des propriétés arithmétiques des fonctions méromorphes et transcendantes d'une variable. Dans le chapitre 3, nous définissons des mesures de transcendance pour les fonctions holomorphes et méromorphes sur un domaine régulier de C puis nous majorons ces mesures en fonction de la distribution des petites valeurs de la fonction étudiée. Grâce aux théories de Nevanlinna et d'Ahlfors, nous étudions dans le chapitre 4 la distribution des petites valeurs de certaines classes de fonctions méromorphes sur D ou C afin d'obtenir pour celles-ci des majorations explicites de leurs mesures de transcendance. L'application principale de ce travail est l'obtention de nouveaux lemmes de zéros polynomiaux pour de grandes familles de fonctions méromorphes et en particulier pour les fonctions de Weierstrass et les fonctions fuchsiennes. Dans le chapitre 5, nous montrons que ces lemmes de zéros polynomiaux conduisent à des bornes logarithmiques du nombre de points algébriques de degré et hauteur bornée contenus dans les graphes des fonctions étudiées.

Clovis Eberhart

Clovis Eberhart soutiendra sa thèse intitulée Catégories et diagrammes de cordes pour les jeux concurrents, le Vendredi 22 Juin à 15h00 en Salle TLR au LAMA. Le jury sera composé de :
  • Mr. Martin Hyland, Professor, Department of Pure Mathematics andMathematical Statistics, University of Cambridge (rapporteur)
  • M. Samuel Mimram, Maître de conférences, LIX, École polytechnique (rapporteur)
  • M. Pierre-Louis Curien, Directeur de recherche CNRS, IRIF, Université Paris Diderot (examinateur)
  • M. Vincent Danos, Directeur de recherche CNRS, Département d'informatique, ENS (examinateur)
  • M. Paul-André Melliès, Chargé de recherche CNRS, IRIF, Université Paris Diderot (examinateur)
  • M. Tom Hirschowitz, Chargé de recherche CNRS, LAMA, Université Savoie Mont Blanc (directeur de thèse)
Résumé :
La sémantique des jeux est une approche pour modéliser les langages de programmation dans laquelle les types sont interprétés par des jeux et les programmes par des stratégies. Ces modèles de jeux ont couvert des constructions fonctionnelles et impératives, des opérateurs de contrôle, etc. L'approche a récemment été étendue aux langages non-déterministes et concurrents, provoquant au passage un changement de perspective profond : les parties sont maintenant organisées en une catégorie, sur laquelle les stratégies sont des préfaisceaux. La notion fondamentale d'innocence a aussi été caractérisée comme une condition de faisceau. Cette thèse s'attache à l'étude de quelques constructions apparaissant dans ces nouveaux modèles de jeux. D'abord, constatant que, dans plusieurs de ces modèles, l'étape cruciale consiste à définir une catégorie double de jeux et de parties, nous proposons une construction abstraite d'une telle catégorie double à partir de données de base, puis nous démontrons que, sous des hypothèses adéquates, le résultat obtenu permet en effet la construction des stratégies. Dans un second temps, nous établissons un lien entre deux techniques existantes pour définir les parties : la technique standard, fondée sur les séquences justifiées, et une autre plus récente utilisant les diagrammes de cordes. Nous définissons un plongement (plein) de la première dans la seconde et prouvons qu'elles induisent essentiellement le même modèle. Enfin, nous proposons une axiomatisation des notions de jeu et de partie, de laquelle nous tirons une catégorie de jeux et stratégies. Nous raffinons ensuite les axiomes pour traiter l'innocence et nous démontrons que, sous des hypothèses adéquates, les stratégies innocentes sont stables par composition.

Lama Tarssisi

Lama tarsissi soutiendra sa thèse intitulée Propriétés d'équilibre sur les mots de Christoffel et applications, le Vendredi 24 Novembre à 14h30 en Salle TLR au LAMA. Le jury sera composé de :
  • Jean-Pierre Borel, Professeur, Université de Limoges, Examinateur
  • Michel Rigo, Professeur, Université de Lièges, Rapporteur
  • Jean-Marc Fédou, Professeur, Université de Nice, Rapporteur
  • Simone Rinaldi, Professeur, Université de Sienne, Examinateur
  • Julien Cassaigne, CR CNRS, Institut de Mathématiques de Marseille, Examinateur
  • Laurent Vuillon, Professeur, Université de Savoie Mont Blanc, Directeur de thèse

Charles Demay

Charles Demay soutiendra sa thèse intitulée Modélisation et simulation d'écoulements transitoires diphasiques eau-air dans les circuits hydrauliques le 15 NNovembre au Bâtiment Azur, Salle A1.116/122, EDF Lab Paris-Saclay, 7 Boulevard Gaspard Monge, 91120 Palaiseau. Le jury est composé de :
  • M. Nicolas Seguin, Université de Rennes 1, France
  • M. Enrique D. Fernandez-Nieto, Universidad de Sevilla, Espagne
  • M. Nicolas Favrie, Aix Marseille Université, France
  • M. Jean-Marc Hérard, EDF R&D et Aix Marseille Université, France
  • M. Benoit De Laage de Meux, EDF R&D, France,
  • M. Jacques Sainte-Marie, INRIA, CEREMA, Université Pierre et Marie Curie, Paris 6, France

Rodolphe Lepigre

Rodolphe Lepigre a soutenu sa thèse intitulée Sémantique et Implantation d'une Extension de ML pour la Preuve de Programmes le 18 Juillet 2017 à 15H au LAMA. Le jury était composé de :
  • Thierry Coquand, Professeur, Göteborgs Universitet, Suède, Rapporteur
  • Alexandre Miquel, Professeur, IMERL, Universidad de la República (Montevideo, Uruguay), Rapporteur
  • Andreas Abel, Professeur, Göteborgs Universitet, Suède, Examinateur
  • Frédéric Blanqui, Chargé de recherche, Inria, Examinateur
  • Laurent Regnier, Professeur, Aix-Marseille Université, Examinateur
  • Karim Nour, Maître de conférences, USMB, Directeur de these (HDR)
  • Christophe Raffalli, Maître de conférences, USMB, Directeur de these
  • Pierre Hyvernat, Maître de conférences, USMB, CoDirecteur de thèse

Vous pouvez trouver plus d'informations sur la page ici.

Marion Foare

Marion Foare a soutenu sa thèse intitulée Analyse d'images par des méthodes variationnelles et géométriques le 26 Juin 2017 à 14H au LAMA. Le jury était composé de :
  • Zakaria Belhachmi, Professeur, LMIA, Université de Haute Alsace, Rapporteur
  • Olivier Lézoray, Professeur, GREYC, Université Caen Normandie, Rapporteur
  • Laurent Najman, Professeur, LIGM, ESIEE Paris, Examinateur
  • Élie Bretin, Maître de conférence, ICJ, INSA Lyon, Examinateur
  • Jacques-Olivier Lachaud, Professeur, LAMA, Université Savoie Mont Blanc, Directeur de thèse
  • Dorin Bucur, Professeur, LAMA, Université Savoie Mont Blanc, Co-Directeur de thèse