Directeur de recherche


Equipe(s)

Spirals

Thèses dirigées ou co-encadrées au sein de CRIStAL

Yahya Al-Dhuraibi

Un cadre flexible pour l’élasticité dans les nuages Soutenue le 10 décembre 2018

Trinh Le Khanh

Conception d’applications cloud auto-adaptatvess correctes par construction à l’aide de méthodes formelles

Stéphanie Challita

Inférer des modèles à partir d’APIs cloud et raisonner dessus : une approche outillée et formelle Soutenue le 21 décembre 2018