Gabriel BATHIE - Doctorant

Identifiant ORCID 0000000324004914

Doctorat Informatique

soutenance de la thèse le 12 juin 2025 - Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Algorithmes efficaces pour l'approximation de langages formels

Mots-clés de la thèse : langages formels,recherche de motifs,algorithme d'approximation,algorithme de streaming,algorithme de property testing,langages réguliers

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 - Sciences, Technologies, Santé

obtenu en janvier 2022 - ENS lyon
Option : Informatique
Langues Vivantes : Anglais C2 - Courant - Français C2 - Maternel

Dernière mise à jour le 21 avril 2025