Sorbonne Université, Faculté des Sciences, UMR 7606 CNRS, LIP6

Adresse au Laboratoire d’Informatique de Paris 6 (LIP6)

Sorbonne Université - LIP6

Boîte courrier 169

Couloir 25-26, Étage 2, Bureau 204

4 place Jussieu

75252 PARIS CEDEX 05

Téléphone : +33 1 44 27 88 28

Fax : +33 1 44 27 87 71

E-mail : pour m’écrire

Recherche : Variabilité des Systèmes : Contraintes de Découplage & Refactoring

Après avoir longtemps travaillé sur le test formel des systèmes communicants, je m’intéresse désormais à la variabilité des systèmes dans le temps. Mon activité de recherche est à l’heure actuelle concentrée sur la définition de contraintes devant être vérifiées par les systèmes tout au long de leur cycle de vie. La violation de l’une de ces contraintes permettrait d’identifier explicitement la ou les parties applicatives qui doivent être corrigées, première étape vers un refactoring semi-automatique du système.

Entre septembre 2013 et décembre 2016 j'ai co-encadré (avec Mikal Ziane) la thèse de Loïc Girault sur la résolution semi-automatique des problèmes de couplage, qui sont pour beaucoup dans la rigidité des logiciels.

Vous trouverez la liste de mes dernières publications ici.