Les activités du pôle “Automates, Structures, et Vérification” portent de manière générale sur l'étude des systèmes informatiques du point de vue de leur puissance de calcul et des propriétés de leurs comportements. Ces activités couvrent un large spectre de thèmes de recherche, allant de la théorie aux applications. Elle comprennent notamment:

• l'étude de modèles mathématiques permettant de décrire à différent niveaux d’abstraction les comportements de différentes classes de systèmes,
• la définition de formalismes de spécification pour exprimer et raisonner sur les propriétés des comportements de différents types de systèmes, et l’étude des liens effectifs entre différentes classes de modèles formels et de formalismes de spécification,
• l’étude des problèmes de décision concernant différentes classes de systèmes, de modèles formels, et de propriétés, et l’étude d'approches algorithmiques permettant de résoudre de manière efficace et automatisée ces problèmes de décision,
• le développement d'outils innovants qui implémentent ces approches, en ciblant différents types d'applications concrètes. Les applications visées concernent en particulier: les systèmes cyber-physiques, les systèmes embarqués, les infrastructures modernes systèmes et réseaux, les bases de données, etc.

Le pôle regroupe deux équipes thématiques, l'équipe “Automates et applications” et l'équipe “Modélisation et vérification”. Ces deux équipes sont proches et complémentaires, elles partagent de nombreux objets d’étude (mots, structures arborescentes, ordres, automates, logique, etc.) ainsi que les questions les concernant et les outils pour aborder ces questions (questions de décidabilité et de complexité, questions d’expressivité, étude des liens automates-logiques, model-checking, résolution algorithmique de jeux, etc.).

Les activités du pôle sont organisées en plusieurs axes de recherches transversaux aux deux équipes thématiques du pôle:

• Structures et modèles de calcul,
• Systèmes manipulant des données,
• Raisonnements quantitatifs,
• Systèmes concurrents et distribués,
• Systèmes dynamiques appliqués à l’informatique.

• Séminaires
  • Automates
  • Vérification
• Séminaire en ligne One world numeration seminar
• Groupe de travail Logique, automates, algèbre et jeux
• Rencontres Automates, structures et vérification