Université de Bordeaux

Rémi MORVAN - Thèse en cours


https://morvan.xyz
Identifiant ORCID 0000000214183405

Doctorat Informatique

- Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Algorithmes efficaces pour les requêtes logiques sur des graphes

Mots-clés de la thèse : logic,database theory,automata,games,

Direction de thèse : Diego FIGUEIRA

Co-direction de thèse : Nathanaël FIJALKOW

Unité de recherche : LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800 - Talence
Intitulé de l'équipe : Méthodes et Modèles formels

Master - Mathématiques et applications

obtenu en mai 2020 - Université Paris-Saclay
Option : Master Formation à l'Enseignement Supérieur en Mathématiques
Dernière mise à jour le 22 janvier 2025