Chargé de recherche (HDR)


Equipe(s)

Spirals

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

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

Yahya Al-Dhuraibi

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