Doctorant


Equipe(s)

Spirals

Ma thèse

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

Dirigée par Philippe Merle et Simon Bliudze / Débutée le 1er octobre 2019

Domaine de recheche : Informatique