Thomas PLACE

Statut

Maître de conférences

Promotion

Junior 2017

Établissement

Université de Bordeaux

Secteur disciplinaire

Sciences et Technologies de l'Information et de la Communication

Spécialité

Informatique

Thématique

► Automates
► Langages formes
► Logique

Présentation

Ma recherche porte sur un problème central en logique et en théorie des automates: le problème d'appartenance. Le but est de comprendre précisément le pouvoir expressif de logiques sur des structures discrètes telles que les mots. Pour une logique fixée, le problème est d'écrire un algorithme prenant en entrée une propriété régulière (définie par un automate) et teste si celle-ci peut être exprimée dans la logique. Obtenir un tel algorithme est très fructueux: il donne une description effective des propriétés exprimables dans la logique. J’étudie deux des questions ouvertes majeures de ce domaine: la hiérarchie d'alternation de quantificateurs de la logique du premier ordre et la généralisation du problème aux arbres.