Identifiant pérenne de la notice : 130625248
Notice de type
Personne
Catégories et diagrammes de cordes pour les jeux concurrents / CLovis Eberhart ; sous
la direction de Tom Hirschowitz. Thèse de doctorat : Mathématiques et informatique
: Grenoble Alpes : 2018
Information trouvée : Chargé de recherche au CNRS à l'Institut de Recherche en Informatique Fondamentale
(IRIF) de Université Paris Diderot.
Dualité pour le fragment existentiel de la logique du premier ordre sur les mots /
Mehdi Zaïdi ; sous la direction de Mai Gehrke. Thèse de doctorat : Mathématiques :
Université Côte d'Azur : 2022
Information trouvée : président du jury, rapporteur de thèse
Investigation des catégories finies / Najwa Ghannoum ; sous la direction de Carlos
Simpson et Khaled Smaili. Thèse de doctorat : Mathématiques : Université Côte d'Azur
: 2022
Information trouvée : président du jury et rapporteur de thèse
Logique catégorique du point de vue de la dualité et des espaces compacts ordonnés
/ Jérémie Marquès ; sous la direction de Mai Gehrke. Thèse de doctorat : Mathématiques
: Université Côte d'Azur : 2023
Information trouvée : président du jury et rapporteur de thèse
Modalités de ressources et contrôle en logique tensorielle/ Nicolas Tabareau; sous
la direction de Paul-André Melliès (thèse)
Sur les groupes d’homotopie des sphères en théorie des types homotopiques / Guillaume
Brunerie ; sous la direction de Carlos Simpson. Thèse de doctorat : Mathématiques
: Nice : 2016
Information trouvée : membre du jury
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial