Accueil
- Maître de Conférences à Université Côte d'Azur
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis (I3S)
- Bienvenue sur ma page professionnelle. Vous trouverez ici des informations sur mes activités de recherche et d'enseignement.
- Mes thématiques de recherche incluent la programmation par contraintes, l'interprétation abstraite ainsi que les liens entre ces deux domaines de recherche.
