Mohamed Yassin ChkouriMohamed Yassin Chikouri defended his thesis at VERIMAG (Grenoble) in 2010 on the modeling of real-time embedded systems using AADL for the automatic generation of formally verified applications. Before joining the National School of Applied Sciences ENSA) of Tetouan as a senior teaching assistant professor in 2012, he has held positions of engineer / doctor in industry: EVOSYS (Asynchronous Model transformation in Synchronous models for formal verification by model checking - in rail couplings) and ALSTOM (Project ATS - Automatic Train Supervision). He defended his habilitation in 2014. He is the Head of Department of Computer Engineering since 10/2016, an academic coordinator of the e-val project (Erasmus +) since 11/2016, and the Leader and founder of the accredited research laboratory "Information Systems and Software Engineering" SIGL since 04/2014. Read More Read Less