Imen Sayar

Imen Sayar

Research associate

Fakultät oder Zentrum Interdisciplinary Centre for Security, Reliability and Trust
Department SerVal
Postadresse Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Büroadresse E 010
Telefon (+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: Dienstag, den 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