Marwa Aloui

Doctorante en Informatique – ESME & LISV (UVSQ)

Doctorante en informatique au LISV (Université de Versailles – UVSQ) et à l’ESME, spécialisée dans la vérification formelle des exigences non fonctionnelles dans les architectures Fog et IoT. Mes travaux portent sur l’utilisation de la méthode Event-B, des transformations de modèles et des outils de preuve formelle pour améliorer la fiabilité, la sécurité et l’intégration des services distribués. J’interviens également en enseignement (TP).