Meryem Afendi has defended her PhD and the committee was Richard Banach, Frédéric Mallet, Burkhardt Wolff, Dominique Méry, Amel Mamarn Régine Laleau.
The PhD is entitled: Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes cyber-physiques dans Event-B.