Après une thèse sur la modélisation d’applications réparties au moyen de réseaux de Petri colorés, j’ai continué à m’intéresser aux algorithmes répartis en tant que domaine d’application des méthodes de vérification. Cela m’a permis d’acquérir une bonne connaissance de ce domaine et m’a amené à coordonner l’équipe d’enseignement de ce module dans lequel interviennent des spécialistes reconnus de l’algorithmique répartie : B. Charron-Bost, L. Arantès, O. Marin.
