Imen Sayar

Imen Sayar

Research associate

Faculté ou Centre Interdisciplinary Centre for Security, Reliability and Trust
Department SerVal
Adresse postale Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Bureau sur le campus E 010
Téléphone (+352) 46 66 44 9822
Fax (+352) 46 66 44 39822

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