Tél. : +33 (0)1 57 27 92 42
Fax : +33 (0)1 57 27 94 09
Professeur des universités
Membre honoraire 2008
Université Paris Cité
Sciences et Technologies de l'Information et de la Communication
Informatique
► Vérification
► Model checking
► Logique temporelle
► Automat. temporisé
► Contrôle
Je travaille au laboratoire LIAFA (UMR CNRS -- Paris 7) sur la vérification formelle de systèmes informatiques. Je m’intéresse notamment à la vérification automatique : on modélise le système à vérifier avec un modèle mathématique (un automate, un réseau de Petri,…), on exprime les propriétés de correction dans un langage formel (par exemple avec une logique temporelle) puis on vérifie (à l’aide d’un algorithme de model-checking) si le modèle satisfait ou non sa spécification. Je m’intéresse à ces différents aspects : la recherche de modèles expressifs pour décrire le comportement de ces systèmes et l’étude de leur expressivité et de leur complexité.
Membre junior de la promotion 2008.