Vincent GHIGO - Thèse en cours

Adresse Professionnelle
33000Bordeaux

Doctorat Informatique

- Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Suites et automates d'ordre supérieur

Mots-clés de la thèse : suites récurrentes,dénombrement,automates,,

Direction de thèse : Vincent PENELLE

Co-encadrement de thèse : Géraud SENIZERGUES

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

Diplôme national de master - Vérification logicielle

obtenu en septembre 2024 - Université de Bordeaux
Option : Informatique

Dernière mise à jour le 27 juin 2025