Thématiques de recherche

Mes travaux de recherche portent sur les méthodes formelles pour la vérification et la synthèse de systèmes réactifs. En particulier:
  • le model checking, les logiques temporelles
  • les aspects quantitatifs de la vérification
  • les jeux pour le synthèse

Activités de recherche

Doctorants et post-doctorants