GT Alga

Le GT s’intéresse à l’étude des formalismes mathématiques connexes aux domaines suivants :

  • la théorie des automates: sur des structures diverses (mots, arbres,ordres,…), automates quantitatifs, probabilistes,…
  • la logique: formalisme de spécification ou de requêtes, théorie des modèles, questions algorithmiques (model-checking, satisfiabilité, containment, synthèse…)
  • les jeux: en logique, en vérification, en théorie des modèles, en théorie des ensembles,…
  • l’algèbre et la topologie

Les retombées applicatives de nos recherches se situent dans les fondements de la vérification de programmes et des bases de données.