Doctorant


Bureau 227, IRCICA, Haute Borne

Equipe(s)

2XS

Ma thèse

“Méthodes formelles pour la vérification de logiciels distribués depuis le Cloud jusqu'à l'IoT.”

Dirigée par Gilles Grimaud / Débutée le 1er octobre 2024

Domaine de recherche : Informatique et applications