---- datatemplateentry ----
template    : templates:equipe
type        : Équipe thématique
nom         : Automates et applications
nomcourt    : automates
responsable : schmitz
pole        : asv
----

\\ === Thèmes de recherche ===

Les recherches de l’équipe Automates et applications portent d’une part sur les questions fondamentales de la théorie des automates et d’autre part sur des questions algorithmiques issues de problèmes concrets. Les aspects fondamentaux concernent principalement les semigroupes, la combinatoire des mots, les liens avec la logique, la topologie, les jeux, les fondements des bases de données, etc… Un effort particulier a été fait ces dernières années sur les extensions de la notion d’automate : automates travaillant sur des mots infinis ou même transfinis, automates avec sortie, etc. En ce qui concerne les applications, l’équipe travaille sur des problèmes issus de la vérification des systèmes, des bases de données, sur les applications des automates à l’arithmétique des ordinateurs, sur des algorithmes spécialisés pour la reconnaissance automatique dans les séquences génétiques.

\\ === Séminaire ===

[[https://www.irif.fr/seminaires/automates/index|Séminaire automate]]

\\ === Permanents  ===

{{page>.:db:annuaire_perm}}

\\ === Non-permanents ===

{{page>.:db:annuaire_noperm}}