Dr. Abdelhakim Baouya is a Ph.D. in Computer engineering supervised by Otmane Ait Mohamed from CONCORDIA University, CANADA, and Djamal Bennouar with the financial support of Algerian Government since May 2016. Dr. BAOUYA also holds a Master of research in software engineering from the University of BLIDA in Algeria. Currently, Dr. Baouya is PostDoc in the Verimag laboratory, University of Grenoble Alpes. He is working on Formal verification, Dynamic reconfiguration using Product Lines Approach, of Adaptive systems. Dr. Baouya is interested in developing formal methods, techniques, and tools for the System-level Design of Embedded and Cyber-Physical Systems. Some of his interests are Model-based Design (UML, SysML, AADL, Autofocus AF3), Dependability Analysis, Stochastic Component-based Design, Statistical/Probabilistic Model-checking. Dr. Baouya taught "Software Architecture" and "IT and Network Security" at the University of Algeria. He served as a reviewer for journals and conferences (IEEE, EDiS, CIIA).