Sami Lazreg is completing his PhD at the Université Côte d’Azur (France) in collaboration with Visteon Electronics, a world-class leader in automotive systems. His research interests are in embedded software and system engineering, focusing on model-based design and formal verification of embedded systems. Sami joined the Security, Design and Validation research group, SerVal, headed by Prof. Yves Le Traon and he will be reporting to Dr. Maxime Cordy.
