À propos Je suis maître de conférence en Informatique à l'Université Paris-Saclay, membre du Laboratoire Méthodes Formelles.
