Home // SnT // People // Imen Sayar

Imen Sayar

Imen Sayar

Research associate

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Department SerVal
Postal Address Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Campus Office E 010
Telephone (+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: Tuesday, 05 November 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