GT Daal

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.