Alain FINKEL

Statut

Professeur des universités

Promotion

Senior 2019

Secteur disciplinaire

Sciences et Technologies de l'Information et de la Communication

Spécialité

Vérification de logiciels

Thématique

► Vérification de modèles, model checking
► Théorie des systèmes infinis bien structurés
► Analyse cognitive

Présentation

Je développerai la théorie, l'algorithmique et les outils des systèmes de transition bien structurés (WSTS) qui sont des systèmes de transition monotones avec un ordre bien fondé mais sans antichaîne infinie. Les WSTS sont de plus en plus utilisés pour vérifier les protocoles Web, les protocoles de gestion de cache et les programmes multithreadés. Au cours des dix dernières années, la théorie des WSTS a connu un renouveau majeur, notamment avec la théorie des idéaux qui fournissent une représentation finie et efficace des ensembles fermés par le bas. Nous allons faire le premier prototype pour résoudre le problème d'accessibilité (non élémentaire) pour les réseaux de Petri: cela renforce la nécessité d'utiliser toutes sortes de techniques, heuristiques, apprentissage automatique, IA,… Dans mon deuxième sujet de recherche interdisciplinaire, je propose de modéliser et d’analyser les processus cognitifs.