Imen Sayar

Imen Sayar
Adresse postale Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette

Imen SAYAR received her PhD degree from the University of Lorraine (France), in 2019. Her research interests are in software engineering, focusing on the development of correct-by-construction systems using formal methods, refinement and verification and validation activities. Imen joined the Security, Design and Validation research group, SERVAL, headed by Professor Yves Le Traon and she will be reporting to Dr. Jacques Klein.

Last updated on: mardi 05 novembre 2019

powered by


See detailDe l'utilisation d'une bibliothèque à l'exécution d'un code arbitraire
Sayar, Imen; Bartel, Alexandre

Article for general public (2020)

Top of Page